quantifier elimination

collocation in English

meaningsofquantifierandelimination

These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withelimination.
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 atquantifier
elimination
noun[U]
uk
/iˌlɪm.ɪˈneɪ.ʃən/us
/iˌlɪm.əˈneɪ.ʃən/
the process of ...
See more atelimination

(Definition ofquantifierandeliminationfrom theCambridge English Dictionary© Cambridge University Press)

Examplesofquantifier elimination

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.
In this paper, we consider the latter problem, and enlarge the set of acts that can be dealt by interpreters throughquantifierelimination.
From theCambridge English Corpus
The theory of discrete real closed fields admitsquantifiereliminationin the language of (discrete) ordered fields.
From theCambridge English Corpus
A number of low-level details for the implementation ofquantifiereliminationand constraint database systems in general are addressed.
From theCambridge English Corpus
Quantifiereliminationis 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 fullquantifierelimination, 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 ofquantifiereliminationcan 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 andquantifiereliminationresults 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 havequantifierelimination, 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.
Quantifiereliminationcan 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 withquantifiereliminationis model complete.
From
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.
Tarski (1948) establishedquantifiereliminationfor 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 admitquantifierelimination, 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 hasquantifierelimination.
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 ofquantifier
Go to the definition ofelimination
See other collocations withelimination