indiscernible sequence?
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-forth games)
Hrushovski construction?
generic predicate?
(Tarski-Seidenberg)
The image of a semialgebraic set in under the projection map
is also a semi-algebraic set.
This powerful theorem is usually understood in the context of formal logic and model theory, where one considers subsets of Euclidean space that are definable by first-order logical formulas in the language of ordered rings. It says that the definable subsets are precisely semi-algebraic sets, i.e., sets defined by taking Boolean combinations of sets of the form
where is a polynomial.
In logic, the result is understood as connected to a quantifier elimination result. By definition, semi-algebraic sets are definable by formulas without any quantifiers. Taking an image under a projection amounts to applying an existential quantifier:
and Tarski-Seidenberg allows us to replace by some quantifier-free formula. By induction, it follows that any quantified formula may be replaced by a quantifier-free one.
There is a host of consequences of this result, including the fact that the theory in this language is decidable (in particular, Euclidean geometry is decidable), and that all models of the theory of real-closed fields are elementarily equivalent.
The entire theory of o-minimal structures can be viewed as a vast extrapolation stemming from the Tarski-Seidenberg theorem and its consequences.
Not all the extrapolations are based on quantifier elimination, but practically all do involve some reduction of logical complexity of formulas. An example is Wilkie’s theorem on the structure of the ordered exponential field (in the language where is interpreted as the usual exponential function ):
(Wilkie) Any subset of definable in the language of ordered exponential fields can be defined by means of an existential formula
where the are polynomials.
Here the critical point is that the complement of a set defined by such an existential formula is definable by another such existential formula. This is called a model completeness result, and it implies that an alternating string of quantifiers can be eliminated in favor of just existential quantifiers at the head of a defining formula.
It is not known whether the theory of ordered exponential fields is decidable, but it is known that such decidability follows if one assumes Schanuel's conjecture.
Last revised on July 15, 2013 at 00:01:59. See the history of this page for a list of all contributions to it.