indiscernible sequence?
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-forth games)
Hrushovski construction?
generic predicate?
A class $K$ of structures of a given signature is an elementary class if there is a first-order theory $T$ such that $K$ consists precisely of all models of $T$.
There is a vast generalizations for higher-order theories (and more) abstract elementary class, metric abstract elementary class.
Last revised on February 23, 2017 at 07:33:24. See the history of this page for a list of all contributions to it.