Creche
Creche
Domenico Zambella
Università di Torino
April 2018
Preface 4
3 Ultraproducts 25
1 Filters and ultrafilters 25
2 Direct products 26
3 Łoś’s Theorem 27
4 Compactness 30
1 Compactness via syntax 30
2 Compactness via ultraproducts 31
3 Upward Löwenheim-Skolem 32
4 Finite axiomatizability 33
1
6 Some relational structures 44
1 Dense linear orders 44
2 Random graphs 46
3 Notes and references 49
7 Fraïssé limits 50
1 Rich models. 50
2 Weaker notions of universality and homogeneity 55
3 The amalgamation property 56
10 Preservation theorems 77
1 Lyndon-Robinson Lemma 77
2 Quantifier elimination by back-and-forth 79
3 Model-completeness 81
12 Countable models 89
1 The omitting types theorem 89
2 Prime and atomic models 91
3 Countable categoricity 92
4 Small theories 94
5 A toy version of a theorem of Zil’ber 96
6 Notes and references 97
2
6 Imaginaries: the true story 106
7 Uniform elimination of imaginaries 106
8 Notes and references 108
3
Preface
These are the notes of a course that I have given for a few years in Amsterdam and
many more in Turin. A few chapters are missing and will be added soon. I keep
the most recent version in
https://github.com/domenicozambella/creche
B A warning sign in the margin indicates that the notation is nonstandard. Occasion-
ally, the whole exposition is substantially nonstandard. Below are a few examples.
. Fraïssé limits are presented in a general setting that accommodates a large vari-
ety of examples (and I’ll add a few more). This setting is used, for example, to
discuss saturation.
. Quantifier elimination for ACF and Hilbert’s Nullstellensatz are presented in
more detail than is usual. (This may annoy some readers, but I hope it will help
others.)
. The proof of the Omitting Types Theorem uses a model theoretic construction.
. Imaginaries and the eq-expansion are introduced from the (equivalent) dual per-
spective that the canonical name of a definable set is the set itself.
. Ramsey’s Theorem is derived from the existence of coheir sequences. This is not
the shortest proof, but it should be interesting.
. Lascar and Kim-Pillay types are introduced in a slightly unconventional way.
. Newelski’s Theorem on the diameter of Lascar types is proved in an elementary
self-contained way.
. Stability and NIP are introduced very briefly. We only discuss the properties of
externally definable sets, which we identify with approximable sets.
4
Chapter 1
Preliminaries and notation
This chapter introduces the syntax and semantic of first order logic. We assume
that the reader has at least some familiarity with first order logic.
The definitions of terms and formulas we give in Section 3 and 5 are more formal
than is required in subsequent chapters. Our main objective is to convince the
reader that a rigorous definition of language and truth is possible. However, the
actual details of such a definition are not relevant for our purposes.
1 Structures
A (first order) language L (also called signature ) is a triple that consists of
1. a set Lfun whose elements are called function symbols ;
1.1 Example The language of additive groups consists of the following function sym-
5
bols:
1. a constant (that is, a function symbol of arity 0) 0
In the language of multiplicative groups the three symbols above are replaced by
1, −1 , and · respectively. Any group is a structure in either of these two signa-
tures with the obvious interpretation. Needless to say, not all structures with these
signatures are groups.
The language of (unitary) rings contains all the function symbols above except −1 .
The language of ordered rings also contains the binary relation symbol <.
The following example is less straightforward. The reason for the choice of the
language of vector spaces will become clear in Example 1.9 below.
1.2 Example Let F be a field. The language of vector spaces over F , which we denote
by L F , extends that of additive groups by a unary function symbol k for every k ∈ F.
Recall that a vector space over F is an abelian group M together with a function
µ : F × M → M satisfying some properties (that we assume well-known, see Exam-
ple 2.4). To view a vector space over F as an L F -structure, we interpret the group
symbols in the obvious way and each k ∈ F as the function µ(k, -).
The languages in Examples 1.1 and 1.2, with the exception of that of ordered rings,
are functional languages , that is, Lrel = ∅. In what follows, we consider two
important examples of relational languages , that is, languages where Lfun = ∅.
1.3 Example The language of strict orders only contains the binary relation symbol <.
The language of graphs , too, only contains a binary relation symbol (for which
there is no standard notation). In combinatorics, a graph is a set of unordered
pairs. To view a graph as a first order structure, we identify sets of unordered pairs
with symmetric irreflexive relations.
2 Tuples
A tuple of elements of A is a function a : α → A from an ordinal α to a set A. We
call α the length of a and denote it by | a| . If a is surjective, it is said to be an
enumeration of A. Occasionally, we may say sequence for tuple – a word that is
also used when the domain is not necessarily an ordinal.
We write ai for the i-th element of a, that is, the element a(i ), where i < α. We may
use the notation a = h ai : i < αi for a tuple; when α is finite, we may also write
a = a0 , . . . , aα−1 . We write an for the restriction of a to n.
B In general, for any I ⊆ α, we write a I for the tuple h aik : k < ni where i0 , . . . , in−1
are the elements if I in increasing order.
B We sometimes overline the symbol that denotes a tuple. For ease of notation, the
elements of the tuple ā are denoted by ai (without the bar). Similarly for an and
a I .
6
The set of tuples of elements of length α is denoted by Aα . The set of tuples of
length < α is denoted by A<α . For instance, A<ω is the set of all finite tuples
of elements of A. When α is finite we do not distinguish between Aα and the α-th
Cartesian power of A. In particular, we do not distinguish between A1 and A.
If a, b ∈ A|α| and h is a function defined on A, we write h( a) = b for h( ai ) = bi . We
often do not distinguish between the pair h a, bi and the tuple of pairs h ai , bi i. The
context will resolve the ambiguity.
Note that there is a unique tuple of length 0, the empty set ∅, which in this context is
called empty tuple . Recall that by definition A0 = {∅} for every set A. Therefore,
even when A is empty, A0 contains the empty string.
We often concatenate tuples. If a and b are tuples, we write a b or, equivalently,
a, b .
3 Terms
Let V be an infinite set whose elements we call variables . We use the letters x, y,
z, etc. to denote variables or tuples of variables. We rarely refer to V explicitly, and
we always assume that V is large enough for our needs.
We fix a signature L for the whole section.
1.4 Definition A term is a finite sequence of elements of Lfun ∪ V that are obtained induc-
tively as follows:
o. every variable, intended as a tuple of length 1, is a term;
Note that any constant f , intended as a tuple of length 1, is a term (by i, the term
f is obtained concatenating n f = 0 terms and prefixing by f ). Terms that do not
contain variables are called closed terms .
The intended meaning of, for instance, the term + + x y z is ( x + y) + z. The first
expression uses prefix notation ; the second uses infix notation . When convenient,
we informally use infix notation and add parentheses to improve legibility and
avoid ambiguity.
The following lemma shows that prefix notation allows to write terms unambigu-
ously without using parentheses.
1.5 Lemma (unique legibility of terms) Let a be a sequence of terms. Suppose a can be ob-
tained both by concatenating the terms t1 , . . . , tn and by concatenating the terms s1 , . . . , sm .
Then n = m and si = ti .
Proof By induction on | a|. If | a| = 0 than n = m = 0 and there is nothing to prove.
Suppose the claim holds for tuples of length k and let a = a1 , . . . , ak+1 . Then a1 is
the first element of both t1 and s1 . If a1 is a variable, say x, then t1 and s1 are the
term x and n = m = 1. Otherwise a1 is a function symbol, say f . Then t1 = f t̄
and s1 = f s̄, where t̄ and s̄ are obtained by concatenating the terms t10 , . . . , t0p and
7
s10 , . . . , s0p . Now apply the induction hypothesis to a2 , . . . , ak+1 and to the terms
t10 , . . . , t0p , t2 , . . . , tn and s10 , . . . , s0p , s2 , . . . , sm .
The inductive definition above is based on the case n f = 0, that is, the case where
f a constant, or a parameter. When t = c, a constant, t̄ is the empty tuple, and so
t M = c M (∅), which we abbreviate as c M . In particular, if t = a, a parameter, then
t M = a M = a.
Now we generalize the interpretation to all (not necessarily closed) terms. If t( x ) is
a term, we define t M( x ) : M| x| → M to be the function that maps a to t( a) M .
4 Substructures
1.7 Definition Fix a signature L and let M and N be two L-structures. We say that M is a
substructure of N, and write M ⊆ N , if
1. the domain of M is a subset of the domain of N
3. r M = r N ∩ M nr .
It is usual to confuse subsets of N that satisfy 1 with the unuque substructure they
8
support.
It is immediate to verify that the intersection of an arbitrary family of substructures
of N is a substructure of N. Therefore, for any given A ⊆ N we may define the
substructure of N generated A as the intersection of all substructures of N that
contain A. We write h Ai N . The following easy proposition gives more concrete
representation of h Ai N
1.9 Example Let L be the language of groups. Let N be a group, which we consider
as an L-structure in the natural way. Then the substructures of N are exactly the
subgroups of N and h Ai N is the group generated by A ⊆ N. A similar claim is true
when L F is the signature of vector spaces over some fixed field F. The choice of the
language is more or less fixed if we want that the algebraic and the model theoretic
notion of substructure coincide.
5 Formulas
Fix a language L and a set of variables V as in Section 3. A formula is a finite
.
sequence of symbols in Lfun ∪ Lrel ∪ V ∪ {=, ⊥, ¬, ∨, ∃}. The last set contains the
logical symbols that are called respectively
.
= equality ⊥ contradiction ¬ negation
∨ disjunction ∃ existential quantifier.
.
Syntactically, = behaves like a binary relation symbol. So, for convenience set n=. =
.
2. However = is considered as a logic symbol because its semantic is fixed (it is
always interpreted in the diagonal).
The definition below uses the prefix notation which simplifies the proof of the
unique legibility lemma. However, in practice we always we use the infix nota-
.
tion: t = s, ϕ ∨ ψ, etc.
1.10 Definition A formula is any finite sequence is obtained with the following inductive
procedure
.
o. if r ∈ Lrel ∪ {=} and t is a tuple obtained concatenating nr terms then r t is a formula.
Formulas of this form are called atomic ;
i. if ϕ e ψ are formulas then the following are formulas: ⊥, ¬ ϕ, ∨ ϕ ψ, and ∃ x ϕ, for
any x ∈ V.
We use L to denote both the language and the set of formulas. We write Lat
for the set of atomic formulas and Lqf for the set of quantifier-free formulas i.e.
9
formulas where ∃ does not occur.
The proof of the following is similar to the analogous lemma for terms.
A formula is closed if all its variables occur under the scope of a quantifier. Closed
formulas are also called sentences . We will do without a formal definition of occurs
under the scope of a quantifier which is too lengthy. An example suffices: all occur-
rences of x are under the scope a quantifiers in the formula ∃ x ϕ. These occurrences
.
are called bonded . The formula x =y ∧ ∃ x ϕ has free (i.e., not bond) occurrences
of x and y.
Let x is a tuple of variables and t is a tuple of terms such that | x | = |t|. We
write ϕ[ x/t] for the formula obtained substituting t for all free occurrences of x,
coordinatewise.
We write ϕ( x ) to declare that the free variables in the formula ϕ are all among those
of the tuple x. In this case we write ϕ(t) for ϕ[ x/t].
We will often use without explicit mention the following useful syntactic decompo-
sition of formulas with parameters.
1.13 Definition of truth For every formula ϕ with variables among those of the tuple x we
define ϕ( x ) M by induction as follows
.
n o
o1. (= t s)( x ) M = a ∈ M| x| : t M( a) = s M( a)
n o
o2. (r t1 . . . tn )( x ) M = a ∈ M| x| : ht1M (a), . . . , tnM( a)i ∈ r M
i0. ⊥( x ) M = ∅
¬ξ ( x ) M = M|x| r ξ ( x ) M
i1.
∨ ξ ψ ( x ) M = ξ ( x ) M ∪ ψ( x ) M
i2.
ϕ[y/a] ( x ) M
[
∃y ϕ ( x ) M =
i3.
a∈ M
10
The case when x is the empty tuple is far from trivial. Note that ϕ(∅) M is a subset
of M0 = {∅}. Then there are two possibilities either {∅} or ∅. We wil read
them as two truth values : True and False , respectively. If ϕ M = {∅} we say that
ϕ is true in M , if ϕ M = ∅, we say that ϕ is false M . We write M ϕ , respectively
M 2 ϕ . Or we may say that M models ϕ , respectively M does not model ϕ . It is
immediate to verify at
ϕ( M) = a ∈ M|x| : M ϕ( a) .
Note that usually, we say formula when, strictly speaking, we mean pair that consists
of a formula and a tuple of variables. Such pairs are interpreted in definable sets
(cfr. Definition 1.13). In fact, if the tuple of variables were not given, the arity of the
corresponding set is not determined.
In some contexts we also want to distinguish between two sorts of variables that
play different roles. Some are placeholder for parameters, some are used to define
a set. In the the first chapters this distinction is only a clue for the reader, in the last
chapters it is an essential part of the definitions.
1.14 Definition A partitioned formula (strictly speaking, we should say a 2-partitioned for-
mula) is a triple ϕ( x ; z) consisting of a formula and two tuples of variables such that the
variables occurring in ϕ are all among x, z.
11
^ _
ϕi ϕi
i∈ I i∈ I
1.15 Exercise Let M be an L-structure and let ψ( x ), ϕ( x, y) ∈ L. For each of the follow-
ing conditions, write a sentence true in M exactly when
a. ψ( M ) ∈ ϕ( a, M ) : a ∈ M ;
b. ϕ( a, M ) : a ∈ M contains at least two sets;
c. ϕ( a, M ) : a ∈ M contains only sets that are pairwise disjoint.
1.16 Exercise Let M be a structure in the signature of graphs as defined in Example 1.3
(but not necessarily a graph). Write a sentence ϕ such that,
a. M ϕ if and only if there is an A ⊆ M such that r M ⊆ A × ¬ A.
12
Chapter 2
Theories and elementarity
1 Logical consequences
A theory is a set T ⊆ L of sentences. We write M T if M ϕ for every ϕ ∈ T. If
ϕ ∈ L is a sentence we write T ` ϕ when
MT ⇒ Mϕ for every M.
In words, we say that ϕ is a logical consequence of T or that ϕ follows from T. If
S is a theory T ` S has a similar meaning. If T ` S and S ` T we say that T and S
are logically equivalent . We may say that T axiomatizes S (or vice versa).
We say that a theory is consistent if it has a model. With the notation above, T is
consistent if and only if T 0 ⊥ .
The closure of T under logical consequence is the set ccl( T ) which is defined as
follows:
n o
ccl( T ) = ϕ ∈ L : sentence such that T ` ϕ
If T is a finite set, say T = ϕ1 , . . . , ϕn we write ccl( ϕ1 , . . . , ϕn ) for ccl( T ). If
T = ccl( T ) we say that T is closed under logical consequences .
The theory of M is the set of sentences that hold in M and is denoted by Th( M) .
More generally, if K is a class of structures, Th(K) is the set of sentences that hold
in every model in K. That is
Th(K)
\
= Th( M )
M ∈K
The class of all models of T is denoted by Mod( T ) . We say that K is axiomatizable
if Mod( T ) = K for some theory T. If T is finite we say that K is finitely axiomatizable .
To sum up
n o
Th( M) = ϕ : Mϕ
n o
Th(K) = ϕ : M ϕ for all M ∈ K
n o
Mod( T ) = M : MT
2.1 Example Let L be the language of multiplicative groups. Let Tg be the set contain-
ing the universal closure of following three formulas
1. ( x · y ) · z = x · ( y · z );
2. x · x −1 = x −1 · x = 1;
3. x · 1 = 1 · x = x.
Then Tg axiomatizes the theory of groups, i.e. Th(K) for K the class of all groups.
Let ϕ be the universal closure of the following formula
13
z · x = z · y → x = y.
As ϕ formalizes the cancellation property then Tg ` ϕ, that is, ϕ is a logical conse-
quence of Tg . Now consider the sentence ψ which is the universal closure of
4. x · y = y · x.
So, commutative groups model ψ and non commutative groups model ¬ψ. Hence
neither Tg ` ψ nor Tg ` ¬ψ. We say that Tg does not decide ψ.
Note that even when T is a very concrete set, ccl( T ) may be more difficult to grasp.
In the example above Tg contains three sentences but ccl( Tg ) is an infinite set con-
taining sentences that code theorems of group theory yet to be proved.
2.2 Remark The following properties say that ccl is a finitary closure operator.
1. T ⊆ ccl( T ) (extensive)
2. ccl( T ) = ccl ccl( T ) (increasing)
3. T ⊆ S ⇒ ccl( T ) ⊆ ccl(S) (idempotent)
S
4. ccl( T ) = ccl(S) : S finite subset of T . (finitary)
Properties 1-3 are easy to verify while 4 requires the compactness theorem.
In the next example we list a few algebraic theories with straightforward axiomati-
zation.
2.3 Example We write Tag for the theory of abelian groups which contains the univer-
sal closure of following
a1. ( x + y) + z = y + ( x + z);
a2. x + (− x ) = 0;
a3. x + 0 = x;
a4. x + y = y + x.
a6. 1 · x = x · 1 = x;
a7. ( x + y) · z = x · z + y · z;
a8. z · ( x + y) = z · x + z · y.
The theory of commutative rings Tcg contains also com of examples 2.1. The theory
of ordered rings Tor extends Tcr with
o1. x < z → x + y < z + y;
2.4 Example Fix a field F. The language L F extends the language of additive groups
with a unary function for every element of F. The theory of vector fields over F
extends Tag with the following axioms (for all h, k, l ∈ F)
14
m1. h ( x + y) = h x + h y
m2. l x = h x + k x, where l = h + F k
m3. l x = h (k x ), where l = h · F k
m4. 0 F x = 0
m5. 1 F x = x
The symbols 0F and 1F denote the zero and the unit of F. The symbols + F and · F
denote the sum and the product in F. These are not part of L F , they are symbols we
use in the metalanguage.
2.5 Example Recall from Example 1.3 that we represent a graph with a symmetric
irreflexive relation. Therefore theory of graphs contains the following two axioms
1. ¬r ( x, x );
2. r ( x, y) → r (y, x ).
2.6 Example Let L be the empty language The theory of infinite sets is axiomatized
by the sentences ∃≥n x ( x = x ) for all positive integer n.
2 Elementary equivalence
The following is a fundamental notion in model theory.
In the definition above the use of the term substructure is appropriate by the follow-
ing lemma.
15
2.12 Lemma If M and N are such that M ≡ A N and A is the domain of a substructure of M
then A is also the domain a substructure of N and the two substructures coincide.
Proof Let f be a function symbol and ler r be a relation symbol. It suffices to prove
that f M ( a) = f N ( a) for every a ∈ An f and that r M ∩ Anr = r N ∩ Anr .
If b ∈ A is such that b = f M a then M f a = b. So, from M ≡ A N, we obtain
N f a = b, hence f N a = b. This proves f M ( a) = f N ( a).
Now let a ∈ Anr and suppose a ∈ r M . Then M ra and, by elementarity, N ra,
hence a ∈ r N . By symmetry r M ∩ Anr = r N ∩ Anr follows.
It is not easy to prove that two structures are elementary equivalent. A direct
verification is unfeasible even for the most simple structures. It will take a few
chapters before we are able to discuss concrete examples.
We generalize the definition of Th( M ) to include parameters
n o
Th( M/A) = ϕ : sentence in L( A) such that M ϕ .
The following proposition is immediate
2.13 Proposition For every pair of structures M and N and every A ⊆ N ∩ N the following
are equivalent
a. M ≡ A N;
Assume H is not simple then there a, b ∈ H be such that b is not product of elements
of hah−1 : h ∈ H . hence for every n
H ¬∃ x1 , . . . , xn b = x1 ax1−1 · · · xn axn−1
2.16 Exercise Let M N and let ϕ( x ) ∈ L( M). Prove that ϕ( M) is finite if and only if
16
ϕ( N ) is finite and in this case ϕ( N ) = ϕ( M).
2.17 Exercise Let M N and let ϕ( x, z) ∈ L. Suppose there are finitely many sets of
the form ϕ( a, N ) for some a ∈ N | x| . Prove that all these sets are definable over M.
2.18 Exercise Consider Zn as a structure in the additive language of groups with the
natural interpretation. Prove that Zn 6≡ Zm for every positive integers n 6= m. Hint:
in Zn there are at most 2n − 1 elements that are not congruent modulo 2.
Condition 1 above and the assumption that h is injective can be summarized in the
following
1’. M r ( a) ⇔ N r (ha) for every r ∈ Lrel ∪ {=} and every a ∈ Mnr .
Note also that, by straightforward induction on syntax, from 2 we obtain
2’ h t M ( a) = t N (h a) for every term t( x ) and every a ∈ M| x| .
Combining these two properties, and by straightforward induction on the syntax,
we obtain
3. M ϕ( a) ⇔ N ϕ(ha) for every ϕ( x ) ∈ Lqf and every a ∈ M| x| .
Recall that we write Lqf for the set of quantifier-free formulas. It is worth noting
that when M ⊆ N and h = id M then 3 becomes
3’ M ϕ( a) ⇔ N ϕ( a) for every ϕ( x ) ∈ Lqf and for every a ∈ M| x| .
In words this is summarized by saying that the truth of quantifier-free formulas is
preserved under sub- and superstructure.
Finally we prove that first order truth is preserved under isomorphism. We say that
a map h : M → N fixes A ⊆ M (pointwise) if id A ⊆ h. An isomorphism that fixes
A is also called an A-isomorphism .
17
Proof We proceed by induction of the syntax of ϕ( x ). When ϕ( x ) is atomic # holds
by 3 above. Induction for the Boolean connectives is straightforward so we only
need to consider the existential quantifier. Assume as induction hypothesis that
M ϕ( a, b) ⇔ N ϕ(ha, hb) for every tupla a ∈ M| x| and b ∈ M.
We prove that # holds for the formula ∃y ϕ( x, y).
M ∃y ϕ( a, y) ⇔ M ϕ( a, b) for some b ∈ M
⇔ N ϕ(ha, hb) for some b ∈ M (by induction hypothesis)
⇔ N ϕ(ha, c) for some c ∈ N (⇐ by surjectivity)
⇔ N ∃y ϕ(ha, y).
2.21 Corollary If h : M → N is an isomorphism then h ϕ( M) = ϕ( N ) for every ϕ( x ) ∈ L.
We can now give a few very simple examples of elementarily equivalent structures.
2.22 Example Let L be the language of strict orders. Consider intervals of R (or in Q)
as structures in the natural way. The intervals [0, 1] and [0, 2] are isomorphic, hence
[0, 1] ≡ [0, 2] follows from Theorem 2.20. Clearly, [0, 1] is a substructure of [0, 2].
However [0, 1] [0, 2], in fact the formula ∀ x ( x ≤1) holds in [0, 1] but is false in
[0, 2].
The example above shows that M ⊆ N and M ≡ N does not imply M M.
Now we prove that (0, 1) (0, 2). By Exercise 2.15 above, it suffices to verify that
(0, 1) ≡ B (0, 2) for every finite B ⊆ (0, 1). This follows again by Theorem 2.20 as
(0, 1) and (0, 2) are B-isomorphic for every finite B ⊆ (0, 1).
2.25 Exercise Let L be the empty language. Let A, D ⊆ M. Prove that the following are
equivalent
1. D is definable over M;
18
Recall that existential formulas as those of the form ∃y ψ( x, y) for ψ( x, y) ∈ Lqf .
Note that Theorem 10.6 proves that the property above characterizes existential
formulas.
2.27 Exercise Assume that the language L contains only the symbol +. Consider Z as
a structure of signature L with the usual interpretation of +. Prove that there is no
existential formula that defines the set of even integers. Hint: use Exercise 2.26.
2.28 Exercise Let N be the multiplicative group of Q. Let M be the subgroup of those
rational numbers that are of the form n/m for some odd integers m and n. Prove
that M N. Hint: use the fundamental theorem of arithmetic and reason as in
Example 2.22.
4 Quotient structures
The content of this section is mainly technical and only required later in the course.
Its reading may be postponed.
If E is an equivalence relation on N we write [c] E for the equivalence class of c ∈ N.
We use the same symbol for the equivalence relation on N n defined as follow: if
a = a1 , . . . , an and b = b1 , . . . , bn are n-tuples of elements of N then a E b means
that ai E bi holds for all i. It is easy to see that b1 , . . . , bn ∈ [ a, ..., an ] E if and only if
bi ∈ [ ai ] E for all i. Therefore we use the notation [ a] E for both the equivalence class
of a ∈ N n and the tuple of equivalence classes [ a1 ] E , . . . , [ an ] E .
2.29 Definition We say that the equivalence relation E on a structure N is a congruence if for
every f ∈ Lfun
c1. aEb ⇒ f N a E f N b;
When E is a congruence on N we write N/E for the a structure that has as domain the set
of E-equivalence classes in N and the following interpretation of f ∈ Lfun and r ∈ Lrel :
f N/E [ a] E =
N
c2. f a E;
c3. [ a] E ∈ r N/E ⇔ [ a] E ∩ r N 6= ∅.
We call N/E the quotient structure .
By c1 the quotiont structure is well defined. The reader will recognize it as a familiar
notion by the following proposition (which is not required in the following and
requires the notion of homomorphism, see Definition 2.23. Recall that the kernel
of a total map h : N → M is the equivalence relation E such that
a E b ⇔ ha = hb
for every a, b ∈ N.
19
h
N M
k
π
N/E
B Quotients clutter the notation with brackets. To avoid the mess, we prefer to reason
in N and tweak the satisfaction relation. Warning: this is not standard.
Essentially, we work in N while thinking of N/E. So, we replace equality with E and
adapt the interpretation of relation symbols according to c3 above. The proposition
below shows that the definition does what is intended to do.
Now, by induction on the syntax of formulas one can prove * does what required.
In particular, N/E * ϕ( a) ↔ ϕ(b) for every a E b.
2.32 Proposition Let E be a congruence relation of N. Then the following are equivalent for
every ϕ( x ) ∈ L
1. N/E * ϕ ( a );
2. N/E ϕ [ a] E .
5 Completeness
A theory T is maximal consistent if it is consistent and there is no consistent theory
S such that S ⊂ T. Equivalently, T contains every sentence ϕ consistent with T,
that is, such that T ∪ { ϕ} is consistent. Clearly a maximal consistent theory is closed
under logical consequences.
A theory T is complete if cclT is maximal consistent. Concrete examples will be
given in the next chapters as it is not easy to prove that a theory is complete.
20
c. T is consistent and ϕ ∈ T or ¬ ϕ ∈ T for every sentence ϕ.
The proof of the proposition below is is left as an exercise for the reader.
Hint: consider the theory containing all sentences where the symbol ¬ occurs an
even number of times. This theory is not consistent as it contains ⊥.
2.36 Exercise Prove that if T has exactly 2 maximal consistent extension T1 and T2 then
there is a sentence ϕ such that T, ϕ ` T1 and T, ¬ ϕ ` T2 . State and prove the
generalization to finitely many maximally consistent extensions.
2.37 Lemma (Tarski-Vaught test) For every A ⊆ N the following are equivalent
1. A is the domain of a structure M N;
21
N ∃ x ϕ( x ) ⇒ N ϕ(b) for some b ∈ A.
Proof 1⇒2
N ∃ x ϕ( x ) ⇒ M ∃ x ϕ( x )
⇒ M ϕ(b) for some b ∈ M
⇒ N ϕ(b) for some b ∈ M.
2⇒1 Firstly, note that A is the domain of a substructure of N, that is, f N a ∈ A for
every f ∈ Lfun and every a ∈ An f . In fact, this follows from 2 with f a = x for ϕ( x ).
Write M for the substructure of N with domain A. By induction on the syntax we
prove
M ϕ( a) ⇔ N ϕ( a) for every a ∈ M| x| .
If ϕ( x ) is atomic the claim follows from M ⊆ N and the remarks underneath Defini-
tion 2.19. The case of Boolean connectives is straightforward, so only the existential
quantifier requires a proof
M ∃ x ϕ( a, x ) ⇔ M ϕ( a, b) for some b ∈ M
⇔ N ϕ( a, b) for some b ∈ M
⇔ N ∃ x ϕ( a, x ).
The second equivalence holds by induction hypothesis, in the last equivalence we
use 2 for the implication ⇐.
2.38 Exercise Prove that, in the language of strict orders, R r {0} R and R r {0} 6' R.
7 Downward Löwenheim-Skolem
The main theorem of this section was proved by Löwenheim at the beginning of the
last century. Skolem gave a simpler proof immediately afterwards. At the time, the
result was perceived as paradoxical.
A few years earlier, the works of Zermelo and Fraenkel had convinced the mathe-
matical community that the whole of set theory could be formalised in a first order
language. The downward Löwenheim-Skolem theorem implies the existence of an
infinite countable model M of set theory: this is the so-called Skolem paradox . The
existence of M seems paradoxical because, in particular, a sentence that formalises
the axiom of power set holds in M. Therefore M contains an element b which, in
M, is the set of subsets of the natural numbers. But the set of elements of b is a
subset of M, and therefore it is countable.
In fact, this is not a contradiction, because the expression all subsets of the natural
numbers does not have the same meaning in M as it has in the real world. The notion
of cardinality, too, acquires a different meaning. In the language of set theory, there
is a first order sentence that formalises the fact that b is uncountable: the sentence
says that there is no bijection between b and the natural numbers. Therefore the
bijection between the elements of b and the natural numbers (which exists in the
real world) does not belong to M. The notion of equinumerosity has a different
meaning in M and in the real world, but those who live in M cannot realise this.
22
2.39 Downward Löwenheim-Skolem Theorem Let N be an infinite L-structure and let
A ⊆ N. Then there is a structure M of cardinality ≤ | L( A)| such that A ⊆ M N.
Proof Set λ = | L( A)|. Below we construct a chain h Ai : i < λi of subsets of N.
The chain begins at A0 = A and is continuous at limit ordinals. Finally we set
M = i<λ Ai . All Ai will have cardinality ≤ λ so | M | ≤ λ follows.
S
We will need to adapt the construction above to meet more requirements on the
model M. To better control the elements that enters M it is convenient to add one
element at the time (above we add λ elements at each stage). We need to enumerate
formulas with care if we want to complete the construction by stage λ.
2.40 Second proof of the downward Löwenheim-Skolem Theorem From set theory
we know there is a bijection π : λ → λ2 such that π1 (i ) and π2 (i ), the two compo-
nents of π (i ), are both ≤ i. Suppose we have defined the set A j for very j ≤ i. Let
h ϕk ( x ) : k < λi be an enumeration of the formulas in L( Aπ1 (i) ). Let b be a solution
of the ϕk ( x ) for k = π2 (i ) and define Ai+1 = Ai ∪ {b}.
We use Tarski-Vaught test to prove M N. Let ϕ( x ) ∈ L( M) be consistent in N.
As π is a bijection, there is an i such that ϕ( x ) is the π2 (i )-th formula enumerated
in L( Aπ1 (i) ). Hence a witness of ϕ( x ) is enumerated in M at stage i + 1.
2.41 Exercise Assume L is countable and let M N have arbitrary (large) cardinality.
Let A ⊆ N be countable. Prove there is a countable model K such that A ⊆ K N
and K ∩ M N (in particular, K ∩ M is a model). Hint: adapt the construction used
to prove the downward Löwenheim-Skolem Theorem.
8 Elementary chains
An elementary chain is a chain h Mi : i < λi of structures such that Mi M j
for every i < j < λ. The union (or limit ) of the chain is the structure with as
S
domain the set i<λ Mi and as relations and functions the union of the relations
and functions of Mi . It is plain that all structures in the chain are substructures of
the limit.
2.42 Lemma Let h Mi : i ∈ λi be an elementary chain of structures. Let N be the union of the
chain. Then Mi N for every i.
Proof By induction on the syntax of ϕ( x ) ∈ L we prove
|x|
Mi ϕ ( a ) ⇔ N ϕ ( a ) for every i < λ and every a ∈ Mi
As remarked in 3’ of Section 3, the claim holds for quantifier-free formulas. In-
23
duction for Boolean connectives is straightforward so we only need to consider the
existential quantifier
Mi ∃y ϕ( a, y) ⇒ Mi ϕ( a, b) for some b ∈ Mi .
⇒ N ϕ( a, b) for some b ∈ Mi ⊆ N
where the second implication follows from the induction hypothesis. Vice versa
N ∃y ϕ( a, y) ⇒ N ϕ( a, b) for some b ∈ N
Without loss of generality we can assume that b ∈ M j for some j ≥ i and obtain
⇒ M j ϕ( a, b) for some b ∈ M j
Now apply the induction hypothesis to ϕ( x, y) and M j
⇒ M j ∃y ϕ( a, y)
⇒ Mi ∃y ϕ( a, y)
where the last implication holds because Mi M j .
2.44 Exercise Give an alternative proof of Exercise 2.41 using the downward Löwenheim-
Skolem Theorem (instead of its proof). Hint: construct two countable chains of
countable models such that Ki ∩ M ⊆ Mi N and A ∪ Mi ⊆ Ki+1 N. The
required model is K = i∈ω Ki . In fact it is easy to check that K ∩ M = i∈ω Mi .
S S
24
Chapter 3
Ultraproducts
In these notes we only use ultraproducts to prove the compactness theorem. Since
a syntactic proof of the compactness theorem is also given, this chapter is, strictly
speaking, not required. However, the importance of ultraproducts transcends its
application to model theory.
3.1 Exercise Let I be infinite. Prove that every non-principal ultrafilter on I contains
Fréchet’s filter. Show that this does not hold for plain filters.
Let B ⊆ P( I ). Then the filter generated by B is the intersection of all the filters that
contain B. It is easy to check that the intersection of a family of filters is a filter,
so the notion is well defined. The following easy proposition gives a workable
characterization of the filter generated by a set.
3.2 Proposition The filter generated by B is a ⊆ I : C ⊆ a for some finite C ⊆ B .
T
25
3.3 Proposition The following are equivalent:
1. the filter generated by B is non principal;
2. F is a prime filter;
3. F is an ultrafilter.
3⇒1. If a ∈
/ F, where F is an ultrafilter, then ¬ a ∈ F and no proper filter contains
F ∪ { a }.
3.5 Proposition Let B ⊆ P( I ) have the finite intersection property. Then B is contained in a
maximal filter.
Proof First we prove that the union of a chain of subsets of P( I ) with the finite
intersection property has the finite intersection property. Let B be such a chain and
suppose for a contradiction that B does not have the finite intersection property.
S
B. Hence B does not have the finite intersection property, which is a contradiction.
Now apply Zorn’s lemma to obtain a B ⊆ P( I ) which is maximal among the sets
with the finite intersection property. It is immediate that B is a filter.
3.6 Exercise Prove that all principal ultrafilters are generated by a singleton.
2 Direct products
In this and in the next section h Mi : i ∈ I i is a sequence of L-structures. (We are
abusing of the word sequence, since I is only a set.) The direct product of this
sequence is a structure denoted by
26
[
1. â : I → Mi
i∈ I
â : i 7→ âi ∈ Mi
We do not distinguish between tuples of elements of N and tuple-valued functions.
For instance, the tuple â = h â1 . . . ân i is identified with the function â : i 7→ âi =
h â1 i, . . . , ân i i. On a first reading of what follows, it may help to pretend that all
functions and relations are unary.
The interpretation of f ∈ Lfun is defined as follows:
f N â i = f Mi ( âi )
2. for all i ∈ I.
The interpretation of r ∈ Lfun is the product of the relations r Mi , that is, we define
3. â ∈ r N ⇔ âi ∈ r Mi for all i ∈ I.
The following proposition is immediate.
3.7 Proposition If ∧ and ∀ are the only connectives and ∃ the only quantifier that occur in
ϕ( x ) ∈ L, then for every â ∈ N | x|
] N ϕ( â) ⇔ Mi ϕ( âi ) for all i ∈ I.
Proof By induction on syntax. First note that we can extend 2 to all terms t( x ) as
follows:
20 . t N â i = t Mi ( âi )
for all i ∈ I.
Combining 3 and 20 gives that for every r ∈ Lrel ∪ {=} and every L-term t( x )
30 . N rt â ⇔ Mi rt âi for all i ∈ I.
This shows that ] holds for ϕ( x ) atomic. Induction for the connectives ∧, ∀ ed ∃ is
immediate.
3 Łoś’s Theorem
Assume the notation of the previous sections. In particular, h Mi : i ∈ I i is a se-
quence of structures and N is the direct product of this sequence.
Let F be a filter on I. We define the following congruence on N (see Definition 2.29):
â ∼ F ĉ ⇔ i ∈ I : âi = ĉi ∈ F .
To check that ∼ F is indeed a congruence, first we need to check that it is an equiv-
alence relation. Reflexivity and symmetry are immediate, and transitivity follows
from f2 in Section 1. Then we check that ∼ F is compatible with the functions of L,
that is, that c1 of Definition 2.29 is satisfied. This follows from f1 in Section 1.
For brevity, we write N/F for N/∼ F and [ â] F for [ â]∼ F . Then c3 of Section 2.4 gives
c30 . [ â] F ∈ r N/F ⇔ i : âi = b̂i ∈ r Mi ∈ F for some b̂ ∈ N.
The structure N/F is called the reduced product of the structures h Mi : i ∈ I i or,
when Mi = M for all i ∈ I, the reduced power of M. When F is an ultrafilter we
say ultraproduct , respectively ultrapower .
27
3.8 Łoś’s Theorem Let ϕ( x ) ∈ L and let F be an ultrafilter on I. Then for every â ∈ N | x|
the following are equivalent:
1. N/F * ϕ( â) (see Definition 2.31);
2. i : Mi ϕ( âi ) ∈ F.
Proof We proceed by induction on the syntax of ϕ( x ). Suppose ϕ( x ) is of the form
rt( x ) for some tuple of terms t( x ) and r ∈ Lrel ∪ {=}. Then 1⇔2 is clear.
We prove the inductive step for the connectives ¬, ∧, and the quantifier ∃. We
begin with ¬. This is the only place in the proof where the assumption that F is an
ultrafilter is required. By the inductive hypothesis,
N/F * ¬ ϕ â ⇔ i : Mi ϕ( âi ) ∈
/ F
So, as F is an ultrafilter
⇔ i : Mi ¬ ϕ( âi ) ∈ F.
Now consider ∧. Assume inductively that the equivalence 1⇔2 holds for ϕ( x ) and
ψ( x ). Then
N/F * ϕ â ∧ ψ â ⇔ i : Mi ϕ( âi ) ∈ F and i : Mi ψ( âi ) ∈ F .
Let a I denote the element of M I that has constant value a. The following is an
immediate consequence of Łoś’s theorem.
We often identify M with its image under the embedding h : a 7→ [ a I ] F , and say
that M I /F is an elementary extension of M.
The following corollary is an immediate consequence of the compactness theorem
that we prove in the next chapter. The construction in the proof uses ultrapowers.
28
principal, it does not belong to F. So, by Łoš Theorem, we have Mω /F * dˆ 6= a I
for every a ∈ M, that is, [dˆ] F ∈
/ h [ M ].
3.12 Exercise Let I be the set of integers i > 1. For i ∈ I, let Zi denote the additive
group of integers modulo i, and let N denote the product ∏ Zi . Prove that, if F is
a non-principal ultrafilter on I, i∈ I
1. for some F, N/F does not contain any element of finite order;
5. for some F, N/F contains an element â such that N/F ∀ x mx 6= â for every
positive integer m.
29
Chapter 4
Compactness
We present two proofs of the compactness theorem. The first is syntactic, the second
uses ultrapowers.
Somewhat surprisignly, the compactness theorem is not strctly required for the
next few chapters (only from Chapter 9). So the reading of this chapter may be
postponed.
4.1 Definition Fix a language L. Assume for simplicity that formulas use only the connectives
∧, ¬ and ∃. We say that T is a Henkin theory if for every formulas ϕ and ψ
0. ϕ ∈ T ⇒ ¬ϕ ∈
/T
1. ¬¬ ϕ ∈ T ⇒ ϕ∈T
2. ϕ∧ψ ∈ T ⇒ ϕ ∈ T and ψ ∈ T
3. ¬( ϕ ∧ ψ) ∈ T ⇒ ¬ ϕ ∈ T or ¬ψ ∈ T
4. ∃x ϕ ∈ T ⇒ ϕ[ x/a] ∈ T for some closed term a
5. ¬∃ x ϕ ∈ T ⇒ ¬ ϕ[ x/a] ∈ T for all closed terms a.
Moreover, the following holds for all closed terms t and all closed terms a, b, c
.
a. a= a ∈ T
. .
b. a=b ∈ T ⇒ b= a ∈ T
. . .
c. a=b, b=c ∈ T ⇒ a=c ∈ T
.
d. a=b, ϕ[ x/a] ∈ T ⇒ ϕ[ x/b] ∈ T.
Fix a theory T and let M be the structure that has as domain the set of closed
terms. Define for every relation symbol
rM = h a1 , . . . , a n i : r ( a1 , . . . , a n ) ∈ T .
Define for every function symbol f
fM =
h a1 , . . . , an , ti : a1 , . . . , an ∈ M, t = f a1 . . . an .
An easy proof by induction shows that t M = t for all closed terms t.
.
Finally, let E be the relation on M that holds when a=b ∈ T.
30
4.2 Lemma The relation E is a congruence on M (as defined in Section 2.4).
Proof Axioms a-c ensure that E is an equivalence. Axiom e that it is a congruence.
4.4 Proposition If every finite subset of T has a model then there is a Henkin theory T 0
containing T. (The theory T 0 may be in an expanded language.)
Proof Set λ = | L|. Let hci : i < λi be some constants not in L. Write Li be the
language L expanded with the constants ci and fix an enumeration of all sentences
in Lλ .
If α is 0 or a limit ordinal define
Tα0 Ti0
[
= Tα = T ∪
i <α
As for successor ordinals, let Ti+1 be a maximal finitely consistent set of Li -formulas
containing Ti0 . It is immediate that Ti0 satisfy Definition 4.1 but possibly for 3.
Let ∃ x ϕ be the least sentence in Lλ contradicting 3 and set Ti+1 = Ti ∪ ϕ[ x/ci ] .
It is immediate that Ti+1 is finitely consistent.
At stage λ all possible counterexamples to 3 have been ruled out, then T 0 = Tλ is
the required Henkin theory.
A theory is finitely consistent if all its finite subsets are consistent. The following
theorem is an immediate corollary of the proposition above.
31
language L. For every ξ ∈ I pick some Mξ ξ. For any sentence ϕ ∈ L we write
X ϕ for the following subset of I
n o
Xϕ = ξ∈I : ξ`ϕ
Clearly ϕ is consistent if and only if X ϕ 6= ∅. Moreover X ϕ∧ψ = X ϕ ∩ Xψ . hence,
as T is finitely consistent, the set B = X ϕ : ϕ ∈ T has the finite intersection
property. Therefore B extends to an ultrafilter F on I. Define
N = ∏ Mξ .
ξ∈I
4.8 Exercise Let Φ ⊆ L be a set of sentences and suppose that ` ψ ↔ Φ for some
W
3 Upward Löwenheim-Skolem
Recall that a type is a set of formulas. When we present types we usually declare
the variables that may occur in it – we write p( x ) , q( x ) , etc. where x is a tuple of
variables. Clearly, when x is the empty tuple, p( x ) is just a theory. We identify a
finite types with the conjunction of the formulas contained in it.
We write M p( a) if M ϕ( a) for every ϕ( x ) ∈ p. We say that a is a solution or
a realization of p( x ). An equivalent notation is M, a p( x ) or, when M is clear
from the context, a p( x ) . We say that p( x ) is consistent in M it has a solution
in M. In this case we may write M ∃ x p( x ) . We say that p( x ) is consistent if it
is consistent in some model.
We say that a type p( x ) is finitely consistent if all its finite subsets are consistent.
If they are all consistent in the same model M, we say that p( x ) is finitely consistent
in M . The following theorem shows that the latter notion, which is trivial for
theories, is very interesting for types.
4.9 Compactness Theorem for types Every finitely consistent type p( x ) ⊆ L is consistent.
Moreover, if p( x ) ⊆ L( M ) is finitely consistent in M then it is realised in some elementary
extension of M.
Proof Let L0 be the expansion of L obtained by adding the fresh symbols c, a tuple
of constants of the same length as x. Then p(c) is a finitely consistent theory in the
32
language L0 . By the compactness theorem there is an L0 -structure N 0 p(c). Let N
be the reduced of N 0 to L. That is the L-structure with the same domain and the
same interpretation of N 0 on the symbols of L. Note that, though the constants c
0 0
are not in L, the elements c N remain in N. Then N, c N p( x ).
As for the second claim, let a be an enumeration of M. We can assume that p( x )
has the form p0 ( x ; a) for some p0 ( x ; z) ∈ L. Define
q(z) = ϕ(z) : M ϕ( a)
Clearly, p0 ( x ; z) ∪ q(z) is finitely consistent in M. By the first part of the proof there
is a model N such that N p0 (c0 ; a0 ) for some c0 , a0 ∈ N | x,z| . Let h = {h a, a0 i}. We
claim that h : M → N is an embedding and that h[ M ] N. So the theorem follows
by identifying M with h[ M ].
For any ϕ(z) ∈ L we have
h[ M] ϕ(ha) ⇔ M ϕ( a) ⇔ ϕ(z) ∈ q(z) ⇒ N ϕ( a0 ).
Then h[ M] N follows because all sentences in L( M ) have the form ϕ( a) for some
ϕ(z) ∈ L. (Using a term that will be introduced only in Section 5.4, we have proved
that h : M → N is an elementary embedding.)
4.10 Upward Löwenheim-Skolem Theorem Every infinite structure has arbitrarily large
elementary extensions.
Proof Let x = h xi : i < λi be a tuple distinct variables, where λ is an arbitrary
cardinal. The type p( x ) = xi 6= x j : i < j < λ is finitely consistent in every
infinite structure and every structure that realises p has cardinality ≥ λ. Hence the
claim follows from Theorem 4.9.
4 Finite axiomatizability
A theory T is finitely axiomatizable if ccl(S) = ccl( T ) for some finite S. The fol-
lowing theorem shows that we can restrict the search of S to the subsets of T.
If L is empty, then every structure is a model. The theory of infinite sets is the set
of sentences that hold in every infinite structure.
4.12 Example The theory of infinite sets is not finitely axiomatizable. Define
T∞ = ∃≥n x ( x = x ) : n ∈ ω
Every infinite set is a model of T∞ and, vice versa, every model of T∞ is is an infinite
set. Then ccl( T∞ ) is the theory of infinite sets. Suppose for a contradiction that T∞
33
is finitely axiomatizable. By Proposition 4.11, ∃≥n x ( x = x ) ` T∞ for some n. Any
set of cardinality n + 1 proves that this is not the case.
The following is a less trivial example. It proves a claim we made in Exercise 1.16.
4.13 Example Write Tgph for the theory of graphs, see Example 2.5. Let K be the fol-
lowing class of structures
n o
M
K = M Tgph : r ⊆ ( A × ¬ A) ∪ (¬ A × A) for some A ⊆ M
We prove that K is axiomatizable but not finitely axiomatizable, i.e. K = Mod( T )
for some theory T, but T cannot be choosen finite.
A path of length n in M is a sequence c0 , . . . , cn ∈ M such that M r (ci , ci+1 ) for
every 0 ≤ i < n. A path is closed if c0 = cn . We claim that the following theory
axiomatizes K.
( " # )
2n
^
T = ¬∃ x0 , . . . x2n+1 r ( xi , xi+1 ) ∧ x0 = x2n+1 : n∈ω
i =0
In words, T says that all closed paths have even length. Inclusion K ⊆ Mod( T ) is
clear, we prove Mod( T ) ⊆ K. Let M T and let Ao ⊆ M contain exactly one point
for every connected component of M. Define
−1
( " # )
2n
^
A = b : M ∃ x0 , . . . , x2n r ( xi , xi+1 ) ∧ a= x0 ∧ x2n =b , a ∈ Ao , n ∈ ω
i =1
34
Chapter 5
Types and morphisms
In Section 1 and 2 we introduce distributive lattices and prime filters and prove
Stone’s representation theorem for distributive lattices. In Section 3 we discuss lat-
tices that arise from sets of formulas and their prime filters (prime types). These
sections are mainly required for the discussion of Hilbert’s Nullstellensatz in Sec-
tion 8.7 below.
There is a lot of notation in this chapter. The reader may skim through and return
to it when we refer to it.
35
Hence we may unambiguously write a1 ∧ · · · ∧ an . When C ⊆ P is finite, we write
∧C for the meet of all the elements of C. We agree that ∧∅ = 1.
In an upper semilattice, the dual properties hold for the joint. We write ∨C for the
joint of all elements in C and we agree that ∨∅ = 0.
A filter of P is a non-empty set F ⊆ P that satisfies the following for all a, b ∈
P
f1. a ∈ F and a ≤ b ⇒ b ∈ F
f2. a, b ∈ F ⇒ a ∧ b ∈ F.
We say that F is a proper filter if F 6= P, equivalently if 0 ∈/ F. We say that F is
principal if F = b : a ≤ b for some a ∈ P. More precisely, we say that F is the
principal filter generated by a . A proper filter F is maximal if there is no filter H
such that F ⊂ H ⊂ P.
We say that a filter F is maximal relative to c if c ∈
/ F and c ∈ H for every
H ⊃ F. So, a filter F is maximal if it is maximal relative to 0. We say that F is
relatively maximal when it is maximal relative to some c.
For B ⊆ P we define the filter generated by B to be the intersection of all the filters
containing B. It is easy to verify that this is indeed a filter. When B is a finite set,
the filter generated by B is the principal filter generated by ∧ B. In general we have
the following.
5.2 Proposition Let B ⊆ P and let c ∈ P. If ∧C 6≤ c for every finite non-empty C ⊆ B, then
B is contained in a maximal filter relative to c.
Proof Let F be the set of filters F such that B ⊆ F and c ∈
/ F. By Proposition 5.1,
F is non-empty. It is immediate that F is closed under unions of arbitrary chains.
Then, by Zorn’s lemma, F has a maximal element.
2. for every a ∈
/ F there is d ∈ F such that d ∧ a ≤ c.
2. a ∈
/ B ⇒ b ∧ a ≤ c for some b ∈ B.
36
2 Distributive lattices and prime filters
Let P be a lattice. We say that P is distributive if for every a, b, c ∈ P
a ∧ (b ∨ c) = ( a ∧ b) ∨ ( a ∧ c)
a ∨ (b ∧ c) = ( a ∨ b) ∧ ( a ∨ c)
Throughout this section we assume that P is a bounded distributive lattice.
A proper filter F is prime if for every a, b ∈ P
a∨b ∈ F ⇒ a ∈ F or b ∈ F.
The Stone space of P is a topological space that we denote by S(P) . The points of
S(P) are the prime filters of P. The closed sets of the Stone topology are arbitrary
intersections of sets of the form
n o
[ a ]P = F : prime filter such that a ∈ F .
for a ∈ P. In other words, the sets above form a base of closed sets of the Stone
topology. Using 1 and 3 in the following proposition the reader can easily check
that this is indeed a base for a topology.
The closed subsets of S(P) ordered by inclusion form a distributive lattice. The
following is a representation theorem for distributive lattices.
5.8 Theorem The map a 7→ [ a]P is an embedding of P in the lattice of the closed subsets of
S(P). In particular
1. 0 7→ ∅;
2. 1 7 → S (P);
3. a ∨ b 7→ a P ∪ b P ;
4. a ∧ b 7→ a P ∩ b P .
Proof It is immediate that the map above preserves the order and Proposition 5.7
shows that it preserves the lattice operations. We prove that the map is injective. Let
a 6= b, say a b. We claim that a P * b P . There is a filter F that contains a and is
37
maximal relative to b. By Proposition 5.6 such an F is prime. Then F ∈ [ a]P r [b]P .
We claim that
\
b. [ ai ]P 6= ∅.
i∈ I
5.10 Lemma Let U ⊆ S(P) be a clopen set. Then U = [ a]P for some a ∈ P, and ¬ a exists.
Proof As both U and S(P) r U are closed, for some sets A, B ⊆ P
\
[ x ]P = U
x∈ A
\
[ y ]P = S(P) r U.
y∈ B
By compactness, that is Theorem 5.9, there are some finite A0 ⊆ A and B0 ⊆ B such
that
\ \
[ x ]P ∩ [ y ]P = ∅
x ∈ A0 y∈ B0
5.11 Proposition Let P be a Boolean algebra. Then the following are equivalent
1. F is maximal;
2. F is prime;
3. F is an ultrafilter.
38
5.12 Exercise Prove that the stone topology on S(P) has a base of open compact sets.
5.13 Exercise Suppose we had defined S(P) as the set of relatively maximal filters.
What could possibly go wrong ?
3 Types as filters
This section we work with a fixed set of formulas ∆ all with free variables among
those of some fixed tuple x . In this section we do not display x in the notation.
Subsets of ∆ are called ∆-types .
We associate to ∆ a bounded lattice P(∆) . This is the closure under conjunction
and disjunction of the formulas in ∆ ∪ {⊥, >}. The (pre)order relation in P(∆) is
given by
ψ ≤ ϕ ⇔ T ∪ {ψ} ` ϕ,
for some fixed theory T. In this section, to lighten notation, we absorb T in the
symbol `. If p is a ∆-type we denote by h piP the filter in P(∆) generated by p.
5.16 Definition We say that p ⊆ ∆ is a prime ∆-type if h piP is a prime filter. We say that p
is a complete ∆-type if h piP is a maximal filter.
Though in general neither ∆ nor P(∆) are closed under negation, Lemma 5.14 has
the following consequence.
5.17 Proposition For every consistent ∆-type p the following are equivalent
1. p is complete;
39
2. p is consistent and either p ` ϕ or p ` ¬ ϕ for every formula ϕ ∈ ∆.
¬ ϕ : ϕ ∈ ∆ such that p 0 ϕ
2. p ∪ is consistent;
ϕ∈∆:p`ϕ = ∆-tp M (c) for some model M and some tuple c ∈ M| x| .
3.
Proof Implications 2⇒3⇒1 are clear, we prove 1⇒2. By compactness if the type
in 2 is inconsistent then there are finitely many formulas ϕ1 , . . . , ϕn ∈ ∆ such that
p 0 ϕi and
n
_
p ` ϕi .
i =1
hence p is not prime.
The set ∆ above contains only formulas with variables among those of the tuple x.
In the following it is convenient to consider sets ∆ that are closed under substitution
of variables with any other variable. The set of prime ∆-types is denoted by S(∆) ,
and we write Sx (∆) when we restrict to types in with variables among those of the
tuple x.
The most common ∆ used in the sequel is the set of all formulas in L( A) and the
underlying theory is Th( M/A) for some given model M containing A. In this case
we write tp M (c/A) for ∆-tp M (c) or, when A is empty, tp M (c) . The set Sx (∆) is
denoted by Sx ( A). The topology on Sx ( A) is generated by the clopen
n o
ϕ( x ) = p ∈ Sx ( A) : ϕ( x ) ∈ p .
Sometimes ∆ is the set of all formulas of a given syntactic form. Then we use some
40
more suggestive notation that we summarize below.
5.20 Notation The following are some of the most common ∆-types and ∆-theories
1. at-tp(c) , That ( M ) when ∆ = Lat
2. at± -tp(c) , That± ( M ) when ∆ = Lat±
3. qf-tp(c) , Thqf ( M ) when ∆ = Lqf .
Clearly, the types/theories in 2 and 3 are equivalent. Most used is the theory
That± ( M/M ) which is called the diagram of M and has a dedicated symbol: Diag( M ) .
2. h Ai M is a substructure of N.
4 Morphisms
First we set the meaning that the word map has in these notes.
If dom f = M we say that the map is total ; if img f = N we say that it is surjective .
The composition of two maps and the inverse of a map are defined in the obvious
way.
5.23 Definition Let ∆ be a set of formulas with free variables in the tuple x = h xi : i < λi.
The map h : M → N is a ∆-morphism if it preserves the truth of all formulas in ∆. By
this we mean that
p. M ϕ( a) ⇒ N ϕ( ha) for every ϕ( x ) ∈ ∆ and every a ∈ (dom h)| x| .
Notation: if a is the tuple h ai : i < λi then ha is the tuple hhai : i < λi.
41
2. there is an isomorphism k : hdom hi M → himg hi N that extends h.
We use ∆-morphisms to compare, locally, two structures (or two loci of the same
structure). There are different ways to do this, in the proposition below we list a
few synonymous expressions. But first some more notation. When x is a fixed tuple
of variables, a ∈ M| x| and b ∈ N | x| we write
M, a V∆ N, b if M ϕ( a) ⇒ N ϕ(b) for every ϕ( x ) ∈ ∆.
M, a ≡∆ N, b if M ϕ( a) ⇔ N ϕ(b) for every ϕ( x ) ∈ ∆.
The following equivalences are immediate and will be used without explicit refer-
ence.
5.25 Proposition For every given set of formulas ∆ and every map h : M → N the following
are equivalent
1. h : M → N is a ∆-morphism;
5.26 Remark Condition p in Definition 5.23 apply to tuples x of any length, in particular
to the empty tuple. In this case ϕ( x ) is a sentence, a ∈ (dom h)0 = {∅} is the empty
tuple, and p asserts that Th∆ ( M ) ⊆ Th∆ ( N ). When h = ∅ this is actually all what p
says. In fact ∅| x| = ∅ unless | x | = 0. Still, Th∆ ( M ) ⊆ Th∆ ( N ) may be a non trivial
requirement.
5.27 Definition We call Th∆ ( M ) the ∆-characteristic of M. We say that T decides the
∆-characteristic if Th∆ ( M) = Th∆ ( N ) for all M, N T. In other words, for any pair of
models of T, the empty map ∅ : M → N is a ∆-morphism. When ∆ = Lat± we say simply
characteristic , then T decides the characteristic h∅i M ' h∅i N for all M, N T.
We conclude this section with a couple of propositions that break Theorem 2.20
into parts. More interestingly, in Chapter 10 we shall prove a sort of converse of
Propositions 5.29 and 5.30.
This is not immediately required in the following. There is a relation between
some properties of ∆-morphisms closure of ∆ logical connectives. When C ⊆
{∀, ∃, ¬, ∨, ∧} is a set of connectives, we write C∆ for the closure of ∆ with re-
spect to all connectives in C. We write ¬∆ for the set containing the negation of
the formulas in ∆. Warning: do not confuse ¬∆ with {¬}∆.
42
It is clear that ∆-morphisms are {∧, ∨}∆-morphisms.
5.28 Proposition For every given set of formulas ∆ and every injective map h : M → N the
following are equivalent
a. h : M → N is a ¬∆-morphism;
b. h−1 : M → N is a ∆-morphism.
43
Chapter 6
Some relational structures
In the first section we prove that theory of dense linear orders without endpoints is
ω-categorical. That is, any two such countable orders are isomorphic. This is an
easy classical result of Cantor. In this chapter we examine Cantor’s construction (a
so-called back-and-forth construction) in great detail. In the second section we apply
the same technique to prove that the theory of the random graph is ω-categorical.
44
M a < b ⇔ N ka < kb for every a, b ∈ dom k.
(When M, N Tlo direction ⇒ suffices.)
6.1 Lemma Fix M Tlo and N Tdlo . Let k : M → N be a finite partial isomorphism and
let b ∈ M. Then there is a partial isomorphism h : M → N that extends k and is defined in
b.
Proof Given a finite partial isomorphism k : M → N define
A− = a ∈ dom(k) : a < b ;
A+ = a ∈ dom(k) : b < a .
The sets A− and A+ are finite and partition dom k, and A− < A+ . As k : M → N
is a partial isomorphism, k[ A− ] < k [ A+ ]. Then in N there is an element c such that
k[ A− ] < c < k [ A+ ]. It is easy to check that setting h = k ∪ hb, ci we obtain the
required extension.
6.2 Corollary Let M Tlo be countable and let N Tdlo . Let k : M → N be a finite partial
isomorphism. Then there is a (total) embedding h : M ,→ N that extends k.
Proof Let h ai : i < ω i be an enumeration of M. Define by induction a chain of finite
partial isomorphisms hi : M → N such that ai ∈ dom hi+1 . The construction starts
with h0 = k. At stage i + 1 we chose any finite partial isomorphism hi+1 : M → N
that extends hi and is defined in ai . This is possible by Lemma 6.1. In the end we
set
[
h = hi .
i ∈ω
It is immediate to verify that h : M ,→ N is the required embedding.
6.3 Exercise Prove that the extension Lemma 6.1 characterizes models of Tdlo among
models of Tlo . That is, if N is a model of Tlo such that the conclusion of Lemma 6.1
holds, then M Tdlo .
We are now ready to prove that any two countable models of Tdlo are isomorphic
which is a classical result of Cantor’s. Actually what we prove is slightly more
general than that. In fact Cantor’s theorem is obtained from the theorem below by
setting k = ∅, which we are allowed to, because all models have the same empty
characteristic (cfr. Remark 5.26).
6.4 Theorem Every finite partial isomorphism k : M → N between countable models of Tdlo
∼
extends to an isomorphism g : M → N.
45
[
g = gi
i ∈ω
We begin by setting g0 = k. The inductive step consists of two half-steps that we
may call the forth-step and back-step. In the forth-step we define gi+1/2 such that
ai ∈ dom gi+1/2 . in the back-step to define gi+1 such that bi ∈ img gi+1
By the extension lemma 6.1 there is a finite partial isomorphism gi+1/2 : M → N that
−1
extends gi and is defined in ai . Now apply the same lemma to extend gi+1/2 :
N → M to a finite partial isomorphism ( gi+1 )−1 : N → M defined in bi .
We also obtain that Tdlo is a complete theory. This is consequence of the following
general fact.
6.7 Exercise Prove that Tdlo is not λ-categorical for any uncountable λ.
6.9 Exercise Let L be the language of strict orders augmented with countably many
constants ci : i ∈ ω . Let T be the theory that extends Tdlo with the axioms
ci < ci+1 for all i. Prove that T is complete. Find three non isomorphic models of
this theory. For N a rightly chosen model of T, prove the statement in Lemma 6.1,
with M any model of T.
6.10 Exercise Show that in Theorem 6.6 the assumption λ ≥ | L| is necessary. (Hint.
Let ν be an uncountable cardinal. The language contains only the ordinals i < ν
as constants. The theory T says that there are infinitely many elements and either
i = 0 for every i < ν, or i 6= j for every i < j < ν. Prove that T is ω-categorical but
incomplete.)
2 Random graphs
Recall that the language of graphs , which in this section we denote by L, contains
only a binary relation r. A graph structure of signature L such that
1. ¬r ( x, x ) irreflexive;
2. r ( x, y) → r (y, x ) symmetric.
46
An element of a graph M is called a vertex or a node . An edge is an unordered
pair of vertices { a, b} ⊆ M such that M r ( a, b). In words we may say that a is
adjacent to b.
A random graph is a graph that also satisfies the following axioms for every n
nt. ∃ x, y, z ( x 6= y 6= z 6= x ) non trivial;
n
^ n
^
for every n ∈ Z+ .
rn . xi 6 = y j → ∃ z r ( xi , z) ∧ ¬r (z, yi )
i,j=1 i =1
The theory of graphs is denoted by Tgph and the theory of random graphs is
denoted by Trg . The scheme of axioms rn plays the same role of density in the
previous section. It says that given two non empty disjoint sets A+ and A− of
cardinality ≤ n there is a vertex z that is adjacent to all vertices in A+ and to no
vertex in A− . Note that it might well be that z ∈ A− , however z ∈ A+ would
contradict 1.
Some readers may doubt if Trg is consistent.
The following is the analogous of Lemma 6.1 for random graphs. Recall that in the
language of graphs a map k : M → N is a partial isomorphism if it is injective and
M r ( a, b) ⇔ N r (ka, kb) for every a, b ∈ dom k.
6.13 Lemma Fix M Tgph and N Trg . Let k : M → N be a finite partial isomorphism and
let b ∈ M. Then there is a partial isomorphism h : M → N that extends k and is defined in
b.
Proof The schema of the proof is the same as in Lemma 6.1, so we use the same
notation. Assume b ∈
/ dom k and define
These two sets are finite and disjoint, then so are k[ A+ ] and k [ A− ]. Then there is a
c such that
^ ^
r (ka, c) ∧ ¬r (ka, c).
a∈ A+ a∈ A−
47
With the same proof of Corollary 6.2 obtain the following.
6.14 Corollary Let M Tgph be countable and let N Trg . Let k : M → N be a finite partial
isomorphism. Then there is a (total) embedding h : M ,→ N that extends k.
The proof of Theorem 6.4 gives the following theorem and its corollary.
6.15 Theorem Every finite partial isomorphism k : M → N between models of Trg extends to
∼
an isomorphism g : M → N.
6.17 Exercise Let a, b, c ∈ N Trg . Prove that r ( a, N ) = r (b, N ) ∩ r (c, N ) occurs only in
the trivial case a = b = c.
6.18 Exercise Prove that for every b ∈ N Trg the set r (b, N ) is a random graph.
Assume N is countable. Is every random graph M ⊆ N of the form r (b, N ) for
some b ∈ N ?
6.19 Exercise Let N be free union of two random graphs. That is, N = N1 t N2 and
r N = r N1 t r N2 , with N1 and N2 some countable random graphs. By t we denote the
disjoint union. Prove that N is not a random graph. Show that N1 is not definable
without parameters. Write a first order sentence ψ( x, y) true if x and y belong to
the same connected component of N. Axiomatize the class K of graphs that are free
union of two random graphs.
6.20 Exercise Prove that Trg is not λ-categorical for any uncountable λ. Hint. Prove that
there is a random graph N of cardinality λ where every vertex is adjacent to < λ
vertices. Compare it with its complement graph (the graph that has edges between
pairs that are non adjacent in N).
6.21 Exercise Prove that Trg is not finitely axiomatizable. Hint. Given a random graph
N and a set P of cardinality n + 1 show that you can add edges to M t P and make
it satisfy axiom rn but not rn+1 .
6.22 Exercise Let A ⊆ N Trg and let ϕ( x ) ∈ L( A), where | x | = 1. Prove that if ϕ( N )
is finite then ϕ( N ) ⊆ A.
6.23 Exercise (Peter J. Cameron) Prove that for every countable graph M the following
are equivalent
1. M is either the infinite complete graph, the infinite empty graph, or the random
graph;
2. if M1 , M2 ⊆ M are such that M1 t M2 = M, then M1 ' M or M2 ' M.
Hint. For 2⇒1 first show that if r ( a, M) = ∅ for some a ∈ M then the graph is null
and if r (b, M ) = M r {b} for some b, then the graph is complete. Clearly, 2 implies
that any finite partition of M contains an element isomorphic to M. It follows thats
48
T
if 2 and there is a finite A such that a∈ A r ( a, M ) = ∅ then the graph is null and if
there is a finite B such that B ∪ b∈ B r (b, M) = M then the graph is complete.
S
Suppose M is not a random graph. Fix some finite, disjoint A and B such that no
c satisfies both r ( A, c) = A and r ( B, c) = ∅. Let M1 = {c : r ( A, c) 6= A} r B and
M2 = B ∪ {c : r ( B, c) 6= ∅} r M1 . This is a partition of M. Now note that
\ [
r ( a, M1 ) = ∅ and r (b, M2 ) = M2 .
a∈ A b∈ B
49
Chapter 7
Fraïssé limits
We introduce Fraïssé limits, aleas homogeneous-universal or generic structures, which
here we call rich models, after Poizat. Rich models generalize the examples in
Chapters 6 and the many more to come.
Elimination of quantifiers is briefly discussed at the end of Section 1. For the time
being we identify quantifier elimination with the property that says that all partial
isomorphisms are elementary maps. Proofs are easier with this notion in mind. The
equivalence with its syntactic counterpart is only proved in Chapter 10, when the
reader is more familiar with arguments of compactness.
1 Rich models.
We now define categories of models and partial morphisms. These are example of con-
crete categories as intended in category theory. However, apart from the name, in
what follows we dispense with all notions of category theory as they would make
the exposition less basic than intended (without providing more technical instru-
ments).
B Warning: the terminology introduced in this section is not standard. In the litera-
ture many details are left implicit. This is generally safe when the category used
is fixed. Here we prefer to be more explicit because, when discussing saturation,
quantifier elimination, and model completeness, it helps to compare different cate-
gories.
A category (of models and partial morphisms) is a class M which is disjoint union
of two classes: Mob and Mhom . The first is the class of objects and contains
structures with a common signature L which we call models . The second is the
class of morphisms and contains (partial) maps between models. We require that
the identity maps are morphisms and that composition of two morphism is again
morphism. This makes M a well-defined category.
For example, M could consist of all models of some theory T0 and of all partial iso-
morphisms between these. Alternatively, as morphisms we could take elementary
maps between models. At a first reading the reader may assume M is as in one of
these two examples. In the general case we need to make some assumptions on M.
7.1 Definition For ease of reference we list together all properties required below
c1. the identity map id A : M → M is a morphism, for any A ⊆ M;
c3. morphisms are invertible maps and the inverse of a morphism is a morphism;
50
The connected component of a model M is the subclass of models N such that
there is any morphism with domain M and codomain N (or vice versa, by c3). By
axiom c1 the restriction of a morphism is a morphism, therefore M and N are in
the same connected component if and only if the empty map ∅ : M → N is a
morphism. If the whole category M consists of one connected component we say
that M is connected .
We call c2 the finite character of morphisms . Note that it implies the following
[
c6. if k i : M → N is a chain of morphisms, then k i : M → N is a morphism.
i <λ
7.2 Definition Assume that M satisfies c1-c3 of Definition 7.1. We say that a model N is
λ-rich if for every model M, every b ∈ M and every morphism k : M → N of cardinality
< λ there is a c ∈ N such that k ∪ {hb, ci} : M → N is a morphism. We say that N is
rich if it is λ-rich for λ = | N |. When Mob = Mod( T0 ) for some theory T0 and Mhom is
clear from the context, we say rich model of T0 .
Rich models are also called Fraïssé limits or homogeneous-universal for a reason that
will soon be clear; they are also called generic. Unfortunately these names are either
too long or too generic, so we opt for the less common term rich that was proposed
by Poizat.
The following two notions are closely connected with richness.
7.3 Definition Assume that M satisfies c1-c3 of Definition 7.1. We say that a model N is
λ-universal if for every model M of cardinality ≤ λ in the same connected component
of N there is an embedding k : M ,→ N. We say that a model N is λ-homogeneous if
every k : N → N of cardinality < λ extends to a bijective morphism h : N ∼ → N (an
automorphism when c4 below holds).
Note that the larger Mhom , the stronger notion of homogeneity. When Mhom contains all
partial isomorphisms between models (the largest class of morphisms considered here), it is
common to say λ-ultrahomogeneous for λ-homogeneous.
As above, when λ = | N | we say universal , homogeneous and ultrahomogeneous .
In Section 6.1 we implicitly used Mob = Mod( Tlo ) and partial isomorphisms as
Mhom . In Section 6.2 we used Mob = Mod( Tgph ) and again partial isomorphisms as
Mhom . Corollary 6.2 proves that every model of Tdlo is ω-rich. Corollary 6.14 claims
the analogous fact for Trg .
In the following we frequently work under the following assumption (even when
not all properties are strictly necessary).
51
7.4 Assumption Assume | L| ≤ λ and suppose that M satisfies c1-c5 of Definition 7.1
The following theorem subsumes both Theorem 6.4 and Theorem 6.15.
7.6 Theorem (Assume 7.4) Let M and N be two rich models of the same cardinality λ. Then
every morphism k : M → N of cardinality < λ extends to an isomorphism.
Proof When λ = ω, we can take the proof of Theorem 6.4 and replace partial isomor-
phism by morphism and the references to Lemma 6.1 by references to Proposition 7.5.
As for uncountable λ, we only need to extend the construction through limit stages.
By c6 we can simply take the union.
7.7 Corollary (Assume 7.4) Then all rich models of cardinality λ in the same connected
component are isomorphic.
It is obvious that λ-rich models are λ-universals and, by Theorem 7.6, they are λ-ho-
mogeneous. These two notions are weaker than richness. For instance, when M is
as in Section 6.2, the countable graph that has no arc is trivially ultrahomogeneous
but it is not universal and a fortiori not rich. On the other hand if we add to a
countable random graph an isolated point we obtain an universal graph which is
not ultrahomogeneous. However, when taken together, these two properties are
equivalent to richness.
Proof Implication 1⇒2 is clear as noted above, so we prove 2⇒1. We use the
characterization of richness given in Proposition 7.5. Let k : M → N be a morphism
such that |k| < | N | and | M | ≤ | N |. As N is universal, there is a total morphism
f : M ,→ N. By c3 the map k ◦ f −1 : N → N is a morphism of cardinality < | N |. By
∼
homogeneity it has an extension to an automorphism h : N → N. It is immediate
that h ◦ f : M ,→ N is the required extension of k.
7.9 Exercise Let N be the structure obtained by adding to a countable random graph
an isolated point. Show that N is homogeneous if morphisms are elementary maps
52
but it is not if morphisms are simply partial isomorphisms.
A consequence of Theorem 7.6 is that morphisms between rich models of the same
cardinality are elementary maps. However, we do not know what happens when
the models have different cardinality or when they are merely λ-rich. Next theorem
extend this property to any pair of λ-rich models.
To test the theorem below in a simple case we propose the following exercise.
7.10 Exercise Every partial isomorphism k : M → N between models of Tdlo (or mod-
els of Trg ) is an elementary map. Hint: use downward Löwenheim-Skolem and
Theorem 6.4.
7.11 Theorem (Assume 7.4) Every morphism between λ-rich models is elementary. In partic-
ular, λ-rich models in the same connected component are elementary equivalent.
Proof Let k : M → N be a morphism between rich models. It suffices to prove that
every finite restriction of k is elementary. By c1, we may as well assume that k itself
is finite. It suffices to construct M0 M and N 0 N together with a morphism
h : M → N that extends k and maps M0 bijectively to N 0 . Then by c5 the map
∼
h : M0 → N 0 is the composition of morphisms, hence it is a morphism. Finally, by
c4, it is an isomorphism, in particular an elementary map.
We construct simultaneously a chain h Ai : i <λi of subsets of M, a chain h Bi : i <λi
of subsets of N, and a chain functions hhi : i <λi such that hi : M → N are mor-
phisms, dom hi ⊆ Ai and img hi ⊆ Bi . In the end we set
M0 = N0 =
[ [ [
Ai , Bi , h = hi .
i <λ i <λ i <λ
We interweave the Löwenheim-Skolem constraction 2.40 with the usual back-and-
forth-argument.
The chains start with A0 = dom k, B0 = img k and h0 = k. At limit stages we
take the union. Now we consider successor stages. Fix some enumerations of M
and N. At stage i + 1 we also fix some enumerations of Ai , Bi , L x ( Ai ), and L x ( Bi ),
where | x | = 1. Let hi1 , i2 i be the i-th pair of ordinals < λ. If the i2 -th formula in
L x ( Ai1 ) is consistent in M, pick any solution a. Also, if the i2 -th formula in L x ( Bi1 )
is consistent in N, pick any solution b. Let a0 be the i2 -th element of Ai1 and let b0
be the i2 -th element of Bi1 .
Let hi+1 : M → N be an extension of hi such that dom hi+1 = dom hi ∪ a0 and
0
img hi+1 = img hi ∪ b . Note that the latter requirement is met applying Proposi-
tion 7.5 to hi−1 : N → M. Define Ai+1 = Ai ∪ a, hi−+11 b0 and Bi+1 = Bi ∪ b, hi+1 a0 .
The theory of rich models of M is the set T1 of sentences that hold in all rich mod-
els (or equivalently | L|-rich models), assuming they exist. By the theorem above, T1
53
is complete as soon as M is connected.
Assume for simplicity that L is countable and that M is connected. Then all ω-rich
models belong to Mod( T1 ) for some complete theory T1 . It is interesting to ask
if the converse is true: if T1 is the theory of the ω-rich models of M, do all mod-
els in M ∩ Mod( T1 ) are rich? The answer is affirmative when T1 is either Tdlo or
Trg , but this is not always the case, see Example 7.15 for an easy counterexample.
An affirmative answer implies that the theory of rich models is ω-categorical. An
interesting variant of this question is considered in Theorem 9.8.
For convenience of the reader, we instantiate Theorem 7.11 with the two categories
used in Chapter 6.
7.12 Corollary Partial isomorphisms between models of Tdlo and between models of Trg are
elementary maps.
When partial isomorphism between models of a given theory T coincide with ele-
mentary maps, it is always by a fundamental reason. Let us introduce some termi-
nology. Let T be a consistent theory. We say that T has (or admits) elimination of
quantifiers if for every ϕ( x ) ∈ L there is a quantifier-free formula ψ( x ) ∈ Lqf such
that
T ` ψ ( x ) ↔ ϕ ( x ).
We will discuss general criteria for elimination of quantifiers in Chapter 10, see for
instance Corollary 10.11 and 10.12. Here we report without proof the following
theorem.
For the time being when saying that T has quantifier elimination we intend 2 of the
theorem above. For instance we rephrase Corollary 7.12 above as follows.
7.14 Corollary The theories Tdlo and Trg have elimination of quantifiers.
In the next chapter we introduce important examples of ω-rich models that do not
have an ω-categorical theory. These are algebraic structures (groups, fields etc.)
hence more complex than pure relational structures. So, we conclude this section
with an example of this phenomenon in almost trivial context.
7.15 Example Let L contain a unary predicate rn for every positive integer n. The theory
T0 contains the axioms ¬∃ x rn ( x ) ∧ rm ( x ) for n 6= m and ∃≤n x rn ( x ) for every n.
Work in the the category of models of T0 and partial isomorphisms. Let T1 be the
theory that extends T0 with the axioms ∃=n x rn ( x ) for every n. Let q( x ) be the type
¬rn ( x ) : n ∈ ω . There are models of T1 that do not realize q( x ), hence T1 is not
ω-categorical. It is easy to verify that the following are equivalent.
1. N is an ω-rich model;
2. N T1 and q( N ) is infinite.
54
The reader may use Theorem 7.11 and Compactess Theorem for Types 4.9 to prove
that T1 is complete and has elimination of quantifiers. It is also easy to verify that
every uncountable model of T1 is rich and consequently that T1 is uncountably
categorical.
7.16 Exercise Let T0 and M be as in Example 7.15 except that we restrict the language
to the relations r0 , . . . , rn for a fixed n. Do ω-rich models of T0 exist? Is their theory
ω-categorical? What if we add to T0 the axiom r0 ( x ) ∨ · · · ∨ rn ( x ) ?
7.17 Exercise The language contains only the binary relations < and e. The theory T0
says that < is a strict linear order and that e is an equivalence relation. Let M
consists of models of T0 and partial isomorphisms. Do rich models exist? Can we
axiomatize their theory? Is it ω-categorical?
7.18 Exercise The language contains only two binary relations. The theory T0 says that
they are equivalence relations. Let M consists of models of T0 and partial isomor-
phisms. Do rich models exist? Can we axiomatize their theory? Is it ω-categorical?
7.19 Exercise In the language of graphs let T0 say that there are no cycles (equivalently,
there is at most one path between any two nodes). In combinatorics these graphs
are called forests, and their connected components are called trees. Let M consists of
models of T0 and partial isomorphisms. Do rich models exist? Can we axiomatize
their theory? Is it ω-categorical?
7.21 Exercise (Assume 7.4) Prove that any weakly λ-homogeneous structure of cardi-
nality λ is homogeneous.
7.22 Definition We say that a structure N is weakly λ-universal if for every model M in
the connected component of N and every A ⊆ M of cardinality < λ there is a morphism
k : M → N such that A ⊆ dom k.
7.23 Lemma (Assume 7.4) Let N be a weakly λ-homogeneous model. Let A ⊆ N have cardi-
nality ≤ λ and let k : N → N be a morphism of cardinality < λ. Then there is a model
∼
M N containing A and an automorphism h : M → M that extends k.
55
Proof Similar to the proof of Theorem 7.11. We shall construct simultaneously a
chain h Ai : i < λi of subsets of N and a chain functions hhi : i < λi, such that
hi : N → N are morphisms. In the end we will set
[ [
M = Ai and h = hi
i <λ i <λ
The chains start with A0 = A ∪ dom k ∪ img k and h0 = k. As usual, at limit
stages we take the union. Now we consider successor stages. At stage i we fix
some enumerations of Ai and of L x ( Ai ), where | x | = 1. Let hi1 , i2 i be the i-th pair
of ordinals < λ. If the i2 -th formula in L x ( Ai1 ) is consistent in N, let a be any
of its solutions. Also let b be the i2 -th element of Ai1 . Let hi+1 : N → N be a
minimal morphism that extends hi and is such that b ∈ dom hi+1 ∩ img hi+1 . Define
Ai+1 = Ai ∪ a, hi+1 b, hi−+11 b .
7.24 Theorem (Assume 7.4) For every model N the following are equivalent
1. N is λ-rich;
Proof Implication 1⇒2 is clear. To prove 2⇒1 we generalize the proof of Theo-
rem 7.8. We assume 2 fix some morphism k : M → N of cardinality < λ and let
b ∈ M. By weak λ-universality there is a morphism f : M → N with domain of
definition dom k ∪ b . The map f ◦ k−1 : N → N has cardinality < λ and, by
∼
Lemma 7.23, it has an extension to an automorphism h : N 0 → N 0 for some N 0 N
containing img k ∪ img f . Then h ◦ f : M → N extends k and is defined on b.
f1
M1 g1
M N
f1 g2
M2
k
N id N
M g N0
56
7.25 Proposition Assume c3, then the following are equivalent
1. M has the amalgamation property;
id M g2
M g2 N0
M
M f 2 ◦ f 1−1 N0
f2 id M2
M2
as required.
We say that h Mi : i < λi is a ≤-chain if Mi ≤ M j for all i < j < λ. For the next
theorem to hold we need the following property:
The following is a general existence theorem for rich models. This general form
requires large cardinalities. We leave to the reader to verify that if the number if
finite morphisms is countable (up to isomorphism) then countable rich models exit.
7.27 Theorem Assume 7.4. Assume further c7 and that M has the amalgamation property. Let
λ be such that | L| < λ = λ<λ . Then there is a rich model N of cardinality λ.
Proof We construct N as union of a ≤-chain of models h Ni : i < λi such that
| Ni | = λ. Let N0 be any model of cardinality λ. At stage i + 1, let f : M → Ni be the
least morphism (in a well-ordering that we specify below) such that | f | ≤ | M| < λ
and f has no extension to an embedding f 0 : M ,→ Ni . Apply the amalgamation
property to obtain an total morphism f 0 : M ,→ N 0 that extends f : M → Ni . By the
downword Löwenheim-Skolem Theorem we may assume | N 0 | = λ. Let Ni+1 = N 0 .
At limit stages take the union.
The well-ordering mentioned needs to be chosen so that in the end we forget no-
body. So, first at each stage we well-order the isomorphism-type of the morphisms
f : M → Ni such that f ≤ | M | < λ. Then the required well-ordering is obtained by
57
dovetailing all these well-orderings. The length of this enumeration is at most λ<λ ,
which is λ by hypothesis.
We check that N is rich. Let f : M → N be a morphism and | f | < | M| ≤ λ. As
| L| < λ we can approximate M with an elementary chain of structures of cardinality
< λ. Hence we may as well assume that | f | ≤ | M| < λ. The cofinality of λ is larger
than | f |, hence img f ⊆ Ni for some i < λ. So f : M → Ni is a morphism and at
some stage j we have ensured the existence of an embedding of f 0 : M ,→ Nj+1 that
extends f .
7.28 Proposition Let M consist of all structures of some fixed signature and the elementary
maps between these. Then M has the amalgamation property.
Proof Let k : M → N be an elementary map. Let a enumerate dom k and let b
enumerate M. Let p( x ; z) = tp M (b ; a). The type p( x ; a) is consisent in M, in
particular, it is finitely consistent and, by elementarity, p( x ; ka) is finitely consistent
in N. By the compactness theorem, there is N 0 N such that N 0 p(c ; ka) for
some c ∈ N 0| x| . Hence g = {hb, ci} : M → N 0 is the required elementary map that
extends k : M → N.
58
Chapter 8
Some algebraic structures
The main result in this chapter is Corollary 8.24, the elimination of quantifiers in
algebraically closed fields, which in algebra is called Chevalley’s Theorem on con-
structible sets. From it we derive Hilbert’s Nullstellensatz 8.24. Finally, we isolate
the model theoretic properties of those types that correspond to the algebraic no-
tions of prime and radical ideal of polynomials.
The first sections of this chapter are not a pre-requisite for Sections 4 – 7, at the cost
of a few repetitions in the latter.
1 Abelian groups
In this section the language L is that of additive groups. The theory Tag of
abelian groups is axiomatized by the universal closure of the following axioms
a1 ( x + y) + z = y + ( x + z);
a2 x + (− x ) = (− x ) + x = 0;
a3 x + 0 = 0 + x = x;
a4 x + y = y + x.
Let x be a tuple of variables of length α, an ordinal. We write Lter,x for the set
of terms t( x ) with free variables among x. On this set we define the equivalence
relation
t( x ) ∼ s( x ) = Tag ` t( x ) = s( x ).
We define the group operations on Lter,x /∼ in the obvious way. We denote by Z⊕α
the set of tuples of integers of length α that are almost always 0. The group oper-
ations on Z⊕α are defined coordinate-wise. The following immediate proposition
implies in particular that Lter,x /∼ is isomorphic to Z⊕α .
8.2 Proposition Let A ⊆ M Tag . Then for every formula ϕ( x ) ∈ Lat( A) there are n ∈ Z⊕α
and c ∈ h Ai M such that
` ϕ( x ) ↔ ∑ ni xi = c.
i <α
59
where n = hni : i < αi and x = h xi : i < αi.
Proof Up to equivalence over Tag the formula ϕ( x ) has the form s( x ) = t( a) for
some parameter-free terms s( x ) and t(z). Over Diag h Ai M , we can replace t( a) with
a single c ∈ h Ai M and write s( x ) as the linear combination shown above.
8.3 Definition Let M Tag . For A ⊆ M and c ∈ M. We say that c is independent from A
if h Ai M ∩ hci M = 0 . Otherwise we say that c is dependent from A . The rank of M is
the least cardinality of a subset A ⊆ M such that all elements in M are dependent from A.
We denote it by rank( M) .
Note that when M is a vector space the condition h Ai M ∩ hci M = 0 is equivalent
to saying that c is not a linear combination of vectors in A. Then rank M coincides
with the dimension of M. In fact, what we do here for abelian groups could be
easily generalized to D-modules, where D is any integral domain, and in particular
to vector spaces.
The following proposition gives a convenient syntactic characterization of indepen-
dence. An element c of a group is called nilpotent , or in abelian groups also a
torsion element , if cn = 0 for some n.
8.4 Proposition Let A ⊆ M Tag . Let c ∈ M be not a torsion element. Then the following
are equivalent.
1. h Ai M ∩ hci M = 0 ;
60
st nx = 0 → x = 0.
We denote this theory by Ttfag . It is not difficult to see that in a torsion-free abelian
group every equation of the form nx = a has at most one solution.
8.7 Proposition Let A ⊆ M Ttfag . Let p( x ) = at± -tp(b/A), where b ∈ M. Then one of
the following holds:
1. b is independent from A;
Note the similarity with Example 7.15, where the independent type is q( x ) and the
isolating formulas are the ri ( x ).
It is important to observe that the set A above may be infinite. This is essential to
obtain Corollary 8.11, and it is one of the main differences between this example
and the examples encountered in Chapter 6.
Proof If b is dependent from A, then b satisfies a non trivial atomic formula ϕ( x )
which we claim is the formula required in 2. It suffices to show that ϕ( x ) implies
a complete Lat±( A)-type. Clearly this type must be p( x ). Let ϕ( x ) have the form
nx = a for some n ∈ Z r {0} and a ∈ h Ai M r {0}. We show that for every m ∈ Z
and every c ∈ h Ai M one of the following holds
a. ` nx = a → mx = c;
b. ` nx = a → mx 6= c.
Suppose not for a contradiction that neither a nor b holds and fix models N1 , N2
and some bi ∈ Ni such that
a’. N1 nb1 = a and N1 mb1 6= c;
61
8.8 Proposition Let A ⊆ M Ttfag and let ϕ( x ) ∈ Lat( A), where | x | = 1, be consistent.
Then N ∃ x ϕ( x ) for every model N Tdag .
Note that in the proposition above consistent means satisfied in some M0 such that
h Ai M ⊆ M0 Ttfag .
The claim in the proposition holds more generally for all ϕ( x ) ∈ Lqf and also when
x is a tuple of variables. This follows from Lemma 8.10, whose proof uses the
proposition.
Proof We can assume that ϕ( x ) has the form nx = a for some n ∈ Z and some
a ∈ h Ai M . If n = 0, then a = 0 since ϕ( x ) is consistent, and the claim is trivial. If
n 6= 0 then by consistency a 6= 0, hence a solution exist in N by axiom div.
8.9 Exercise Prove a converse of Proposition 8.8. Let A ⊆ N Tag and let x be a
single variable. Prove that if N ∃ x ϕ( x ) for every consistent ϕ( x ) ∈ Lat( A), then
N Tdag .
We are ready to prove that divisible abelian groups of infinite rank are ω-rich.
8.11 Corollary Every uncountable model of Tdag is rich in the category of models of Ttfag and
partial isomorphisms. In particular Tdag is uncountably categorical, complete, and has
quantifier elimination.
Proof Any uncountable N Tdag has rank | N |, therefore it is rich by Lemma 8.10;
categoricity and completeness follow. As for quantifier elimination, let k : M → N
is a partial isomorphism between models of Tdag . If M M0 and M N 0 are ele-
mentary superstructures of uncountable cardinality then k : M0 → N 0 is elementary
by Theorem 7.11 and this suffices to conclude that k : M → N is elementary.
62
4 Commutative rings
In this section L is the language of (unital) rings . It contains two constants 0 and
1 the unary operation − and two binary operations + and ·. The theory of rings
contains the following axioms
a1-a4 as for abelian groups
r2 1· x = x ·1 = x,
r3 ( x + y)·z = x ·z + y·z,
r4 z·( x + y) = z· x + z·y.
8.13 Proposition Let A ⊆ M Tcr and let x be a single variable. Then for every formula
ϕ( x ) ∈ Lat( A) there is a unique n < ω and a unique tuple h ai : i ≤ ni of elements of
h Ai M such that an 6= 0 and
` ϕ( x ) ↔ ∑ ai x i = 0.
i ≤n
8.15 Remark Remark 8.5 holds here with ‘independent’ replaced by ‘transcendent’ and
Tag replaced by Tcr .
63
5 Integral domains
Let a ∈ M T. We say that a is a zero divisor if a b = 0 for some b ∈ M r {0}.
An integral domain is a commutative ring without zero divisors. The theorey of
integral domains contains the axioms of commutative rings and the following
nt. 0 6= 1
id. x ·y = 0 → x = 0 ∨ y = 0.
8.16 Proposition Let M Tid be uncountable. Then M has transcendence degree | M|.
Proof In an integral domain every polynomial has finitely many solutions and there
are | L( A)| polynomials over A.
8.17 Proposition Let A ⊆ M Tid . For b ∈ M let p( x ) = at± -tp(b/A). Then one of the
following holds
1. b is transcendental over A;
Note the similarity with Example 7.15, where the transcendental type is q( x ) and
the isolating formulas are the ri ( x ).
As in Proposition 8.7, the set A may be infinite. This is essential to obtain Corol-
lary 8.20.
Proof Suppose b is not transcendental, i.e. it satisfies a non trivial atomic formula.
Let ϕ( x ) ∈ Lat( A) be a non trivial formula with minimal degree such that ϕ(b). We
prove that ϕ( x ) implies a complete Lat±( A)-type. Clearly this type must be p( x ).
We prove that for any ξ ( x ) ∈ Lat( A) one of the following holds
1. ` ϕ( x ) → ξ ( x )
2. ` ϕ ( x ) → ¬ ξ ( x ).
Let us write a( x ) = 0 and a0 ( x ) = 0 for the formulas ϕ( x ) and ξ ( x ), respectively.
Let n be the degree of the polynomial a( x ). If h Ai M is a field, choose a polynomial
d( x ) of maximal degree such that
a. d( x )t( x ) = a( x )
a’. d( x )t0 ( x ) = a0 ( x ),
64
to obtain two polynomials c( x ) and c0 ( x ) such that d = a( x )c( x ) + a0 ( x )c0 ( x ). Then
a( x ) and a0 ( x ) have no common zeros, and 2 follows. If h Ai M is not a field, we use
Bézout’s identity in the field of fractions of h Ai M and, for some d0 ∈ h Ai M r 0 ,
Fields are structures in the signature of rings: the language contains no symbol for
the multiplicative inverse. So, substructures of fields are merely integral domains.
The theory of algebraically closed field , which we denote by Tacf , also contains
the following axioms for every positive integer n
ac. ∃ x x n + zn−1 x n−1 + · · · + z1 x + z0 = 0
This not a complete theory because it does not decide the characteristic of the field.
p
For a prime p, we define the theory Tacf , which contains Tacf and the axiom
ch p . 1 + . . . (p times) · · · + 1 = 0.
0 contains the negation of ch for all p. Note that all models of T p
The theory Tacf p acf
have the same characteristic in the model theoretic sense defined in 5.27. In fact,
any two fields M and N with the same (algebraic) characteristic have isomorphic
prime subfield, that is, h∅i M ' h∅i N .
8.18 Proposition Let A ⊆ M Tid and let ϕ( x ) ∈ Lat( A), where | x | = 1, be consistent.
Then N ∃ x ϕ( x ) for every model N Tacf .
Note that in the proposition above consistent means satisfied in some M0 such that
h Ai M ⊆ M0 Tid .
The claim in the proposition holds more generally for all ϕ( x ) ∈ Lqf when x is a
tuple of variables. This follows from Lemma 8.19 whose proof uses the proposition.
Proof Up to equivalence ϕ( x ) has the form an x n + · · · + a1 x + a0 = 0 for some
ai ∈ h Ai N . Choose n minimal. If n = 0 then a0 = 0 by the consistency of ϕ( x ) and
the claim is trivial. Otherwise an 6= 0 and the claim follows from f and ac.
8.19 Lemma Let k : M → N be a partial isomorphism of cardinality < λ, where M Tid and
N Tacf has transcendence degree ≥ λ. Then for every b ∈ M there is c ∈ N such that
k ∪ hb, ci : M → N is a partial isomorphism.
The following is the proof of Lemma 8.10 which we have pasted here for the sake
of the lazy reader.
Proof Let a be an enumeration of dom k and let p( x ; z) = at± -tp M (b ; a). The
required c has to realize p( x ; ka). We consider two cases. If b is algebraic over a,
then Proposition 8.17 yields a formula ϕ( x ; z) ∈ Lat such that
65
i. ϕ( x ; a) → p( x ; a)
ii. ϕ( x ; a) is consistent.
By isomorphism i and ii hold with a replaced by ka. Then by Proposition 8.18 the
formula ϕ( x ; ka) has a solution in c ∈ N.
The second case, which has no analogue in Lemma 6.1, is when b is transcendent
over a. Then by Remark 8.15 we may choose c to be any element of N transcendent
over ka. This exists because N has transcendence degree ≥ λ.
p
8.20 Corollary Every uncountable model of Tacf is rich in the category of integral domains of
p
characteristic p and partial isomorphisms. In particular Tacf is uncountably categorical, and
it is complete. Moreover, Tacf has quantifier elimination.
7 Hilbert’s Nullstellensatz
In this section we fix a tuple of variables x and a subset A of an integral domain.
We denote by ∆( A) the set of formulas of the form t( x ) = 0 where t( x ) is a term
with parameters in A. So ∆( A)-types are (possibly infinite) systems of polynomial
equations with coefficients in h Ai M .
For convenience we define the closure of p( x ) under logical consequences as follows
n o
ccl p( x ) = t( x ) = 0 : p( x ) ` t( x )=0
Remember that we always work under the assumptions made in Notation 8.1. In
particular, in this section we work over the theory Tid ∪ Diagh Ai M . In general,
closure under logical consequences is an elusive notion. Hence Propositions 8.22
and 8.23 are useful because they give a model theoretical, respectively algebraic,
characterisation of ccl p( x ).
8.22 Proposition Let A ⊆ M Tid and let p( x ) be a ∆( A)-type. Fix some N of sufficiently
large cardinality such that h Ai M ⊆ N Tacf . Then
n o
ccl p( x ) = t( x ) = 0 : N ∀ x p( x ) → t( x )=0 .
It suffices to choose N such that | A| < | N | and | x | ≤ | N |; note that x has pos-
sibly infinite length. In Corollary 8.24 below we will considerably strengthen this
proposition for finite x.
66
Proof Only the inclusion ⊇ requires a proof. Fix some polynomial t( x )=0 ∈ /
ccl p( x ). Then p( x ) ∧ t( x ) 6= 0 is consistent, so there is a model M0 such that
|x|
M0 p( a) ∧ t( a) 6= 0 for some a ∈ M0 . Then there is a partial isomorphism
h : M0 → N that extends id A and is defined on a, provided N is large enough to
accommodate a. This implies that p( x ) ∧ t( x ) 6= 0 has a solution in N. Hence t( x )
does not belong to the set on the r.h.s.
Recall that A[ x ] denotes the ring of polynomials with variables in x and coefficients
in h Ai M . We identify ∆( A) nd A[ x ] in the obvious way. Consequently, a ∆( A)-type
p( x ) is identified with a set of polynomials p ⊆ A[ x ]. For p ⊆ A[ x ] we write rad p
for the radical ideal generated by p , that is, the intersection of all prime ideals
containing p. When p = rad p, we say that p is a radical ideal . Recall from algebra
that if p ⊆ A[ x ] is an ideal then
n o
# rad p = t( x ) : tn ( x ) ∈ p for some positive integer n .
8.23 Proposition Let A ⊆ M Tid and let p( x ) be a ∆( A)-type. Then ccl p( x ) ' rad p.
The proposition holds with a similar proof for the broader class of rings without
nilpotent elements. (Which does not come as a surprise.)
Proof (⊇) We claim that ccl p( x ) is an ideal. In fact, for every pair of L( A)-terms
t( x ) and s( x )
t( x ) = 0 ` s( x )t( x ) = 0
s( x ) = t( x ) = 0 ` s( x ) + t( x ) = 0
Moreover, as integral domains do not have nilpotent elements
tn ( x ) = 0 ` t( x ) = 0
By # above, ccl p( x ) is a radical ideal which proves ccl p( x ) ⊇ rad p.
(⊆) We fix some t( x ) ∈ / rad p and prove that p( x ) ∧ t( x ) 6= 0 is consistent. Let q
be some prime ideal containing p such that t( x ) ∈
/ q. As q is prime, the ring A[ x ]/q
is an integral domain. The polynomials that vanish in A[ x ]/q at x + q are exactly
those in q. Hence A[ x ]/q witnesses the consistency of q( x ) ∧ t( x ) 6= 0.
When x is a finite tuple of variables, we can extend the validity of Proposition 8.22
to the case A = M = N.
8.24 Corollary (Hilbert’s Nullstellensatz) Let N Tacf and let p( x ), where | x | < ω, be a
∆( N )-type. Then
n o
rad p ' ccl p( x ) = t ( x ) : N ∀ x [ p ( x ) → t ( x ) = 0] .
Hilbert’s Nullstellensatz comes in two variants. The one in Corollary 8.24 is some-
times referred to as the strong Nullstellensatz. The weaker variant is stated in Exer-
cise 8.26.
67
We conclude this section by showing that the notions of primeness for types and
ideals coincide (if we restrict to types closed under logical consequences).
8.25 Proposition Let A ⊆ M Tid and let p( x ) be a ∆( A)-type closed under logical conse-
quences. Then the following are equivalent
1. p( x ) is a prime ∆( A)-type;
2. p is a prime ideal.
8.26 Exercise Let N Tacf and let p( x ) be a ∆( N )-type where | x | < ω. Prove that the
following are equivalent
1. p is a proper ideal;
2. p( x ) has a solution in N.
8.27 Exercise Let A ⊆ M Tid and let p( x ) be a ∆( A)-type. Prove that the following
are equivalent
1. p( x ) is a principal ∆( A)-type;
68
Chapter 9
Saturation and homogeneity
The first two section introduce saturation and homogeneity and Section 3 presents
the notation we shall use in the following chapters when working inside a monster
model.
1 Saturated structures
Recall that a type p( x ) ⊆ L( M) is finitely consistent in M if every ϕ( x ), conjunc-
tion of formulas in p( x ), has a solution in M. When A ⊆ M we write Sx ( A) for the
set of types that are complete and finitely consistent in M. We never display M in
the notation as it will always be clear from the context. When A is empty it usual
to write Sx ( T ) for Sx ( A) where T = Th( M ). We write S( A) for the union of Sx ( A)
as x ranges over all tuples of variables. Similarly for S( T ).
The following remark will be used in the sequel without explicit reference.
9.2 Definition Let x be a single variable and let λ be an infinite cardinal. We say that a
structure N is λ-saturated if it realizes every type p( x ) such that
1. p( x ) ⊆ L( A) for some A ⊆ N of cardinality < λ;
2. p( x ) is finitely consistent in N.
9.3 Exercise Suppose | L| ≤ ω and let M be an infinite structure. Then for every
non-principal ultrafilter F on ω the structure Mω /F is a ω1 -saturated elementary
superstructure of M.
Hint: the notation is as in Chapter 3. Let | x | = 1 and |z| = ω. It suffices to consider
the types form p( x ; ĉ) where p( x ; z) = ϕi ( x ; z) : i < ω ⊆ L and ĉ ∈ ( Mω )|z| .
Without loss of generality we can also assume that ϕi+1 ( x ; z) → ϕi ( x ; z), and that
all formulas ϕi ( x ; ĉ) are consistent in Mω .
Let h Xi : i < ω i be a strictly decreasing chain of elements of the ultrafilter such that
Xi+1 ⊆ j : M ∃ x ϕi ( x, ĉj) . Let â ∈ Mω be such that ϕi ( âj, ĉj) holds for every
j ∈ Xi r Xi+1 . Then â realizes p( x ).
9.4 Theorem Assume | L| < λ where λ is be such that λ<λ = λ. Then every structure M of
cardinality λ has a saturated elementary extension of cardinality λ.
Proof We construct an elementary chain h Mi : i < λi of models of cardinality λ.
The chain starts with M and is the union at limit stages. Given Mi we choose as
69
Mi+1 any model of cardinality λ that realizes all types in Sx ( A) for all A ⊆ Mi of
cardinality < λ. The required Mi+1 exists because there are 2| L( A)| ≤ λ types in
Sx ( A) and there are λ<λ = λ sets A.
Let N be the union of the chain. We check that N is the required extension. Let
p( x ) ∈ S( A) for some A ⊆ N of cardinality < λ. As λ is a regular cardinal, A ⊆ Mi
for some i < λ. Then Mi+1 realizes p( x ), and so does N, by elementarity.
9.5 Theorem Assume | L| ≤ λ and let N be an infinite structure. Let M be the category (see
Section 7.1) that consists of models of a compete theory T and elementary maps between
these. Then the following are equivalent
1 N is a λ-saturated structure;
2 N is a λ-rich model;
3 N realizes all types p(z) ⊆ L( A), with |z| ≤ λ and | A| < λ, finitely consistent in N.
Two saturated structures of the same cardinality are isomorphic as soon as they are
elementarily equivalent (i.e. as soon as ∅ : M → N is an elementary map.) In fact,
from Theorem 9.5 and 7.6 we obtain the following.
70
in Chapter 6 and 8.
9.8 Theorem Assume | L| ≤ λ. Consider the category that consists of models of some theory
T0 and partial isomorphism. Suppose λ-rich models exist and denote by T1 their theory.
Then the following are equivalent
1. every λ-saturated model of T1 is λ-rich;
2 Homogeneous structures
Definition 7.3 introduces the notion of universal and homogeneous structures a
the general context. When the morphisms of the underlying category are the ele-
mentary maps we refer to these notion as elementary homogeneity and elementary
universality. Though one often omits to specify elementary. We repeat the definition
in this particular case.
As saturated structure are rich, the following theorem is an instance of Theorem 7.8.
9.10 Theorem For every structure N of cardinality ≥ | L| the following are equivalent
1. N is saturated;
71
Orbits are particularly interesting if taken in a homogeneous structure. The follow-
ing proposition is immediate but its importance cannot be overestimated.
9.11 Proposition Let N be a λ-homogeneous structure. Let A ⊆ N have cardinality < λ and
let a ∈ N <λ . Then O N ( a/A) = p( N ), where p( x ) = tp N ( a/A).
The following is an instance of Theorem 7.24 that the reader may prove directly as
an exercise.
9.15 Exercise Let M and N be elementarily homogeneous structures of the same cardi-
nality λ. Suppose that M ∃ x p( x ) ⇔ N ∃ x p( x ) for every p( x ) ⊆ L such that
| x | < λ. Prove that the two structures are isomorphic.
9.16 Exercise Let L be a language that extends that of strict linear orders with the con-
stants {ci : i ∈ ω }. Let T be the theory that extends Tdlo with the axioms ci < ci+1
for every i ∈ ω. Prove that T has elimination of quantifiers and is complete (it can
be deduced from what is known of Tdlo ). Exhibit a countable saturated model and
a countable model that is not homogeneous.
72
Some terms acquire a slightly different meaning when working inside a monster
model.
global types are complete types over U; the set of global types is denoted
by S(U);
definable sets are sets of the form ϕ(U) for some formula ϕ( x ) ∈ L(U); we
may say A-definable if ϕ( x ) ∈ L( A);
type-definable sets are sets of the form p(U) for some p( x ) ⊆ L( A) where, as the
symbol suggests, A has small cardinality;
types of tuples we write tp( a/A) for tpU ( a/A) and a ≡ A b for U, a ≡ A U, b;
orbits of tuples under the action of Aut (U/A) are denoted by O( a/A).
73
9.17 Proposition (mutual normality) Let p( x ) ⊆ L( A) and q( x ) ⊆ L( B) be such that
p( x ) → ¬q( x ). Then there are ϕ( x ), conjuction of formulas in p( x ), and ψ( x ), conjuction
of formulas in q( x ), such that ϕ( x ) → ¬ψ( x ).
Proof The assumptions say that p( x ) ∧ q( x ) is inconsistent. Then the formulas ϕ( x )
and ψ( x ) exist by compactness (i.e. saturation).
9.18 Remark There are many forms in which the proposition above can be applied.
For instance, assuming for brevity that p( x ) and q( x ) are closed under conjunc-
tions,
a. if p( x ) ↔ ¬q( x ) then p( x ) ↔ ϕ( x ) for some ϕ( x ) ∈ p( x );
A definable set as the form ϕ(U ; b) for some formula ϕ( x ; z) ∈ L and some b ∈ U|z| .
If f ∈ Aut (U/A) then
f ϕ (U ; b ) = a ∈ U| x |
f a : ϕ ( a ; b ),
f a : ϕ ( f a ; f b ), a ∈ U| x |
=
= ϕ (U ; f b ).
Hence automorphisms act on definable sets in a very natural way. Their action of
type-definable sets is similar.
We say that a set D ⊆ U| x| is invariant over A if f [D] = D for every f ∈ Aut (U/A).
Equivalently, if O( a/A) ⊆ D for every a ∈ D. By homogeneity this is equivalent to
requiring that q( x ) → x ∈ D for every q( x ) = tp( a/A) where a ∈ D.
Proposition 9.21 below an important fact about invariant type-definable sets. It may
clarify the proof to consider first the particular case of definable sets.
where q( x ) above range over all types in Sx ( A). By compactness, we can rewrite
this equivalence
_
ϕ( x ) ↔ ϑ( x)
ϑ ( x )→ ϕ( x )
where ϑ ( x ) ranges over all formulas in L( A). This latter equivalence says that ¬ ϕ( x )
74
is equivalent to a type over A. Again by compactness we obtain
n
_
ϕ( x ) ↔ ϑi ( x )
i =1
for some formula ϑi ( x ) ∈ L( A).
Second proof of Proposition 9.19 2⇒1 Let ϕ(U ; b), where ϕ( x ; z) ∈ L, be a for-
mula invariant over A. Let p(z) = tp(b/A). As f [ ϕ(U ; b)] = ϕ(U ; f b) for every
f ∈ Aut (U/A), homogeneity and invariance yield
p(z) → ∀ x ϕ( x ; z) ↔ ϕ( x ; b) .
By compactness there is a formula ϑ (z) ∈ p such that
ϑ (z) → ∀ x ϕ( x ; z) ↔ ϕ( x ; b) .
Hence ϕ(U ; b) is defined by the formula ∃z ϑ (z) ∧ ϕ( x ; z) , which is a formula in
L( A) as required.
We give two proofs of this theorem. The second one requires Proposition 9.22 below.
Proof 1⇒2 Obvious.
2⇒1 It suffices to show that for every formula ψ( x ) ∈ p( x ) there is a formula
ϕ( x ) ∈ L( A) such that p( x ) → ϕ( x ) → ψ( x ). Fix ψ( x ) ∈ p( x ). By invariance, any
q( x ) ∈ S( A) consistent with p( x ) implies p( x ), hence
_
p( x ) → q( x ) → ψ( x )
q( x )→ψ( x )
where q( x ) above range over all types in Sx ( A). By compactness we can rewrite
this equivalence as follows
_
p( x ) → ϑ( x ) → ψ( x )
ϑ ( x )→ψ( x )
where ϑ ( x ) ranges over all formulas in L( A). Applying mutual normality (Propo-
sition 9.17) to the first implication we obtain a finite number of formulas ϑi ( x ) such
that
n
_
p( x ) → ϑi ( x ) → ψ ( x ) .
i =1
This completes the proof.
The following easy proposition is very useful. Its proof is left to the reader. Note
75
that it would not hold without saturation saturation: for instance, consider R as
a structure in the language of strict orders and let q( x, y) = tp(−1, 0 / A), where
A = {1/n : 0 < n}. By quantifier elimination, −1 ≡ A 0. But 0 2 ∃y q( x, y).
9.23 Exercise Let p( x ) ⊆ L( A), with | x | < ω. Prove that if p(U) is infinite then it has
cardinality κ. Show that this may not be true if x is an infinite tuple.
then it has cardinality κ. Does the claim remains true with a type p( x, y) ⊆ L( A)
for ϕ( x, y)?
9.25 Exercise Let ϕ( x ; y) ∈ L(U). Prove that the following are equivalent
1. there is a sequence h ai : i ∈ ω i such that ϕ(U ; ai ) ⊂ ϕ(U ; ai+1 ) for every i < ω;
2. there is a sequence h ai : i ∈ ω i such that ϕ(U ; ai+1 ) ⊂ ϕ(U ; ai ) for every i < ω.
9.26 Exercise Let ϕ( x ; y) be such that for every b ∈ U|y| there is a ψ( x ) ∈ L such that
ψ( x ) → ϕ( x ; b). Prove that we can choose ψ( x ) in a finite subset of L.
76
Chapter 10
Preservation theorems
In this chapter we present a few results dating from the 1950s that describe the re-
lationship between syntactic and semantic properties of first-order formulas. These
results characterize the classes of formulas that preserved under various sorts of
morphisms. Criteria for quantifier-elimination follow from these theorems, see for
instance the frequently used back-and-forth method of Corollary 10.12.
1 Lyndon-Robinson Lemma
In this section T is a consistent theory without finite models and ∆ is a set of formu-
las closed under renaming of variables. At a first reading the reader is encouraged
to assume that ∆ is Lat .
10.2 Proposition Fix M T and b ∈ M| x| . Let q( x ) = ∆-tp M (b). Then for every ϕ( x ) ∈ L
the following are equivalent
1. N ϕ(kb) for every k : M → N T that is a ∆-morphism defined in b;
2. T ` q( x ) → ϕ( x ).
77
From 2 it follows that ϕ( x ) satisfy 1 of Proposition 10.2. Therefore T ` q( x ) → ϕ( x )
for q( x ) = ∆-tp(b). Hence q( x ) is one of the types that occur in the disjuction in #
which therefore is satisfied by b.
From # and compactness we obtain
ψ( x ) ∈ {∧}∆ : T ` ψ( x ) → ϕ( x )
_
T ` ϕ( x ) ↔
Applying compactness again, we replace the infinite disjunction above with a finite
one and prove 2.
2. k : M → N extends to an {∃}∆-embedding;
3. k : M → N extends to an ∆-embedding.
78
A dual version of the results above is obtained replacing embeddings by epimor-
phisms (surjective homomorphisms) and {∃} by {∀}. If ∆ contains the formula
x = y and is closed under negation, then k : M → N is a ∆-morphism if and only
is k−1 : N → M is a ∆-morphism. In this case the dual version follows from what
proved above. Without these assumptions the results need a similar but indepen-
dent proof.
We write ¬∆ for the set containing the negation of the formulas in ∆. Warning: do
not confuse ¬∆ with {¬}∆.
Proof Left as an exercise for the reader. Hint: to prove implication 1⇒2 define
p( x, y) = ¬{∀}∆-tp N (ka, c), where a is a tuple that enumerates dom k. From 1
obtain that p( a, y) is finitely consistent in M. Then proceed as in the proof of
Proposition 10.4.
2. k : M → N extends to an {∀}∆-epimorphism;
3. k : M → N extends to an ∆-epimorphism.
79
10.10 Remark If T has elimination of quantifiers then the following are equivalent
1. T decides all quantifier free sentences;
2. T is complete.
Condition 2 of the corollary above may be difficult to verify directly. The following
corollary of Proposition 10.4 and 10.7 gives a back-and-forth condition with is easier
to verify.
Note that when ∆ contains the formula x = y and is closed under negation, then
k : M → N is a ∆-morphism if and only if k−1 : N → M is a ∆-morphism. In this
case a and b are equivalent.
10.13 Exercise Let T be a complete theory without finite models in a language that con-
sists only of unary predicates. Prove that T has elimination of quantifiers.
10.14 Exercise Let L be the language of strict orders. The theory of discrete linear orders
extends the theory of linear orders without endpoints (see Section 6.1) with the
following two of axioms
dis↑. ∃z x < z ∧ ¬∃y x < y < z ;
dis↓. ∃z z < x ∧ ¬∃y z < y < x .
Let ∆ be the set of formulas that contains (all alphabetic variants of) the formulas
x <n y := ∃≥n z ( x <z<y) and their negations (read <0 as <). Prove that the theory
of discrete linear orders has ∆-elimination of quantifiers. Prove that the structure
Q × Z ordered with the lexicographic order
80
( a1 , a2 ) < (b1 , b2 ) ⇔ a1 < b1 or (a1 = b1 e a2 < b2 )
is a saturated model of T.
10.15 Exercise Let T be a consistent theory. Suppose that all completions of T are of the
form T ∪ S for some set S of quantifier-free sentences. Prove that, if all completion
of T have elimination of quantifiers, so does T. Show that this fails when the
completions of T have arbitrary complexity.
Note. Thought the claim follows immediately from Corollary 10.11, a direct proof
is also instructive. Prove that for every formula ϕ( x ) there are some quantifier-free
sentences σi and quantifier-free formulas ψi ( x ) such that
n
_
σi ` ϕ( x ) ↔ ψi ( x ), T` σi , and σi ` ¬σj for i 6= j.
i =1
For a counter example consider the empty theory in the language with a single
unary predicate.
3 Model-completeness
We say that T is model-complete if every embedding h : M ,→ N between models
of T is an elementary embedding.
The notion was introduced by Abraham Robinson and has become standard. It
is inspired by the fact that T is model-complete if and only if T ∪ Diag( M) is a
complete theory, in the language L( M ), for every M T.
To stress positivity in the next proposition, we generalize the definition as follows.
We say that T is ∆-model-complete if every ∆-embedding h : M ,→ N between
models of T is a {∀∃}∆-embedding.
Model-completeness is equivalent a sort of elimination of quantifiers.
10.17 Exercise Prove that the theory of discrete linear orders is model-complete.
10.18 Proposition Assume T is model-complete. Let M be the category that consists of models
of T and partial isomorphisms. Then the following are equivalent
81
1. M has the amalgamation property;
10.19 Exercise Prove that M0 satisfies finite character of morphisms, c6 of Definition 7.1.
82
Chapter 11
Geometry and dimension
In this chapter we fix a signature L, a complete theory T without finite models, and
a saturated model U of inaccessible cardinality κ larger than | L|. The notation and
implicit assumptions are as in Section 9.3.
11.1 Proposition For every A ⊆ U and every type p(u) ⊆ L( A), where |u| < ω, the following
are equivalent
1 ∃ ≤ n u p ( u );
2 ∃≤n u ϕ(u) for some ϕ(u) which is conjunction of formulas p(u).
Proof The non trivial implication is 1⇒2. Let { ai , . . . , an } be all the solutions of
p(u). Then
n
_
p(u) ↔ ai = u
i =1
Then 2 follows by compactness (cfr. Remark 9.18.b).
11.2 Exercise Prove that Proposition 11.1 does not hold in general for infinite tuple u.
11.3 Exercise For every a ∈ U|u| and A ⊆ U, the following are equivalent
1. a is solution of some algebraic formula ϕ(u) ∈ L( A);
11.4 Theorem For every A ⊆ U and every a ∈ U the following are equivalent
1 a ∈ dcl( A);
2 O( a/A) = a .
83
Proof Implication 1⇒2 is obvious. As for 2⇒1, recall that O( a/A) is the set of
realizations of tp( a/A), then the theorem follows from Proposition 11.1.
11.5 Theorem For every A ⊆ U and every a ∈ U the following are equivalent
1 a ∈ acl( A);
2 O( a/A) is finite;
3 a belongs to every model containing A.
Proof 1⇔2. This is proved as in Theorem 11.4.
1⇒3. Assume 1, then there is a formula ϕ( x ) ⊆ L( A) such that ϕ( a) ∧ ∃=k x ϕ( x )
for some k. By elementarity ∃=k x ϕ( x ) holds in every model M containing A. Again
by elementarity, the k solutions of ϕ( x ) in M are solutions in U, therefore a is one
of these.
3⇒2. Assume O( a/A) is infinite and fix any model M containing A. By Exer-
cise 9.23, O( a/A) has cardinality κ, hence O( a/A) * M. Pick any f ∈ Aut (U/A)
such that f a ∈ / f −1 [ M], so f −1 [ M] is a models that contradicts 3.
/ M. Then a ∈
Properties 1-4 say that the algebraic closure is a closure operator with finite charac-
ter.
Proof Properties 1-3 are obvious, 4 follow from 5 which in turn follows from The-
orem 11.5.
11.8 Exercise Let ϕ(z) ∈ L( A) be a consistent formula. Prove that, if a ∈ acl( A, b) for
every b ϕ(z), then a ∈ acl( A). Prove the same claim with a type p(z) ⊆ L( A) for
ϕ ( z ).
84
substructure of U.
11.10 Exercise Let C be a finite set. Prove that if C ∩ M 6= ∅ for every model M contain-
ing A, then C ∩ acl( A) 6= ∅. Hint: by induction on the cardinality of C. Suppose
there is a c ∈ C r acl( A), then there is V ' U such that A ⊆ V U and c ∈/ V, see
0
Exercise 11.9. Apply the induction hypothesis to C = C ∩ V with V for U.
11.11 Exercise Prove that for every A ⊆ N there is an M such that acl A = M ∩ N. Hint:
add the requirement acl( Ai ) ∩ N ⊆ acl( A) to the construction used to prove the
downward Löwenheim-Skolem theorem. You need to prove that every consistent
ϕ( x ) ∈ L( Ai ) has a solution a such that acl( Ai , a) ∩ N ⊆ acl( A). The required a has
to realize the type
n o
ϕ( x ) ∪ ¬ ψ(b, x ) ∧ ∃≤n y ψ(y, x ) : b ∈ N r acl( A), ψ(y, x ) ∈ L( Ai ), n < ω
whose consistence need to be verified. (See Exercise 11.12 for a different hint.)
11.12 Exercise Prove that for every A ⊆ N there is an automorphism f ∈ Aut (U/A) such
that acl A = f [ N ] ∩ N. (This is a stronger version of the claim in Exercise 11.11.)
Hint: let c be an enumeration of N. Let p( x ) = tp(c/A). Consider the type
n o
p( x ) ∪ ¬ ψ(b, x ) ∧ ∃≤n y ψ(y, x ) : b ∈ N r acl( A), ψ(y, x ) ∈ L x ( A), n < ω
11.13 Exercise Let ϕ( x ) ∈ L(U) and fix an arbitrary set A. Prove that the following are
equivalent
1. there is some model M containing A and such that M ∩ ϕ(U) = ∅;
85
We show that the semantic notions match with and the syntactic one.
Proof Implications 1⇒2⇒3 are immediate, we prove 3⇒1. Let ϕ( x ; z) ∈ L and fix
an elementary extension N as required by 2. Let p(z) ⊆ L be the following type
n o
p(z) = ∃>n x ϕ ( x ; z ) ∧ ∃>n x ¬ ϕ ( x ; z ) : n ∈ ω .
As N is minimal, N 2 ∃z p(z). By saturation p(z) is not finitely consistent in M.
Hence, for some n
h i
M ∀z ∃≤n x ϕ ( x ; z ) ∨ ∃≤n x ¬ ϕ ( x ; z ) .
11.15 Exercise Let T be a complete theory without finite models. Prove that the following
are equivalent
1. M is minimal;
2. a ≡ M b for every a, b ∈ U r M.
86
algebraic in any of these solutions, a belongs to every model containing B. There-
fore, a ∈ acl B by Theorem 11.5.
11.18 Corollary (T strongly minimal.) For every B ⊆ C the following are equivalent
1. B is a base of C.
We may write acl( B/A) per acl( B ∪ A). The notation is used to suggest to the
reader that the role of A in the argument is irrelevant and that it could be absorbed
in the language. Independent sets over A and bases over A are defined in the
obvious way.
87
11.20 Proposition (T strongly minimal.) Let k be an elementary map. Then k ∪ hb, ci is also
an elementary map for every b ∈
/ acl(dom k) and c ∈
/ acl(img k).
Proof Let a be an enumeration of dom k. We need to show that ϕ(b ; a) ↔ ϕ(c ; ka)
holds for every ϕ( x ; z) ∈ L. As k is elementary, the formulas ϕ( x ; a) and ϕ( x ; ka)
are either both algebraic or both co-algebraic. As b ∈ / acl( a) and c ∈/ acl(ka), they
are both false or both true respectively. So the proposition follows.
11.21 Corollary (T strongly minimal.) Every bijection between independent sets is an elemen-
tary map.
11.22 Theorem (T strongly minimal.) Models of T with the same dimension are isomorphic.
Proof Let A e B be some bases of M and N respectively. By Corollary 11.21, any
bijectiion between A and B is an elementary map. By Proposition 11.7, it extends to
the required isomorphism between acl A = M and acl B = N.
11.23 Corollary (T strongly minimal.) Strongly minimal theories are λ-categorical for every
λ > | L |.
Proof As | acl A| ≤ | L( A)|, all models of cardinality λ have the same dimension λ.
11.24 Proposition (T strongly minimal.) For every model N of cardinality ≥ | L| the following
are equivalent
1. N is saturated;
2. dim N = | N |.
11.25 Exercise (T strongly minimal.) Prove that every infinite algebraically closed set is
a model.
11.27 Exercise (T strongly minimal.) Prove that if dim N = dim M + 1 then there is no
model K such that M ≺ K ≺ N.
88
Chapter 12
Countable models
In this chapter we fix a signature L, a complete theory T without finite models,
and a saturated model U of inaccessible cardinality κ larger than | L|. (Expect that
all relevant theorems are proved under the assumption that L is countable.) The
notation and implicit assumptions are as in Section 9.3.
12.1 Lemma Assume L( A) is countable. Let p( x ) ⊆ L( A) and suppose that A does not isolate
p( x ). Then every consistent formula ψ(z) ∈ L( A) has a solution a such that A, a does not
isolate p( x ).
Proof We construct sequence of formulas hψi (z) : i < ω i such that any realization
a of the type q(z) = ψi (z) : i < ω is as required by the lemma.
To begin with, we fix an enumeration hξ i ( x ; z) : i < ω i of all formulas in L x ;z ( A)
and set ψ0 (z) = ψ(z). At stage i + 1, if ξ i ( x ; z) ∧ ψi (z) in inconsistent, let ψi+1 (z) =
ψi (z), otherwise let
ψi+1 (z) = ψi (z) ∧ ∃ x ξ i ( x ; z) ∧ ¬ ϕ( x )
for some formula ϕ( x ) ∈ p such that the resulting ψi+1 (z) is consistent. If possible,
this guarantees that ξ i ( x ; a) for any a q(z) does not isolate p( x ). The proof
is complete if we can show that it is always possible to find a formula ϕ( x ) as
required.
Suppose by way of contradiction that no formula makes ψi+1 (z) consistent, that is,
ξ i ( x ; z) ∧ ψi (z) → ϕ( x )
89
for every ϕ( x ) ∈ p. This immediately imply that
∃z ξ i ( x ; z) ∧ ψi (z) → p( x ),
that is, p( x ) is isolated by a formula in L x ( A), which contradicts our assumptions.
12.2 Theorem (Omitting types theorem) Assume L( A) is countable. Then for every consis-
tent p( x ) ⊆ L( A) the following are equivalent
1. all models containing A realize p( x );
2. p( x ) is isolated.
Gerald Sacks once famously remarked: Any fool can realize a type but it take a model
theorist to omit one. (Though, as remarked above, the proof reminds more of set
theory than model theory.)
12.3 Example The following example shows that in the omitting types theorem we can-
not drop the assumption that L( A) is countable. Let F be the set of all bijection
between two uncountable sets, X and Y. Let M be the model with domain the dis-
joint union of F, X and Y. The language has a ternary relation symbol for f ( x ) = y
and unary relations for X and Y. Let U be a saturated elementary extension of M.
Let Y1 ⊆ Y be countable. Let c ∈ Y r Y1 and set p(y) = tp(c/X, Y1 ). We claim that
p(y) is not isolated but that it is realized in every model containing X, Y1 .
No formula could be equivalent to p(y) (not even a type with finitely many param-
eters). In fact, for every finite sets Y0 ⊆ Y1 and X0 ⊆ X there is a automorphism of
M that fixes Y0 ∪ X0 and maps c to some (any) element of Y1 r Y0 . This automor-
phism extends to an automorphism of U and maps c to an element that does not
realize p(y).
The type p(y) cannot be omitted because every model N containing X has neces-
sarily uncountably many elements of sort Y and therefore realizes p(y).
12.4 Exercise Let p( x ) ⊆ L( B) and pn ( x ) ⊆ L( A), for n < ω, be consistent types such
that
_
p( x ) → pn ( x )
n<ω
Prove that there is an n < ω and a formula ϕ( x ) ∈ L( A) consistent with p( x ) such
that
p ( x ) ∧ ϕ ( x ) → p n ( x ).
90
12.5 Exercise Let M be a second countable topological space (i.e. the topology has a
countable base). We say that A ⊆ M is meager if it is the countable union of
nowhere dense sets.
Use Lemma 12.1 to prove the Kuratowski-Ulam Theorem, i.e. that for A ⊆ M2 the
following are equivalent (w.r.t. the product topology)
1. A is meager in M2 ;
n o
2. x ∈ M : A ∩ { x }× M is not meager is meager in M.
12.6 Proposition Let b and a be finite tuples. Then the following are equivalent
1. A isolates b, a;
Proof Let p( x, z) = tp(b, a/A) and note that p( x, a) = tp( x/A, a) and ∃ x p( x, z) =
tp( a/A).
1⇒2 Let ϕ( x, z) ∈ p be such that ϕ( x, z) → p( x, z). It follows that ϕ( x, a) →
p( x, a) and ∃ x ϕ( x, z) → ∃ x p( x, z). Therefore 2 holds.
2⇒1 Fix ϕ( x ; z), ψ(z) ∈ L( A) such that ϕ( x ; a) isolates p( x ; a) and ψ(z) iso-
lates ∃ x p( x ; z). Let ξ ( x ; z) ∈ p be arbitrary. As ϕ( x ; a) → ξ ( x ; a), the formula
∀ x ϕ( x ; z) → ξ ( x ; z) belongs to ∃ x p( x, z). Hence ψ(z) → ∀ x ϕ( x ; z) → ξ ( x ; z) .
As this holds for all ξ ( x ; z) ∈ p, we conclude that ψ(z) ∧ ϕ( x ; z) isolates p( x, z).
The straightforward direction of the proposition above yields the following useful
proposition.
12.7 Proposition If M is atomic over A then M is atomic over A, a for every finite a ∈ M<ω .
Proof Let b ∈ M| x| be a finite tuple. Then A isolates b, a hence A, a isolates b.
12.8 Proposition Let k : M → N be an elementary map and suppose that M is atomic over
dom k. Then for every b ∈ M there is a c ∈ N such that k ∪ hb, ci : M → N is
elementary.
Proof Let p( x ; z) = tp(b ; a) where a is an enumeration of dom k. Let ϕ( x ; z) ∈ L
be such that ϕ( x ; a) → p( x ; a). Note that, by elementarity, ϕ( x ; ka) → p( x ; ka).
91
Hence the required c is any solution of ϕ( x ; ka) in N.
12.9 Proposition Any two is countable models atomic over A are isomorphic.
Proof Easy, using Propositions 12.7 and 12.8 and back-and-forth.
12.10 Proposition Assume L( A) is countable. Then for every model M the following are equiv-
alent
1. M is countable and atomic over A;
2. M is prime over A.
2. for every |z| < ω, every consistent ϕ(z) ∈ L( A) has a solution that is isolated over A.
Note that 2 says that in U|z| isolated points are dense w.r.t. the topology defined in
Section 9.3.
Proof Implication 1⇒2 hold by elementarity. To prove 2⇒1 we construct by induc-
tion a sequence h ai : i < ω i. Reasoning as in (the second proof of) the downword
Löverheim-Skolem theorem ensures that A ∪ ai : i < ω is a model. To obtain an
atomic model we require that ai is isolated over A.
Suppose ai has been defined and let ϕ(z) ∈ L( A) be the formula that isolates
tp( ai /A). Let ψ( x ; z) ∈ L( A) be such that ψ( x ; ai ) is consistent (we leave to the
reader the details of the enumeration of such formulas). Then ψ( x ; z) ∧ ϕ(z) is
also consistent and by assumption it has a solution b ; c that is isolated over A. As
ai ≡ A c, there is an A-automorphism such that f c = ai . Therefore f b ; ai is a
solution ψ( x ; z) that is also isolated over A. Then we can set ai = f b.
3 Countable categoricity
Here we present some important characterizations of ω-categoricity. The second
property below can be stated in different equivalent ways; for convenience, these
equivalents are considered in a separate proposition. For the time being we intro-
duce the following generalization (which we will prove is completely unnecessary):
we say hat T is ω-categorical over A if any two countable models containing A are
isomorphic. We say ω-categorical for ω-categorical over ∅.
92
12.12 Theorem (Engeler, Ryll-Nardzewsky, and Svenonius Theorem) Assume L( A) is
countable. The following are equivalent:
1. T is ω-categorical over A;
12.13 Proposition Fix a set A and a finite tuple of variables x. The following are equivalent
1. every A-type p( x ) is isolated;
2. Sx ( A) is finite;
3. L x ( A) is finite up to equivalence;
Proof To prove the implication 1⇒2 observe that U| x| is the union of sets of the
form p(U) where p ∈ Sx ( A). If these types are isolated then U| x| is the union of
A-definable sets. By compactness this union has to be finite. To prove 2⇒1 let
p ∈ Sx ( A). If Sx ( A) is finite, ¬ p(U) is the union of finitely many type definable
sets. A finite union of type definable sets is type definable. So ¬ p(U) is type
definable. Hence p(U) is isolated. We prove implication 2⇒3 observe that each
formula in L x ( A) is equivalent to the disjunction of the types in Sx ( A) that contain
this formula. If Sx ( A) is finite, L x ( A) is finite up to equivalence. Implication 3⇒2
is clear and equivalence 2⇔4 follows from the characterization of orbits as type-
definable sets.
12.14 Exercise Prove that the following are equivalent for every finite set A
1. T is ω-categorical;
2. T is ω-categorical over A.
12.16 Exercise Assume L is countable and that T is complete. Suppose that for every
finite tuple x there is a model M that realizes only finitely many types in Sx ( T ).
Prove that T is ω-categorical.
93
4 Small theories
Let T be, as always in this chapter, a complete theory without finite models. We say
that T is small over A if Sx ( A) is countable for every x of finite length. When A
is empty, we simply say that T is small . The set A is introduced for convenience,
in the literature it is used only for A = ∅. A different term is used in another very
interesting case, e.g. a theory small over every countable set A is said to be ω-stable.
12.17 Proposition No T is small over an uncountable set and if T is small (over ∅) then it is
small over any finite A.
Proof Let a be an enumeration of a finite set A. As Sx ( A) = p( x ; a) : p ∈
Sx ;z ( T ) the proposition is immediate.
12.18 Definition Let ∆ be a set of formulas (we mainly use ∆ = L x ( A) in this section). A
binary tree of formulas in ∆ is a sequence h ϕs : s ∈ 2<λ i of formulas in ∆ ∪ {>} such
that
1. for each s ∈ 2λ the type ps = ϕsn : n < |s| is consistent;
(Condition 2 is usually obtained by taking ϕs0 ↔ ¬ ϕs1 for every s.) We call λ the height
of the tree. If the height is not specified, we assume it is ω. We may depict a binary tree of
formulas as follows
...
ϕ11
...
ϕ1
...
ϕ10
...
ϕ∅
...
ϕ01
...
ϕ0
...
ϕ00
...
Where branches are consistent types and distinct branches are inconsistent.
12.19 Lemma Suppose ∆ is countable and closed under negation. Then the following are equiv-
alent
1. there is a binary tree of formulas in ∆;
2. S ( ∆ ) = 2ω ;
3. S(∆) > ω.
Proof As implications 1⇒2⇒3 are clear, it suffices to prove 3⇒1. We assume that
S(∆) is uncountable and define a tree of formulas in ∆ by induction. Begin with
ϕ∅ = >. For s ∈ 2<ω let ps be as in the definition above. Assume as induction
hypothesis that ps has uncountably many extensions in S(∆). This will guarantee
the consistency of the branches.
94
It suffices to show that there is a formula ψ ∈ ∆ such that both ps ∩ {ψ} and
ps ∩ {¬ψ} have uncountably many extensions in S(∆). In fact, we if we define
ϕs0 = ψ and ϕs1 = ¬ψ this preserves the induction hypothesis.
Suppose for a contradiction that such a formula ψ does not exist. Consider the
following type
n o
q = ξ ∈ ∆ : ps ∩ {¬ξ } has ≤ ω extensions in S(∆) .
This type is consistent otherwise ¬ξ 1 ∨ · · · ∨ ¬ξ n would hold for some ξ i ∈ q. This
cannot happen because ps has uncountably many extensions in S(∆) while the
ps ∩ {¬ξ i } have not.
If the formula ψ required above does not exist, q is complete hence belongs to S(∆).
But there are countably many types distinct from q, so this contradicts 3.
12.21 Proposition A small theory has countable atomic models over every countable set A.
Proof We prove that every formula in L x ( A), where | x | < ω, has a solution isolated
over A. Then it suffices to apply Proposition 12.11.
Suppose for a contradiction that ϕ( x ) ∈ L( A) is consistent but has no solution
isolated over A. Then there is a formula ψ( x ) ∈ L( A) such that both ϕ( x ) ∧ ψ( x ) and
ϕ( x ) ∧ ¬ψ( x ) are consistent, otherwise ϕ( x ) would imply a complete type and every
solution of ϕ( x ) would be isolated. Fix such a ψ( x ). Clearly neither ϕ( x ) ∧ ψ( x )
nor ϕ( x ) ∧ ¬ψ( x ) have a solution isolated over A. This allows to construct a tree of
formulas in L x ( A) and prove that T is not small over A.
12.22 Exercise Suppose ∆ is countable and closed under negation. Prove that if there
is a binary tree of formulas then there is a binary tree such that ϕs0 = ¬ ϕs1 and
ϕ∅ = >.
12.23 Exercise Let | x | = 1. Prove that if Sx ( A) is countable for every finite set A, then T
is small.
12.24 Exercise (Vaught) Prove that no complete theory has exactly 2 countable models
(assume L is countable – though it is not really necessary).
Hint: suppose T has exactly two countable models. Then T is small and there
95
are a countable saturated model N and an atomic model M ⊆ N. As T is not
ω-categorical, M 6' N and there is finite tuple a that is not isolated over ∅. Let K
be an atomic model over a. Clearly K 6' M and, by Exercises 12.14 and 12.15, also
K 6' N.
12.25 Proposition If T has the finite model property then it is not finitely axiomatizable.
Proof Assume fmp and suppose for a contadiction that there is a sentence ϕ ∈ L
such that T ` ϕ ` T. Then A T for some finite structure A. But T ` ∃>kx ( x = x )
for every k. A contradiction.
12.26 Lemma Suppose L is countable. If T is ω-categorical and every finite set is contained in a
finite homogeneous set, then T has the finite model property.
Proof We prove fmp also for formulas with parameters. We prove that for all n there
is a finite structure A ⊆ U where fmp holds for all sentences ϕ ∈ L( A) such that
# number of parameters in ϕ + number of quantifiers in ϕ ≤ n.
Fix n and pick some finite set A that is homogeneous and such that all types p(z) ⊆
L with |z| ≤ n have a realization in A|z| . Now we prove fmp by induction on the
syntax of ϕ.
The claim for atomic formulas is witnessed by any finite structure that contains
the parameters of the formula. Such finite substructure exists in fact it suffices
to take the algebraic closure which, in an ω-categorical theory, is finite (by 3 of
Lemma 12.13). Induction for Boolean connectives is straightforward. As for in-
duction step for the existential quantifier, consider the formula ∃ x ϕ( x ; c), where
c ∈ A<n and | x | = 1. Implication ⇐ of fmp follows immediately from the induction
hypothesis and from the fact that, if ∃ x ϕ( x ; c) satisfy #, also ϕ(d ; c) satisfies it. As
for ⇒, assume U ∃ x ϕ( x ; c). Let a, b ∈ A<ω be a solution of ϕ( x ; z) such that
a ≡ c. Such a solution exists because all types with ≤ n variables are realized in A.
By homogeneity there is a d ∈ A such that a, b ≡ c, d and therefore A ϕ(d ; c).
12.27 Proposition If T is strongly minimal, then every algebraically closed set is homogeneous.
Proof Let A be argebraically closed and fix some a, c ∈ A<ω such that a ≡ c. Let b
be an element of A. Suppose first the case b ∈ acl a. Fix an f ∈ Aut (U) such that
96
f ( a) = c. Then d = f b is the required element, in fact a, b ≡ c, d and d ∈ acl c ⊆ A.
Now, suppose instead that b ∈ / acl a. Then any d ∈
/ acl c satisfies a, b ≡ c, d. Such a d
exists in A otherwise A = acl c 6= acl a which contradicts a ≡ c.
12.28 Theorem A theory which is ω-categorical and strongly minimal is not finitely axiomatiz-
able.
Proof If T is ω-categorical the algebraic closure of a finite set is finite. Therefore
from Proposition 12.27 we infer that T satisfies the assumptions of Lemma 12.26.
Hence T has the finite model property, so, by Proposition 12.25 it is not finitely
axiomatizable.
12.29 Exercise Assume L is countable and let T be strongly minimal. Prove that the
following are equivalent
1. T is ω-categorical;
97
Chapter 13
Definability and automorphisms
The description of first-order definability is simplified if we allow definable sets
to be used as second-order parameters in formulas. This leads to the theory of
(elimination of) imaginaries. The technical reason that induced Shalah to introduce
imaginaries will only be clear later, see Sections 16.5, but the theory is of indepen-
dent interest.
In this chapter we fix a signature L, a complete theory T without finite models,
and a saturated model U of inaccessible cardinality κ strictly larger than | L|. The
notation and implicit assumptions are as in Section 9.3.
1 Many-sorted structures
A many-sorted language consists of three disjoint sets. Besides the usual Lfun and
Lrel , we have a set Lsrt whose elements are called sorts . The language also includes
a (many-sorted) arity function that assigns to function and relation symbols r, f a
tuple of sorts of finite positive length which we call arity .
A many-sorted structure M consists of
1. a set Ms , for each s ∈ Lsrt ;
For every sort s we fix a sufficiently large set of variables Vs . Now we define terms
and their respective sorts by induction.
All variables are terms of their respective sort. If t1 , . . . , tn are terms of sorts
s1 , . . . , sn and f ∈ Lfun is of arity hs0 , . . . , sn i then f t1 , . . . , tn is a term of sort s0 .
Formulas are defined as follows. If r ∈ Lrel has arity hs0 , . . . , sn i then r t0 , . . . , tn is
a formula. Also, t1 = t2 is formula for every pair of terms of equal sort. All other
formulas are constructed by induction using the propositional connectives ¬ and ∨
and the quantifier ∃ x (or any other reasonable choice of logical connectives).
Truth of formulas is defined as for one-sorted languages, except that here we require
that the witness of the quantifier ∃ x belongs to Ms , where s is the sort of the variable
x.
Models of second-order logic are arguably the most widely used examples of many-
sorted structures. They may be described using a language with a sort n for every
n ∈ ω. The sort 0 is used for the first-order elements; the sort n > 0 is used for
relations of arity n. For every n > 0 the language has a relation symbol ∈n of arity
h0n , ni, where
0n = 0, . . . , 0 .
| {z }
n-times
98
There are also arbitrarily many function and relation symbols of sort h0n i for any
n > 0.
2 The eq-expansion
B Warning: the structure Ueq and the theory T eq defined below do not coincide with
the standard ones introduced by Shelah. As the difference is merely cosmetic, in-
troducing new notation would be overkill and we prefer to abuse the existing ter-
minology. In Section 6 below we compare our definition with the standard one.
Given a language L we define a many-sorted language Leq which has a sort for
each partitioned formula σ ( x ; z) ∈ L and a sort 0 which we call the home sort .
(Partitioned formulas have been introduced in Definition 1.14.)
For better legibility, we will pretend that all formulas σ depend on the same pair of
tuples x ; z, so we assume that x ; z are infinite tuples.
The home sort is also called the first-order sort . All other sorts are second-order .
First of all, Leq contains all relations and functions of L. The many-sorted arity of
a relation r is h0nr i, where nr is the arity of r in L. Similarly, the many-sorted arity
of a function f is h01+n f i, where n f is the arity of f in L. Moreover, Leq contains
a relation symbol ∈σ( x ;z) for each sort σ ( x ; z). These relation symbols have arity
0| x| , σ ( x ; z) . As there is no risk of ambiguity, in what follows we write ∈ without
subscript.
The model Ueq has U as domain for the home sort. The domain for the sort
σ ( x ; z) contains the definable sets A = σ(U ; b) for some b ∈ U|z| . The symbols in
L have the same interpretation as in the one-sorted case, and ∈ is interpreted as set
membership. We write T eq for Th(Ueq ).
As usual Leq also denotes the set of formulas constructed in this language and,
if A ⊆ Ueq , we write Leq ( A) for the language and the set of formulas that use
elements of A as parameters. We write L( A) for the set of formulas in Leq ( A) that
contain no second-order variables (neither free nor quantified).
We use the symbol X to denote a generic second-order variable.
It is important to note right away that this expansion of U is a mild one: the de-
finable subsets of the home sort of Ueq are the same as those of U. In particular,
iterating the expansion would not yield anything new.
eq
When n = 0 the proposition asserts that Lu and Lu have the same expressive power.
Proof By induction on syntax. When ϕ is atomic, we set ϕ0 = ϕ unless it is of the
form t ∈ X for some tuple of terms t or it has the form X1 = X2 . In the first case ϕ0
is the formula σ (t ; z). In the second case it is the formula ∀ x σ1 ( x ; z) ↔ σ2 ( x ; z) .
The connectives stay unchanged except for the quantifiers ∃X, where X is a second-
99
order variable, say of sort σ ( x ; z). These quantifiers are replaced by ∃z.
13.2 Remark From Proposition 13.1 it follows that for every A ⊆ Ueq , there is a B ⊆ U
such that L( B) is at least as expressive as L( A). The point of Ueq is that there might
not be any B ⊆ U such that L( B) is exactly as expressive as Leq ( A). For instance,
suppose L contains only an equivalence relation with infinitely many classes, all
with infinite elements. Let A be an equivalence class. Then A is is definable in L( B)
if and only if B ∩ A 6= ∅. But no element of A is definable in Leq ({A}).
If V U we write Veq for the substructure of Ueq that has V as domain of the home
sort and the set of definable sets of the form σ (U ; b) for some b ∈ V|z| as domain of
the sort σ ( x ; z). The following proposition claims that the elementary substructures
of Ueq are exactly those of the form Veq for some V U.
13.3 Proposition The following are equivalent for every structure V† of signature Leq
1. V† Ueq ;
13.4 Proposition Let A ⊆ Ueq . Then every type p(u ; X) ⊆ Leq ( A) finitely consistent in Ueq
is realized in Ueq . That is, Ueq is saturated.
Proof By Remark 13.2, there are some B ⊆ U and some q(u ; X) ⊆ Leq ( B) equiv-
alent to p(u ; X). This already proves the proposition when X is the empty tuple.
Otherwise, let q0 (u ; z) be obtained replacing every formula ϕ(u ; X) in q(u ; X) with
the formula ϕ0 (u ; z) given in Proposition 13.1. Then q0 (u ; z) is finitely consistent
in U. Assume for clarity of notation that X is a single variable of sort σ ( x ; z). If
c ; b q0 (u ; z), then c ; σ (U ; b) q(u ; X).
13.5 Proposition Every elementary map k : Ueq → Ueq of cardinality < κ extends to an
automorphism of Ueq .
100
3 The definable closure in the eq-expansion
We may safely identify automorphism of U with automorphisms of Ueq . Let A ⊆
Ueq and let a be a tuple of elements of Ueq . We denote by Aut (U/A) the set of
automorphisms (of Ueq ) that fix all elements of A. The symbol O( a/A) denotes
the orbit of a over A . This has been defined in Section 9.2 and now we apply it to
Ueq
O( a/A) = f a : f ∈ Aut (U/A) .
13.6 Definition Let A ⊆ Ueq and a ∈ Ueq . When ϕ( a) ∧ ∃=1 v ϕ(v) holds for some formula
ϕ(v) ∈ Leq ( A), we say that a is definable over A . We write dcleq ( A) for the set of those
a ∈ Ueq that are definable over A. We write dcl( A) for dcleq ( A) ∩ U. This is the natural
generalization of the notion of definability introduced in Section 11.1.
The saturation and homogeneity of Ueq allow us to prove the following proposition
with virtually the same proof as for Theorem 11.4
13.7 Theorem For any A ⊆ Ueq and a ∈ Ueq the following are equivalent
1. a is invariant over A;
2. a ∈ dcleq ( A).
Note that a tuple is invariant if and only it all its component are definable. Then in
Theorem 13.7 we may replace a and/or A by a tuple.
Definition 13.6 treats first- and second-order elements of Ueq uniformly. However,
for sets it can be rephrased in a more natural way.
13.8 Proposition Let A ⊆ Ueq and let A ∈ Ueq have sort σ( x ; z). Then the following are
equivalent
1. A is definable over A;
By the characterization above, Theorem 13.7 when applied to a definable set A gives
an alternative proof of Proposition 9.19.
The formula ψ( x ) in Proposition 13.8 need not be related to the sort σ ( x ; z). For ex-
ample, consider the theory of a binary equivalence relation e( x ; z) with two infinite
classes, let A be one of these classes and let A 6= ∅ be such that A ∩ A = ∅. Then A
is definable over A though not by some formula of the form e( x ; b) for some b ∈ A.
Things change radically if we replace A with a model.
13.9 Proposition Let M be a model and let A be an element of sort σ ( x ; z). Then the following
are equivalent
101
1. A ∈ dcleq ( M );
holds in Meq , therefore ∃z has a witness in M. This proves 1⇒2, the converse
implication is obvious.
13.10 Theorem For every A ⊆ Ueq and every a ∈ Ueq the following are equivalent
1. O( a/A) is finite;
2. a ∈ acleq ( A);
We say finite equivalence relation for an equivalence relation with finitely many
classes. A finite equivalence formula or type is a formula, respectively a type,
that defines a finite equivalence relation. Theorem 13.11 belows proves that sets
algebraic over A are union of classes of a finite equivalence relations definable over
A.
13.11 Theorem Let A ⊆ Ueq and let A ∈ Ueq be an element of sort σ ( x ; z). Then the following
are equivalent
1. A ∈ acleq ( A)
102
Sh
13.12 Definition We write a ≡ A b when ε( a ; b) holds for every finite equivalence formula
ε( x ; y) ∈ L( A). In words we say that a and b have the same Shelah strong-type over A.
By the following proposition, the Shelah strong type of a over A is tp( a/ acleq A).
13.13 Proposition Let A ⊆ Ueq and let a, b ∈ U| x| . Then the following are equivalent
Sh
1. a ≡ A b;
2. a ≡acleq A b.
We may write S( a/A) be the intersection of all definable sets that contain a and
Sh
are algebraic over A. Then by the proposition above S( a/A) = b : b ≡ A a .
13.15 Exercise Let A ⊆ U, let A be a definable set with finite orbit over A. Without using
the eq-expansion, prove that A is union of classes of a finite equivalence relation
definable over A.
5 Elimination of imaginaries
For the time being, we agree that imaginary is just another word for definable set.
Though this is not formally correct (cfr. Section 6), it is morally true and helps to
understand the terminology. The concept of elimination of imaginaries has been
introduced by Poizat who also proved Theorem 13.23 below. A theory has elimina-
tion of imaginaries if for every A ⊆ Ueq , there is a B ⊆ U such that L( B) and L( A)
have the same expressive power (i.e. they are the same up to to equivalence).
13.17 Definition We say that T has elimination of imaginaries if for every definable set A there
is a formula ϕ( x ; z) ∈ L such that
=1
ei ∃ z ∀ x x ∈ A ↔ ϕ( x ; z)
103
We say that the witness of ∃=1 z in the formula above is a canonical parameter of A. It is
also called a a canonical name for A. A set may have different canonical parameters for
different formulas ϕ( x ; z).
We say that T has weak elimination of imaginaries if
wei ∃=k z ∀ x x ∈ A ↔ ϕ ( x ; z )
In the formulas above we allow z to be the empty string. In this case we read ei and
wei omitting the quantifiers ∃=1 z, respectively ∃=k z. Therefore ∅-definabile sets
have all (at least) the empty string as a canonical parameter.
To show that the notions above are well-defined properties of a theory one needs to
check that they are independent of our choice of monster model. We leave this to
the reader as an exercise.
13.18 Exercise Let M be an arbitrary model. Prove that ei and wei hold (in Ueq ) if and
only if they hold in Meq .
We say that two tuples a and b of elements of Ueq are interdefinable if dcleq ( a) =
dcleq (b). By Theorem 13.7 this is equivalent to saying that Aut (U/a) = Aut (U/b),
that is, the automorphisms that fix a fix also b, and vice versa.
Proof 1⇒2 Assume 1 and let B be the set of solutions of the formula
∀ x x ∈ A ↔ σ( x ; z) .
Hence B is finite and B ∈ dcleq {A}. We also have A ∈ dcleq {B} because A is
definibile by the formula ∃z z ∈ B ∧ σ ( x ; z) . Therefore dcleq {A} = dcleq {B}.
2⇒3 Assume dcleq {A} = dcleq {B} for some finite set B. The elements of B,
say b1 , . . . , bn , are the (finitely many) solutions of the formula z ∈ B. Therefore
b1 , . . . , bn ∈ acl(B) = acl(A). Let ϕ(X ; B) be a formula that has A as unique solu-
tion. Then ∃Y Y = b1 , . . . , bn ∧ ϕ(X ; Y) is the formula that proves 3.
3⇒1 Assume 3. As wei holds trivially for all ∅-definable sets, we may assume
A 6= ∅. Let σ ( x ; z) be such that
∀ x x ∈ A ↔ σ( x ; b) .
for some tuple b of elements of acl {A} . Fix some algebraic formula δ(z ; A)
The following formula is clearly satisfied by b therefore, if we can prove that it has
104
finitely many solutions, wei follows from Proposition 13.1
] ∀ x x ∈ A ↔ σ ( x ; z ) ∧ ∃X ψ ( z ; X) .
We check that any c that satisfies ] also satisfies δ(z ; A). As A is non empty,
ψ(c ; A0 ) holds for some A0 . By ] and the definition of ψ(z ; X) we obtain A0 = A
and δ(c ; A).
Proof Implications 1⇒2⇒3 are immediate. Implication 3⇒1is identical to the ho-
mologous implication in Theorem 13.19, just substitute algebraic with definable.
13.21 Lemma The following is a sufficient condition for weak elimination of imaginaries
] for every A ⊆ Ueq , every consistent ϕ(z) ∈ L( A) has a solution in acl A.
Proof Let A ∈ Ueq be a definable set of sort σ ( x ; z). Then ∀ x x ∈ A ↔ σ ( x ; z)
13.22 Theorem Let T be a complete, strongly minimal theory. Then, if acl ∅ is infinite, T has
weak elimination of imaginaries.
Proof If acl ∅ is infinite, acl A is a model for every A (cfr. Exercise 11.25) so condi-
tion ] of lemma 13.21 holds by elementarity and the theorem follows.
p
13.23 Theorem The theories Tacf have elimination of imaginaries.
p
Proof By Theorem 13.22 we know that Tacf has weak elimination of imaginaries.
Therefore, by Theorem 13.19 it suffices to prove that every finite set A is interde-
finable with a tuple. Let A = a1 , . . . , an where each ai is a tuple ai,1 , . . . , ai,m of
13.24 Exercise Let T have elimination of imaginaries and ϕ( x ; z) ∈ L( A). For arbitrary
c ∈ U|z| , prove that if the orbit of ϕ(U ; c) over A is finite, then ϕ(U ; c) is definable
105
over acl A.
The equivalence class of b in the relation ε(z ; z0 ) is what Shelah uses as canonical
parameter of the set A.
Shelah’s Ueq has a sort for each ∅-definable equivalence relation ε(z ; z0 ). The do-
main of the sort ε(z ; z0 ) contains the classes of the equivalence relation defined by
ε(z ; z0 ). These equivalence classes are called imaginaries . Shelah’s Leq contains
functions that map tuples in the home sort to their equivalence class.
Tortuous routes are somewhat typical of Shelah. This did not hinder him from
becoming one of the most productive mathematician of his century. Lesser minds
may find it useful to take a simplified route.
A priori, the formula σ ( x ; z) may depend on c in a very wild manner. We say that
T has uniform elimination of imaginaries if for every ϕ( x ; u) there are a formula
σ ( x ; z) and a formula ρ(z) such that
=1
uei ∀u ∃ z ρ(z) ∧ ∀ x ϕ( x ; u) ↔ σ( x ; z) .
The role of the formula ρ(z) above is mysterious. It is clarified by the following
propositions. In fact, uniform elimination of imaginaries is equivalent to a very
natural property which in words says: every definable equivalence relation is the
kernel of a definable function. Recall that the kernel of the function f is the relation
f a = f b.
Uniform elimination of imaginaries is convenient when dealing with interpretations
106
of structure inside other structures. Let us consider a simple concrete example.
Suppose U is a group and let H be a definable normal subgroup of U. The elements
of the quotient structure U/H are equivalent classes of a definable equivalence
relation. If there is uniform elimination of imaginaries we can identify U/H with
an actual definable subset of G (the range of the function f above). Moreover,
the group operation of G are definable functions. As working in U/H may be
notationally cumbersome, G may offer a convenient alternative.
Note that the definable function f u = z mentioned above is defined by the formula
ϑ (u ; z) = ∀ x ε( x ; u) ↔ σ( x ; z) .
2⇒3. Clear.
3⇒1. Apply 3 to the equivalence formula
ε(u ; v) = ∀ x ϕ( x ; u) ↔ ϕ( x ; v)
Let ϑ (u ; z) be defined as above. The reader may check that uei holds substituting for
δ(z) the formula ∃u ϑ (u ; z) and and for σ ( x ; z) the formula ∃u ϕ( x ; u) ∧ ϑ (u ; z) .
both true. The witnesses of ∃=1 z in these two formulas are two distinct elements of
dcl ∅.
2⇒1. Assume 2 and fix a formula formula ϕ( x ; u) such that ϕ( x, a) is consistent
for every a ∈ U|u| . We prove 2 of Proposition 13.25.
107
Let p(u) be the type that contains the formulas
=1
¬ ∃ z ∀ x ϕ( x ; u) ↔ σ( x; z) ,
As ϕ( x, a) is consistent for every a, the substitution does not break the validity of ].
Fix some distinct ∅-definable tuples d0 , . . . , dn of the same length (these are easy to
obtain from two ∅-definable elements). We claim that from ] it follows that
" #
n
∀u ∃=1 z, y ∀ x ϕ( x ; u) ↔
_
σi ( x ; z) ∧ y = di .
i =1
(The tuple z, y plays the role of z.) We fix some a and check that the formula below
has a unique solution
" #
n
_
[ ∀ x ϕ( x ; a) ↔ σi ( x ; z) ∧ y = di .
i =1
Existence follows immediately from ]. As for uniqueness, note that if b, di and b0 , di0
are two distinct solution of [ then σi ( x ; b) ↔ σi0 ( x ; b0 ) for some hb, i i 6= hb0 , i0 i. By
what assumed on σi ( x ; z), we obtain that ϕ( x ; a) is inconsistent. A contradiction
which proves the theorem.
108
Chapter 14
Invariant sets
In this chapter we fix a signature L, a complete theory T without finite models, and
a saturated model U of inaccessible cardinality κ strictly larger than | L|. Notation
and implicit assumptions are as presented in Section 9.3.
14.1 Proposition Let λ = | Lz ( A)|. There are at most 22 sets D ⊆ U|z| that are invariant
λ
over A.
Proof By is2, sets that are invariant over A are union of equivalence classes of the
relation ≡ A , that is, union of sets of the form p(U) where p(z) ∈ S( A). Then the
number of A-invariant sets is 2|Sz ( A)| . Clearly |Sz ( A)| ≤ 2λ .
109
A global ϕ-type can be identified with D p,ϕ and a global type can be identified with
the collection of all these sets. The notions of invariance for types and sets coincide.
We say that the type p( x ) ⊆ L(U) does not split over A if
it2. a ≡A b ⇒ ϕ( x ; a) ∈ p ⇔ ϕ( x ; b) ∈ p for all a, b ∈ U|z|
for every formula ϕ( x ; z) ∈ L. For global type (or a global ϕ-types when ϕ is fixed)
it2 is equivalent to
it2’. a ≡ A b ⇒ ϕ( x ; a) ↔ ϕ( x ; b) ∈ p
By homogeneity, non splitting is equivalent to invariance.
The following is yet another important equivalent of invariance over A that easily
follows from it2’
it3. a ≡ A b ⇒ a ≡ A,c b for all a, b ∈ U|z| and for all c p A,a,b .
Note that it3 applies to global types p( x ) ∈ S(U) but not to ϕ-types.
14.2 Proposition Let p( x ) ∈ S ϕ (U) be a global ϕ-type, then the following are equivalent
1. p( x ) is invariant over A;
2. p( x ) is quasi-invariant over A.
Proof 1⇒2. Assume p( x ) is invariant and let ψ( x ; b) ∈ p and some b ∈ U|z| . Then
ψ( x ; f b) ∈ p for every f ∈ Aut (U/A), so 2 follows from the finite consistency of
p ( x ).
2⇒1. Assume p( x ) is not invariant. Then there is b ∈ U|z| such that ϕ( x ; b) ∈ p and
/ p for some f ∈ Aut (U/A). By completeness, p( x ) contains the formula
ϕ( x ; f b) ∈
ϕ( x ; b) ∧ ¬ ϕ( x ; f b) which clearly is not consistent with its f -translate.
14.3 Exercise We say that B strongly quasi-invariant if for every definable set D at least
one of B ∩ D and B ∩ ¬D is quasi-invariant. Strongly quasi invariant types are
defined in analogy to the definition of quasi-invariant type. Note parenthetically
that for global types the two notions coincide. Prove that every strongly quasi-
invariant type has an extension to a global invariant type.
Hint: it may help to prove that if B is strongly quasi-invariant then for every de-
finable D either B ∩ D or B ∩ ¬D is strongly quasi-invariant. Then the maximal
strongly quasi-invariant set is the required global extension.
110
14.4 Exercise Let p( x ) ∈ L(U). Let V be a saturated elementary extension of U. Prove
that the following are equivalent:
1. the type p( x ) is quasi-invariant over A;
2. the set p(V) is quasi-invariant over A (defined as above with V for U).
The easiest way to obtain quasi-invariant types is via types that are finitely satisfi-
able. We say that a type p( x ) is finitely satisfiable in A if ϕ(U) ∩ A| x| 6= ∅ for every
ϕ( x ) that is a conjunction of formulas in p( x ).
Note that by elementarity every type over a model is finitely satisfiable in the model,
that is, if p( x ) ⊆ L( M) for some model M, then p( x ) is finitely satisfiable in M. For
this reason the notion is mainly applied to models.
14.6 Proposition Every type q( x ) ⊆ L(U) finitely satisfiable in A has an extension to a global
type finitely satisfiable in A.
Proof Let p( x ) ⊆ L(U) be maximal among the types containing q( x ) and finitely
satisfiable in A. We prove that p( x ) is complete. If for a contradiction that p( x )
contains neither ψ( x ) nor ¬ψ( x ). Then neither p( x ) ∪ ψ( x ) nor p( x ) ∪ ¬ψ( x )
is finitely satisfiable in A. This contradicts the finite satisfiability of p( x ).
Proof 1⇒2. Assume 1 and let p( x ) ∈ S(U) be a global type finitely satisfiable in A
and such that ci p A,ci ( x ). The requirement cn+1 ≡ A,cn cn is clear. Now, suppose
ϕ(cn ) for some ϕ( x ) ∈ L( A, cn ). Then ϕ( x ) belongs to p( x ) hence ϕ(U) ∩ A| x| 6= ∅
because p( x ) is finitely satisfiable in A.
111
2⇒1. Assume 2 and define
q( x ) = ϕ( x ) : cn ϕ( x ) ∈ L( A, cn ) for some n < α .
Clearly c̄ is a Morley sequence of any global type finitely satisfiable in A that ex-
tends q( x ). Hence it suffices to show that such type exists. So, we prove that q( x )
is finitely satisfiable in A and apply Proposition 14.6.
Note that 2 requires that every single formula in q( x ) is finitely satisfiable in A.
Then it suffices to show that q( x ) is closed under conjunctions. Let ϕi ( x ) ∈ L( A, cni ),
for i = 1, 2, be two formulas in q( x ) satisfied by cni . By the first requirement in 2,
both formulas are satisfied by cm where m = max{n1 , n2 }. Hence their conjuction
is in q( x ).
14.8 Definition Let I, < I be an infinite linear order and let ā be an I-sequence. We say that a
is a sequence of indiscernibles over A or, a sequence of A-indiscernibles , if a I0 ≡ A a I1
for every I0 , I1 ∈ (nI ) and n < ω. As usual, (nI ) is the set of subsets of I of cardinality n.
14.9 Proposition Let p( x ) ∈ S(U) be a global A-invariant type and let c̄ = hci : i < αi be a
Morley sequence of p( x ) over A. Then c̄ is a sequence of indiscernibles over A.
Proof We prove by induction on n < ω that
] cn ≡ A c I0 for every I0 ⊆ α of cardinality n.
For n = 0 the claim is trivial, then we assume ] above is true and prove that
cn , cn ≡ A c I0 , ci for every I0 < i < α.
As c is Morley sequence, cn ≡ A,cn ci whenever n < i. Hence we can equivalently
prove that
cn , ci ≡ A c I0 , ci ,
which is equivalent to
cn ≡ A, ci c I0 .
The latter holds by induction hypothesis ] and the invariance of p( x ) as formulated
in it3 of Section 14.
112
4 From coheirs to Ramsey to indiscernibles
Let X be an arbitrary infinite set an n, k < ω. A total function
X
f : →k
n
is also called a coloring of ( Xn ), the set of the subsets of X of cardinality n. This is
identified with a partition of ( Xn ) into finitely k classes. A set H ⊆ X such that f
is constant on ( H
n ) is called monochromatic set . In the literature it may be called
a homogeneous set , but we already use this word with a different meaning. The
following is a most famous theorem which here we prove it in unusual way.
14.10 Ramsey’s Theorem For every infinite set M, every n, k < ω and every coloring f :
(M
n ) → k there is an infinite monochromatic set.
Proof Let L be a language that contains k relation symbols r0 , . . . , rk−1 of arity n.
Given f : ( Mn ) → k as above we define now a structure with domain M. The
interpretation the relation symbols is
n o
riM =
a 0 , . . . , a n −1 ∈ M : f a 0 , . . . , a n −1 = i .
Then
^ _
# M ∀ x 0 , . . . , x n −1 xi 6 = x j → r i ( x 0 , . . . , x n −1 ) .
0≤ i < j < n i <k
Let I, < I be an infinite linear order and let ā be an I-sequence. Fix a sequence of
distinct variables x̄ = h xi : i < ω i. We write p( x̄ ) = EM-tp( ā/A) and say that
p( x̄ ) is the Ehrenfeucht-Mostowski type of ā over A if p( x̄ ) is the set of formulas
ϕ( xn ) ∈ L( A) such that ϕ( a I0 ) holds for every I0 ∈ (nI ).
Note that x̄ is always of order-type ω, while ā is an arbitrary infinite sequence.
Clearly, xi and ai are tuple of the same sort.
Note also that if ā is A-indiscernible then EM-tp( ā/A) is a complete type, and vice
versa. So, if ā and c̄ are two A-indiscernible I-sequences with the same Ehrenfeucht-
Mostowski type over A, then ā ≡ A c̄.
14.11 Ehrenfeucht-Mostowski’s Theorem Let I, < I and J, < J be two infinite linear orders
such that | J | ≤ κ. Then for every sequence ā = h ai : i ∈ I i there is an J-sequence of
113
A-indiscernibles c̄ such that EM-tp( ā/A) ⊆ EM-tp(c̄/A).
Proof We prove the theorem for I = J = ω and leave the general case to the reader.
Let c̄ be any realization of the following type yields a J-sequence of A-indiscernibles.
n ω o
q( x̄ ) ∪ ϕ( x I0 ) ↔ ϕ( x J0 ) : ϕ( xn ) ∈ L( A), I0 , J0 ∈ , n<ω .
n
We will prove that any finite subset of the type above is realized by a finite subse-
quence of ā. First note that any finite subset of q( x̄ ) is realized by any subsequence
of ā of the proper length by the definition of EM-type.
Then we only need to pay attention to the set on the right. We prove that for m and
n arbitrary large and every ϕ0 , . . . , ϕm−1 ∈ L xn ( A) there is an infinite H ⊆ I such
that a H realizes
n ω o
# ϕi ( x J0 ) ↔ ϕi ( x I0 ) : I0 , J0 ∈ and i < m .
n
Let f : ( n ) → P(m) map I0 ∈ ( n ) to the set i < m : ϕi ( a I0 ) . By the Ramsey
ω ω
14.14 Exercise Let p( x ) ∈ S(U) be a global type invariant over A. Let a and b two
realizations of p A ( x ). Prove that there is a sequence c̄ = hci : i < ω i such that a, c̄
and b, c̄ are both sequences of A-indiscernibles.
114
Chapter 15
Lascar invariant sets
In this chapter we fix a signature L, a complete theory T without finite models,
and a saturated model U of inaccessible cardinality κ strictly larger than | L|. The
notation and implicit assumptions are as in Section 9.3.
1 Expansions
This section is only marginally required in the present chapter so it can be post-
poned with minor consequences.
We will find it convenient to expand the language L with a predicate for a given
D ⊆ U|z| . We denote by hU, Di the corresponding expansion of U. Generally, we
write L(X) for the expanded language but, if the intended interpretation of X is
only going to be D, we may write L(D) and abbreviate hU ; Di ϕ(X) as ϕ(D).
15.1 Remark The definitions above are straightforward when z finite tuple. When z
is an infinite tuple the intuition stays the same but a more involved definition is
required. In fact, first-order logic does not allow infinitary predicates. We think of
L(X) for a two sorted language. The home sort, denoted by 0, and the z-sort, denoted
by z. The expansion hU, Di has domain U for the home sort, and U|z| for the z-sort.
Besides the symbols of L, there is a function symbol πi for every i < |z| which is
interpreted as the projection to the i-coordinate. These functions have arity hz, 0i
(see Section 13.1 for the notation). There is also a predicate of sort hzi interpreted
as D.
What said above is adapted to define the expansion L(Xi : i < λ) , where Xi are
predicates of arity |zi |. Again, when the sets Di ⊆ U|zi | are the only intended
interpretation of Xi , we may write L(Di : i < λ) .
If C, D ⊆ U|z| we abbreviate hU, Ci ≡ A hU, Di as C ≡ A D. We also say that D is
saturated if so is the model hU ; Di.
15.2 Remark For every D ⊆ U|z| there is a saturated C ≡ D. In fact, it suffices to find
a saturated model hU0 , D0 i ≡ hU, Di of cardinality κ. By saturation, there is an
isomorphism f : U0 → U. Therefore f [D0 ] is the required set C.
15.3 Exercise Prove that if D ⊆ U|z| is saturated and invariant over A than it is definable
over A.
15.4 Proposition If D ⊆ U|z| is invariant over A then every A-indiscernible sequence is in-
discernible in the language L( A ; D).
Proof Let c̄ = hci : i ∈ I i be an A-indiscernible sequence. For every I0 , I1 ∈ I [n]
there is an f ∈ Aut (U/A) such that f c I0 = c I1 , Hence
115
ϕ c I0 ; D ↔ ϕ f c I0 ; f [D] ↔ ϕ c I1 ; D .
15.5 Exercise Prove that if C ⊆ U|z| is type-definable over B then ≡ A,B implies ≡ A ;C .
over A if it is invariant over every model M ⊇ A. Recall that this means that if
a ≡ M c for some model M containing A then a ∈ D ↔ c ∈ D.
15.6 Proposition Let λ = | Lz ( A)|. There are at most 22 sets D ⊆ U|z| that are Lascar
λ
invariant over A.
Proof Let N be a model containing A of cardinality ≤ λ. Every set that is Lascar
invariant over A is invariant over N. As | Lz ( N )| = λ the bound follows from
Proposition 14.1.
15.7 Theorem For every D and every A ⊆ M the following are equivalent
1. D is Lascar invariant over A;
Proof 1⇒2. This implication is clear because all sets in o (D/A) are Lascar invari-
ant over A.
2 ⇒ 3. When | M | ≤ | L( A)| the implication follows from the bounds discussed in
Section 14.1. We temporary add this assumption on M. Once the proof of the
proposition is completed, is easily seen to be redundant.
3 ⇒ 4. This implication holds because κ is a strong limit cardinal.
4 ⇒ 5. Assume ¬5. Then we can find an A-indiscernible sequence hci : i < κ i such
that c0 ∈ D ↔
/ c1 ∈ D. Define
E(u ; v) ⇔ u ∈ C ↔ v ∈ C for every C ∈ o (D/A).
Then E(u ; v) is an A-invariant equivalence relation. As ¬ E(c0 ; c1 ), by Proposi-
tion 15.4, indiscernibility over A implies that ¬ E(ci , c j ) for every i < j < κ. Then
E(u ; v) has κ equivalence classes. As κ is inaccessible, this implies ¬4.
5⇒1. Fix any a ≡ N b where A ⊆ N. It suffices to prove that a ∈ D ↔ b ∈ D.
Let p(z) ∈ S(U) be a global coheir of tp( a/N ) = tp(b/N ). Let c̄ = hci : i < ω i be
a Morley sequence of p(z) over N, a, b. Then both a, c̄ and b, c̄ are A-indiscernible
sequences. Therefore, from 5 we obtain a ∈ D ↔ c0 ∈ D ↔ b ∈ D.
116
For definable sets Lascar invariance reduces to definablity over the algebraic closure.
15.8 Corollary For every definable set D the following are equivalent
1. D is Lascar invariant over A;
The following corollary easily follows from Theorem 15.7 and Proposition 15.4. As
an exercise the reader may wish to prove it using Proposition 14.12.
B Given a tuple a ∈ U|z| , we write L( a/A) for the intersection of all sets containing
a that are Lascar invariant over A. Clearly L( a/A) is Lascar invariant over A. The
symbol L( a/A) is not standard.
L
15.10 Definition We write a ≡ A b and say that a and b have the same Lascar strong type over
A if the equivalence a ∈ D ↔ b ∈ D holds for every set D that is Lascar invariant over A
or, in other words, if L( a/A) = L(b/A). The notation L-stp( a/A) = L-stp(b/A) and
aEL/A b are also common in the the literature.
L
15.11 Proposition The relation ≡ A is the finest equivalence relation with < κ classes that is
invariant over A.
L
Proof Clearly ≡ A is an equivalence relation invariant over A. Each equivalence
class is Lascar invariant over A, hence the number of equivalence classes is bounded
L
by the number of Lascar invariant sets over A. To see that ≡ A is the finest of such
equivalences. Suppose D is an equivalence class of an A-invariant equivalence
relation with < κ classes. Then o (D/A) has also cardinality < κ. Then D is Lascar
L
invariant and as such it is union of classes of the relation ≡ A .
Let p( x ) ∈ S(U) be global type; we say that p is Lascar invariant over A if the
sets D p,ϕ for ϕ( x ; z) ∈ L all Lascar invariant over A. (The sets D p,ϕ are defined in
Section 14.1.)
15.12 Proposition Let p( x ) ∈ S(U) be a global type. Then the following are equivalent
1. p( x ) is Lascar invariant over A;
117
the formula ϕ( x ; c0 ) ↔
/ ϕ( x ; c1 ). Hence, c̄ is not indiscernible over any realization
of p( x )c0 ,c1
1⇒3 Assume 1 and fix an A-indiscernible sequence c̄ = hci : i < ω i and some
a pc̄ . We need to prove that for every formula ϕ( x ; z0 ) ∈ L, where z0 = z1 , . . . , zn ,
ϕ ( a ; c 0 , . . . , c n −1 ) ↔ ϕ ( a ; c i 1 , . . . , c i n −1 ) .
holds for every i0 < · · · < in−1 < ω. Suppose not and let m be any integer larger
than in−1 . Then the following equivalences cannot both be true
ϕ ( a ; c m , . . . , c m + n −1 ) ↔ ϕ ( a ; c 0 , . . . , c n −1 );
ϕ ( a ; c m , . . . , c m + n −1 ) ↔ ϕ ( a ; c i 0 , . . . , c i n −1 ) .
If the first is false, define c0k = ckm , . . . , ckm+n−1 for all k < ω. Otherwise, do this only
for positive k and set c00 = ci0 , . . . , cin−1 . In either cases hc0k : k < ω i is a sequence of
A-indiscernibles and c00 ∈ D p,ϕ ↔ / c10 ∈ D p,ϕ . This contradicts 1.
L
15.13 Exercise Prove that the equivalence relation a ≡ A b is the transitive closure of the
relation: there is a sequence hci : i < ω i indiscernible over A such that c0 = a and
c1 = b. Hint: apply Theorem 15.7.
Proof To prove inclusion ⊇ it suffices to show that every Lascar A-invariant set
containing a contains the set on the r.h.s. Let D be Lascar A-invariant, and let
b ∈ D. Then D contains also every c such that b ≡ M c for some model M containing
A. That is, D contains every c such that d A (b, c) ≤ 1. It follows that D contains
every c such that d A ( a, c) < ∞.
To prove inclusion ⊆ we prove the set on the r.h.s. is Lascar A-invariant. Suppose
the sequence a0 , . . . , an , where a0 = a and an = c, witnesses d A ( a, c) ≤ n and
suppose that c ≡ M b for some M containing A, then the sequence a0 , . . . , an , b
witnesses d A ( a, b) ≤ n + 1.
We write Autf (U/A) for the subgroup of Aut (U/A) that is generated by the auto-
morphisms that fix point-wise some model M containing A. (The “f” in the symbol
stands for fort, the French word for strong.) It is easy to verify that Autf (U/A) is a
normal subgroup of Aut (U/A). The following is a corollary of Proposition 15.14.
118
L
1. a ≡ A b
15.16 Proposition For every n < ω there is a type pn (z, y) ⊆ L( A) equivalent to d A (z, y) ≤ n.
Proof It suffices to prove the proposition with n = 1. Let λ = | L( A)| and fix a tuple
of distinct variables w = hwi : i < λi, then p1 (z, y) = ∃w p(w, z, y) where
n o
p(w, z, y) = q(w) ∪ ϕ(z, w) ↔ ϕ(y, w) : ϕ(z, w) ∈ L( A)
and q(w) ⊆ L( A) is a consistent type with the property that all its realizations
enumerate a model containing A.
It remains to verify that such a type exist. Let hψi ( x, wi ) : i < λi be an enumeration
of the formulas in L x,w ( A), where x is a single variable. Let
n o
q(w) = ∃ x ψi ( x, wi ) → ψi (wi , wi ) : i < λ .
Any realization of q(w) satisfy the Tarski-Vaught test therefore it enumerates a
model containing A. Vice versa it is clear that we can realize q(w) in any model
containing A.
15.17 Lemma The union of finitely many drifting sets in not quasi-invariant.
Proof It is convenient to prove an apparently more general claim. If D1 , . . . , Dn are
all drifting and L is such that for some finite F ⊆ G
L f [ D1 ∪ · · · ∪ D n ] ,
[
] ⊆
f ∈F
then L is not quasi-invariant. The claim is vacuously true for n = 0. Now, assume
n is positive and that the claim holds for n − 1. Define C = D1 ∪ · · · ∪ Dn−1 and
rewrite ] as follows
L f [C] ∪ h [Dn ]
[ [
⊆
f ∈F h∈ F
Since Dn is drifting there is a g ∈ G such that g[Dn ] is disjoint from h[Dn ] for every
h ∈ F, which implies that
L ∩ g [Dn ] f [C].
[
⊆
f ∈F
119
hg−1 [L] ∩ h[Dn ] hg−1 f [C]
[
⊆
f ∈F
By the induction hypothesis, the set on the r.h.s. is not quasi-invariant. Hence
neither is L, proving the claim and with it the lemma.
15.18 Lemma Let p( x ) ⊆ L( B) and pn ( x ) ⊆ L( A), for n < ω, be consistent types such that
_
1. p( x ) → pn ( x )
n<ω
Then there is an n < ω and a formula ϕ( x ) ∈ L( A) consistent with p( x ) such that
2. p( x ) ∧ ϕ( x ) → pn ( x )
Proof Negate 2 and choose inductively for every n < ω a formula ψn ( x ) ∈ pn ( x )
such that p( x ) ∧ ¬ψ0 ( x ) ∧ · · · ∧ ¬ψn ( x ) is consistent. By compactness, this contra-
dicts 1.
15.19 Theorem (Newelski) For every a ∈ U|z| the following are equivalent
1. L( a/A) is type-definable;
2. L( a/A) =
c : d A ( a, c) < n for some n < ω.
Proof Implications 2⇒1 holds by Proposition 15.16. We prove 1⇒2. Suppose
L( a/A) is type-definable, say by the type l (z). Let p(z, y) be some consistent type
(to be defined below) such that and p(z, y) → l (z) ∧ l (y). Then, in particular
_
p(z, y) → d A (z, y) < n.
n<ω
By Proposition 15.16 and Lemma 15.18, there is some n < ω and some ϕ(z, y) ∈
L( A) consistent with p(z, y) such that
Drifting and quasi-invariance are relative to the action of Autf (U/A) on U|z| . Then,
in particular, p(z, a) ∧ ϕ(z, a) is non-drifting and the theorem follows. In fact, by
non-drifting, there are some a0 , . . . , ak ∈ L( a/A) such that every set p(U, c) ∩ ϕ(U, c)
for c ∈ L( a/A) intersects some p(U, ai ) ∩ ϕ(U, ai ). Let m be such that d A ( ai , a j ) ≤ m
for every i, j ≤ k. From ]1 we obtain that d A ( a, c) ≤ m + 2n. As c ∈ L( a/A) is
arbitrary, the theorem follows.
The required type p(z, y) is union of a chain of types pα (z, y) defined as follows
120
p0 (z, y) = l (z) ∪ l (y);
n o
]3 pα+1 (z, y) = pα (z, y) ∪ ¬ψ(z, y) : pα (z, a) ∧ ψ(z, a) is drifting ;
[
pα (z, y) = pn (z, y) for limit α.
n<α
Clearly, the chain stabilizes at some stage ≤ | L( A)| yielding a type which satisfies
]2 . So we only need to prove consistency. We prove that pα (z, a) is quasi-invariant
(so, in particular, consistent). Suppose that pn (z, a) is quasi-invariant for every
n < α but, for a contradiction, pα (z, a) is not. Then for some f 1 , . . . , f k ∈ Autf (U/A)
k
[
pα (z, a) ∪ pα (z, f i a)
i =1
is inconsistent. By compactness there is some n < α and some ψi (z, y) as in ]3 such
that
m ^
^ k
pn (z, a) → ¬ ¬ψj (z, f i a)
j =1 i =1
15.20 Exercise Let L be quasi-invariant and let D be drifting, prove that L r D is quasi-
invariant.
4 Kim-Pillay types
Given a tuple a ∈ U|z| , we write K( a/A) for the intersection of all type-definable
sets containing a that are Lascar invariant over A. Or, more concisely, the intersec-
tion of all sets that are type-definable over a model containing A. We call K( a/A)
the Kim-Pillay strong type over A. Clearly K( a/A) is Lascar invariant over A. It
also easy to see that K( a/A) is type-definable. In fact, by invariance, we can assume
that all types in the intersection above are over M, for any fixed model containing
A. Hence K( a/A) is the minimal type-definable set containing a and closed under
L
the relation ≡ A . It follows that if b ∈ K( a/A) then K(b/A) ⊆ K( a/A).
To summarize, we recall that we have defined a whole hierarchy of strong types
obtained from the intersection of different sets with various sots of invariance
L( a/A) ⊆ K( a/A) ⊆ S( a/A) ⊆ O( a/A).
Recall that S( a/A) was defined after Proposition 13.13.
If K( a/A) = K(b/A), we say that a and b have the same Kim-Pillay strong type
KP KP
over A. We abbreviate this by a ≡ A b . In other words, we write a ≡ A b when
a ∈ D ↔ b ∈ D for every type-definable set D that is Lascar invariant over A.
KP
B Warning: the symbol K( a/A) is not standard. The symbol a ≡ A b is not unusual,
but some author write KP-stp( a/A) = KP-stp(b/A) or a EKP/A b.
15.21 Proposition Fix some a ∈ U|z| and some A ⊆ U. Then there is a type e(z ; w) ⊆ L( A)
121
such that K(b/A) = e(U ; b) for all b ∈ O( a/A) and e(z ; w) defines an equivalence
relation on O( a/A).
Proof Notice that K( a/A) is type-definable over A, a. In fact, if f ∈ Aut (U/A, a)
and D is a set containing a that is type-definable and Lascar invariant over A, then
so is f [D]. Therefore K( a/A) is invariant over A, a. As K( a/A) is type-definable,
invariance implies that it is type-definable over A, a. Let e(z ; w) ⊆ L( A) be such
that K( a/A) = e(U ; a).
We prove that K(b/A) = e(U ; b) for all b ∈ O( a/A). Let f ∈ Aut (U/A) be such
that f a = b. If D is a type-definable Lascar invariant over A, then so is f [D].
Therefore, f is a bijection between type-definable sets that are Lascar invariant over
A and contain a and analogous sets containing b. Then f [K( a/A)] = K(b/A) and
K(b/A) = e(U ; b) follows.
We prove that e(b ; U) ∩ O( a/A) is Lascar invariant over A. Let f ∈ Autf (U/A) and
c ∈ O( a/A). Then e(b ; f c) is equivalent to e( f −1 b ; c) which in turn is equivalent to
e(b ; c), by the invariance of e(U ; c).
Finally we are ready to prove that e(z ; w) defines a symmetric relation on O( a/A).
From what proved above, e(b ; U) ∩ O( a/A) is a type-definable Lascar invariant set
containing b and therefore it contains K(b/A). We conclude that for all b, c ∈
O( a/A)
e(c ; b) ↔ c ∈ e(U ; b) ↔ c ∈ K(b/A) → e(b ; c)
Reflexivity is clear; we prove transitivity. As remarked above, K(b/A) ⊆ K(c/A),
for all b ∈ K(c/A) or equivalently e(b ; c). Hence if e(b ; c) then
e(d ; b) → d ∈ K(b/A) ↔ d ∈ K(c/A) → e(d ; c).
Which completes the proof.
15.22 Corollary For every a, b ∈ U|z| and A ⊆ U the following are equivalent
1. a ∈ K(b/A);
2. b ∈ K( a/A);
3. K( a/A) = K(b/A).
The following useful lemma is the key ingredient in the proof of Theorem 15.24.
15.23 Lemma Let p(z) ⊆ L( A) and let e(z ; w) ⊆ L( A) define a bounded equivalence relation
on p(U). Then there is a type e0 (z ; w) ⊆ L( A) which defines a bounded equivalence relation
(on U) and refines e(z ; w) on p(U).
Proof Let C = hCi : i < λi enumerate the partition of p(U) induced by e(z ; w).
Note that each Ci is type-definable over A, a for any a ∈ Ci . If x = h xi : i < λi, we
write x ∈ C for the type that is the conjunction of xi ∈ Ci for i < λ.
We claim that the required type is
e0 ( a ; b) = ∃ x 0 ∈ C ∃ x 00 ∈ C a, x 0 ≡ A b, x 00
def
122
Let z be such that a, x 0 , z ≡ A b, x 00 , y0 then z ∈ C and a, z ≡ A c, y00 .
The relation e0 ( a ; b) clearly refines the equivalence defined by e(z ; w) when re-
stricted to to p(U). To prove that it is bounded fix some c ∈ C and note that e0 ( a ; b)
is refined by a ≡ A,c b, which is bounded.
15.24 Theorem Denote by e A (z ; w) be the finest bounded equivalence relation on U|z| that is
type-definable over A. Then for every a, b ∈ U|z| the following are equivalent
KP
1. a ≡ b
2. e A ( a ; b).
KP
Proof As a ≡ b is equivalent to a ∈ K(b/A), it suffices to prove that e A (U ; b) =
K(b/A) for every b ∈ U|z| .
⊆ The orbit of e A (U ; b) under Aut (U/A) has cardinality < κ. Hence, by The-
orem 15.7, it is Lascar invariant over A. As K(b/A) is the least of such sets,
K(b/A) ⊆ e A (U ; b).
⊇ Let e(z ; w) be the type-definable equivalence relation given by Proposition 15.21.
The orbit of K(b/A) under Aut (U/A) has cardinality < κ. Hence the equivalence
relation that e(z ; w) defines on O(b/A) is bounded. By Lemma 15.23 there is be
a type-definable bounded equivalence relation e0 (z ; w) ⊆ L( A) that refines e(z ; w)
on O(b/A). As e0 (z ; w) is refined by e A (z ; w), we obtain e A (U ; b) ⊆ e(U ; b) =
K(b/A).
The logic A-topology , or simply the logic topology when A is empty, is the topol-
ogy on U|z| whose closed sets are the type-definable Lascar A-invariant sets. It is
KP
clearly a compact topology. Its Kolmogorov quotient, that is U|z| / ≡, is Hausdorff.
KP
In fact, by Corollary 15.22, the open sets ¬K( a/A) and ¬K(b/A) separate b 6≡ a.
15.25 Exercise Prove that the clopen sets in the logic A-topology are exactly the sets that
are definable over acleq A.
[1] Rodrigo Peláez, About the Lascar group, PhD Thesis, Universitat de Barcelona,
Departament de Lógica, História i Filosofia de la Ciéncia, 2008.
[2] Pierre Simon, A guide to NIP theories, Lecture Notes in Logic, vol. 44, Association
for Symbolic Logic, Cambridge University Press, 2015.
123
Chapter 16
Externally definable sets
In this chapter we fix a signature L, a complete theory T without finite models,
and a saturated model U of inaccessible cardinality κ strictly larger than | L|. The
notation and implicit assumptions are as in Section 9.3.
1 Approximable sets
Let C, D ⊆ U|z| . The set D ∩ A|z| is called the trace of D over A. We write C = A D
if C and D have the same trace on A.
We say that D is externally definable if it is of the form D p,ϕ for some global type
p ∈ Sx (U) and some formula ϕ( x ; z) ∈ L, see Section 14.1. We may say that D is
externally definable by p . Equivalently, a set D is externally definable if it is the
trace over U of a set which is definable in some elementary extension of U. Precisely,
D is the trace on U of a set of the form ϕ(b0 ; U0 ) where U0 is elementary extension
of U and b0 ∈ U0| x| . The latter interpretation explains the terminology.
B We prefer to deal with external definability in a different, though equivalent, way.
This is not the most common approach.
16.1 Definition We say that D is approximated by the formula ϕ( x ; z) if for every finite B
there is a b ∈ U| x| such that ϕ(b ; U) = B D. If in addition we have that ϕ(b ; U) ⊆ D, we
say that D is approximated from below . Similarly, when D ⊆ ϕ(b ; U) we say that D is
approximated from above . We may call ϕ( x ; z) the sort of D.
2. D is externally definable.
16.3 Definition We say that the global type p ∈ Sx (U) is honestly definable if for every
ϕ( x ; z) ∈ L the set D p,ϕ is approximated from below (by some formula). We say that p is a
definable if the sets D p,ϕ are all definable (over U). Note that the terminology is misleading:
honestly definable is a weaker than definable.
16.4 Example Every definable set is trivially approximable. Clearly, only by the right
formulas. Let T = Tdlo . Then D = {z ∈ U : a ≤ z ≤ b} is approximable both from
below and from above by the formula x1 < z < x2 though it is not definable by this
formula.
124
Now, let T = Trg . Then every D ⊆ U is approximable and, when D has small infinite
cardinality, it is approximable from above but not from below, see Exercise 6.22.
In Definition 16.1, the sort ϕ( x ; z) is fixed (otherwise any set would be approx-
imable) but this requirement of uniformity may be dropped if we allow B to have
larger cardinality.
Proof To prove 2⇒1 assume 2 and negate 1 for a contradiction. For each formula
ψ( x ; z) ∈ L choose a finite set B such that ψ(b ; U) 6= B D for every b ∈ U| x| . Let C be
the union of all these finite sets. Clearly |C | ≤ | T |. By 2 there are a formula ϕ( x ; z)
and a tuple c such that ϕ(c ; U) =C D, contradicting the definition of C.
Implication 1⇒2 is obtained by compactness and the equivalence 3⇔4 is proved
similarly.
above.
From the following easy observation of Chernikov and Simon [1] we obtain an
interesting (and misterious) quantifier elimination result originally due to Shelah
(see also Corollary 16.20 below).
16.7 Proposition Let C ⊆ U|y z| be approximated from below by the formula ϕ( x ; y z). Then
D = z : ∃y y z ∈ C is approximated from below by the formula ∃y ϕ( x ; y z).
125
h i
b’. ∀y z ϕ( a ; y z) → y z ∈ C
We obtain b from b’ simply by logic. Implication → in a follows from a’ and c.
Implication ← follows from b.
16.8 Corollary If p ∈ Sx (U) is honestly definable then the family of sets externally definable
by p is closed under quantifiers and Boolean combinations.
Proof The sets externally definable by p are always closed under Boolean opera-
tions. By the proposition above, they are closed under quantifiers.
Proof The theorem follows immediately from the the three lemmas below.
16.10 Remark Theorem 16.9 is often stated in the following apparently more general
form. For every A ⊆ U there are a1,1 , . . . , an,m ∈ A| x| such that
n ^
m
for every z ∈ A|z|
_
z∈D ↔ ϕ( ai,j ; z)
i =1 j =1
126
16.11 Lemma If D is approximated from below by a stable formula ϕ( x ; z) then there are
a1 , . . . , an ∈ U| x| such that
n
_
z∈D ↔ ϕ ( ai ; z )
i =1
16.12 Lemma If D is approximated by a stable formula ϕ( x ; z) with ladder order m. Then the
formula
m
^
ψ ( x1 , . . . , x m ; z ) = ϕ( x j ; z)
j =1
is stable.
Proof For legibility, we only prove that ϕ( x1 ; z) ∧ ϕ( x2 ; z) is stable. Suppose not
and let a1i , a2i ∈ U| x| and bi ∈ U|z| be such that
i<j ⇔ ϕ( a1i ; b j ) ∧ ϕ( a2i ; b j ) for all i, j < ω
For n = 1, 2 let Hn ⊆ (ω2 ) contain those pairs j < i such that ¬ ϕ( ain ; b j ). By the
equivalence above H1 ∪ H2 = (ω2 ). By the Ramsey Theorem there is an infinite set
H such that ( H2 ) ⊆ Hn for at least one of n = 1, 2. Suppose H1 for definiteness. So,
we obtain an infinite sequence a1i , bi such that
j < i ⇔ ¬ ϕ( a1i ; b j ) for all i, j < ω
which contradicts the stability of ϕ( x ; z).
16.14 Exercise The following is a version of Harrinton’s mysterious Lemma (cfr. [1,
127
Lemma 8.3.4]). Let ϕ( x ; z) ∈ L be a stable formula and suppose B ⊆ U|z| and
A ⊆ U| x| are approximated by ϕ( x ; z) and ϕ( x ; z)∗ , respectively. Then at least one
of the conditions 1 and 2 below occurs
1. a. ϕ( x ; z) ∧ x ∈ A approximates B and
b. ϕ( x ; z)∗ ∧ z ∈ B approximates A.
2. a. ϕ( x ; z) ∧ x ∈/ A approximates B and
b. ϕ( x ; z)∗ ∧ z ∈
/ B approximates A.
Hint: Note that at least one of 1a or 2a occurs. Hence it sufficies to prove that
1a⇒1b and 2a⇒2b. The two implications are essentially equivalent.
3 Vapknik-Chevronenkis dimension
We say that the formula ϕ( x ; z) ∈ L has Vapknik-Chevronenkis dimension n if this
is the largest finite cardinatity of a set A ⊆ U| x| such that |S ϕ ( A)| = 2n . If such n
does not exist, we say that we say that ϕ( x ; z) has infinite VC-dimension .
Note that the condition |S ϕ ( A)| = 2n is equivalent to saying that every subset of A
is the trace of some definable set of sort ϕ( x ; z).
For instance, the formula z1 < x < z2 in Tdlo has VC-dimension 1.
Arguing by compactness we obtain the following proposition whose proof is left as
an exercise for the reader.
2. there is no infinite set A ⊆ U| x| such that every subset of A is the trace of some definable
set of sort ϕ( x ; z).
From the proposition above and Proposition 16.28 below it follows that all stable
formulas have finite VC-dimension.
We say that the a sequence of sentences h ϕi : i < ω i converges if the truth value of
ϕi is eventually constant.
Proof 1⇒2 Assume ¬2. It suffices to prove that for every I ⊆ ω the type that says
ϕ ( ai ; z ) ⇔ i ∈ I
is finitely consistent. Let ψ I n ( x0 , . . . , xn−1 ) the formula that says that there is a z
such that
ϕ ( xi ; z ) ⇔ i ∈ I for all i < n.
is finitely consistent we need to prove that ψ I n ( a0 , . . . , an−1 ) is true. If there is a b
such that the truth value of h ϕ( ai ; b) : i < ω i oscillates at least n times, then we can
find k0 < · · · < k n−1 such that
128
ϕ( aki ; b) ⇔ i ∈ I.
This proves that ψ I n ( ak0 , . . . , akn−1 ) is true. By indiscernibility, also ψ I n ( a0 , . . . , an−1 )
holds true.
2⇒1 Let I ⊆ ω be the set of even integers. Assume ¬1 and let hci : i < ω i be an
infinite sequence that is shattered by ϕ( x ; z). Let h ai : i < ω i be an indiscernible
sequence with the same EM-type as hci : i < ω i. Then h ai : i < ω i satisfies
ψ I n ( x0 , . . . , xn−1 ) for all n. By compactness there is a b such that
ϕ ( ai ; z ) ⇔ i is even.
This proves ¬2.
4 Honest definitions
In this section we present a beautiful theorem of Chernikov and Simon [1] and their
alternative proof of a famous quantifier elimination result of Shelah.
We write ¬n for ¬ . .n. .times /n .
. . . . . ¬. We abbreviate ¬n (· ∈ ·) as ∈
16.18 Lemma Let C be a set approximable by a formula with finite VC-dimension and let A be
any (small) set of parameters. Then every global A-invariant type p( x ) contains a formula
ψ( x ) such that either ψ( x ) → x ∈ C or ψ( x ) → x ∈
/ C. Moreover, for every sufficiently
saturated model M containing A, we can require that ψ( x ) ∈ L( M )
Proof The property we want to prove is elementary in L(C) therefore, by Re-
mark 15.2 we can assume that C is saturated. By Corollary 16.17, there is no infinite
sequence h ai : i < ω i
ai / i C}
p A,ai ( x ) ∪ { x ∈
Let n be the largest integer such that h ai : i < ni satisfies the condition above. Then
/n C
p A,an ( x ) → x ∈
and the first claim of the lemma follows by compactness.
Now let M be a model that contains A and such that h M, Ci hU, Ci. Assume
also that h M, Ci is saturated, we can further require that all ai ∈ M| x| . Hence
ψ ( x ) ∈ L ( M ).
16.19 Theorem Let C be a set approximable by a formula with finite VC-dimension. Then C is
approximable from above and from below.
Proof Let A ⊆ C be any non empty (small) set. As above, by Remark 15.2 we can
assume that C is saturated. Let M be a saturated elementary substructure of U, in
the language L(C). Define
ϕ ( x ) ∈ L ( M ) : A ⊆ ϕ (U) .
q( x ) =
By compactness, it suffices to prove that q( x ) → x ∈ C. Suppose not and fix some
/ C. Let p( x ) = tp( a/M ). As p( x ) is finitely satisfied in A and
a q( x ) ∧ x ∈
129
M is saturated, from Lemma 16.18 yields a formula ψ( x ) ∈ p( x ) such that either
ψ( x ) → x ∈ C or ψ( x ) → x ∈/ C. But the first contradicts a ψ( x ) and the second
cannot hold because ψ( x ) is satisfied in A ⊆ C.
When all formulas have finite VC-dimension, we say that the theory T has the
non-independence property or, for short, that T is nip .
Let hDi : i < λi be the collection of all subsets of U, of arbitrary finite arity, that are
externally definable. The expansion of U to the language L(Xi : i < λ) is called the
Shelah expansion of U and is denoted by USh .
From Theorem 16.19 and Proposition 16.7 we obtain the following.
16.20 Corollary If T is nip then USh has L-elimination of quantifiers. (I.e. every formula is
Boolean combination of formulas in L and formulas of the form z ∈ Di .)
5 Stable theories
We say that T is a stable theory if every formula is stable.
Let p( x ) ∈ S(U) be a global type. We say that p( x ) is a definable type if for all for-
mulas ϕ( x ; z) ∈ L the sets D p,ϕ are definable. We say that p( x ) is definable over A
if so are all the sets D p,ϕ .
If p( x ) ∈ S(U) is a global type, a canonical base of p( x ) is a definably closed set
Cb(p) ⊆ Ueq such that an automorphism f ∈ Aut (U) fixes p( x ) if and only if
it fixes Cb ( p) pointwise. When they exist, canonical bases are unique, see Exer-
cise 16.27.
Clearly, any definable type has a canonical base, namely
Cb ( p) = dcleq D p,ϕ : ϕ( x ; z) ∈ L .
Therefore if T is stable, all global types have a canonical base.
We now turn to Lascar invariance. Quite interestingly when T is stable this reduces
to a more manageable kind of invariance.
16.21 Proposition Let T be stable and let p( x ) ∈ S(U). Then the following are equivalent
1. p( x ) is Lascar invariant over A;
130
Proof Let pi ( x ) ∈ S(Ueq ), for i = 1, 2, be two global types that extend q( x ) and are
invariant over acleq A. To prove that p1 ( x ) = p2 ( x ), it suffices to show that for every
formula ϕ( x ; z) ∈ L
# D p1 ,ϕ = D p2 ,ϕ
Note that, by Proposition 16.21 both sets belong to acleq A. Clearly, for i = 1, 2, the
formula ∀z ϕ( x ; z) ↔ z ∈ D pi ,ϕ belongs to pi ( x ). Then both formulas belong to
q( x ) and # follows.
Proof 1⇒2. This is left as an exercise to the reader (stability is not required).
Sh
2⇒1. Assume a ≡ A b. By Proposition 13.13 this is equivalent to a ≡acleq A b. Let
q( x ) = tp( a/acleqA) = tp(b/acleqA). Let p( x ) ∈ S(Ueq ) be the unique global type
that is invariant over acleq A and extends q( x ) which we obtain from by Proposi-
tion 16.22. Let c̄ = hci : i < ω i be such that ci p acleq ( A), a, b, ci . Then a, c̄ and
b, c̄ are A-indiscernible sequences, which proves 1, see Exercise 15.13.
We end this section with a characterization of stability which is not directly related
with the properties discussed above.
16.27 Exercise Let p( x ) ∈ S(U). Prove that there is at most one definably closed set
A ⊆ Ueq such that Aut (U/A) is the set of automorphisms that fix p( x ).
131
6 Stability and the number of types
The following proposition highlights the connection between stability and the car-
dinality of types.
Binary trees of formulas have been introduced in Definition 12.18. Here we restrict
to trees hψs : s ∈ 2<λ i of a particular form. Namely, ψ∅ = > and for every s ∈ 2<λ
we have ψs1 = ϕ( x ; bs ) and ψs0 = ¬ ϕ( x ; bs ). When such a binary tree of height ω
exists, we say that ϕ( x ; z) has the binary tree property .
3. |S( A)| ≤ | A| for every set A such that | L| < cf( A).
132
1⇒3. Proposition 16.28 implies that |S( A)| ≤ | A|| L| . Therefore, when | L| < cf( A),
we obtain |S( A)| ≤ | A|.
16.31 Exercise Prove that ϕ( x ; z) is stable if and only if every set approximated by ϕ( x ; z)
is definable.
133
Chapter 17
Topological dynamics
1 T.b.c.
134
Chapter 18
Keisler measures
1 T.b.c.
135