| 词汇 | example_english_quantifier-elimination |
| 释义 | quantifier eliminationcollocation in Englishmeanings of quantifierand eliminationThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with elimination. quantifier noun[C] uk /ˈkwɒn.tɪ.faɪ.ər/ us /ˈkwɑːn.t̬ə.faɪ.ɚ/ a word or phrase that is used before a noun to show the amount of it that is ... See more at quantifier elimination noun[U] uk /iˌlɪm.ɪˈneɪ.ʃən/ us /iˌlɪm.əˈneɪ.ʃən/ the process of ... See more at elimination Examples of quantifier eliminationThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. In this paper, we consider the latter problem, and enlarge the set of acts that can be dealt by interpreters through quantifierelimination. The theory of discrete real closed fields admits quantifierelimination in the language of (discrete) ordered fields. A number of low-level details for the implementation of quantifierelimination and constraint database systems in general are addressed. Quantifierelimination is a term used in mathematical logic to explain that, in some theories, every formula is equivalent with a formula without quantifier. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Thus, while this theory does not have full quantifierelimination, formulae can be put in a particularly simple form. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The method of quantifierelimination can be used to show that definable sets in particular theories can not be too complicated. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Early model theory spent much effort on proving axiomatizability and quantifierelimination results for specific theories, especially in algebra. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. If a theory does not have quantifierelimination, one can add additional symbols to its signature so that it does. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Quantifierelimination can also be used to show that combining decidable theories leads to new decidable theories. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Every theory with quantifierelimination is model complete. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Tarski (1948) established quantifierelimination for real-closed fields, a result which also shows the theory of the field of real numbers is decidable. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Strictly speaking, the theory of the additive natural numbers did not admit quantifierelimination, but it was an expansion of the additive natural numbers that was shown to be decidable. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The theory has quantifierelimination. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Want to learn more? Go to the definition of quantifier Go to the definition of elimination See other collocations with elimination |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。