indiscernible sequence?
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-forth games)
Hrushovski construction?
generic predicate?
Galois types are a generalization of types for abstract elementary classes with amalgamation property.
Consider the type (in model theory) for a first order theory in larger uncountable saturated model (of cardinality strictly larger than of the underlying language). By a standard result it can be identified with the orbit of under the automorphism group of fixing pointwise. This is taken as a definition for some infinitary theories in the case we have the monster model. A slightly weaker version can be rephrased in terms of amalgamation.
Let be an abstract elementary class of structures.
…
Last revised on August 9, 2016 at 19:50:07. See the history of this page for a list of all contributions to it.