A Course in Model Theory
A Course in Model Theory
Contents
1 The Basics 1
1.1 Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3 Quantifier Elimination 14
3.1 Preservation theorems . . . . . . . . . . . . . . . . . . . . . . 14
3.2 Quantifier elimination . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4 Countable Models 32
4.1 The omitting types theorem . . . . . . . . . . . . . . . . . . . 32
4.2 The space of types . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.3 ℵ0 -categorical theories . . . . . . . . . . . . . . . . . . . . . . 37
4.4 The amalgamation method . . . . . . . . . . . . . . . . . . . 41
4.5 Prime Models . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5 ℵ1 -categorical Theories 47
5.1 Indiscernibles . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.2 𝜔-stable theories . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.3 Prime extensions . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.4 Lachlan’s Theorem . . . . . . . . . . . . . . . . . . . . . . . . 60
1
5.5 Vaughtian pairs . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.6 Algebraic formulas . . . . . . . . . . . . . . . . . . . . . . . . 66
5.7 Strongly minimal sets . . . . . . . . . . . . . . . . . . . . . . . 68
5.8 The Baldwin-Lachlan Theorem . . . . . . . . . . . . . . . . . 75
6 Morley Rank 75
6.1 Saturated models and the monster . . . . . . . . . . . . . . . 75
6.2 Morley rank . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6.3 Countable models of ℵ1 -categorical theories . . . . . . . . . . 90
6.4 Computation of Morley Rank . . . . . . . . . . . . . . . . . . 92
7 Simple Theories 92
7.1 Dividing and forking . . . . . . . . . . . . . . . . . . . . . . . 92
7.2 Simplicity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
B Fields 105
B.1 Ordered fields . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
C Combinatorics 106
C.1 Pregeometris . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
C.2 The Erdős-Rado Theorem . . . . . . . . . . . . . . . . . . . . 108
D Index 108
109
2
1 The Basics
1.1 Structures
Definition 1.1. A language 𝐿 is a set of constants, function symbols and
relation symbols
Definition 1.2. Let 𝐿 be a language. An 𝐿-structure is a pair 𝔄 = (𝐴, (𝑍 𝔄 )𝑍∈𝐿 )
where
𝐴 if a non-empty set, the domain or universe of 𝔄
𝑧𝔄 ∈ 𝐴 if 𝑍 is a constant
𝑍 𝔄 ∶ 𝐴𝑛 → 𝐴 if 𝑍 is an 𝑛-ary function symbol
𝑍 𝔄 ⊆ 𝐴𝑛 if 𝑍 is an 𝑛-ary relation symbol
Definition 1.3. Let 𝔄, 𝔅 be 𝐿-structures. A map ℎ ∶ 𝐴 → 𝐵 is called a
homomorphism if for all 𝑎1 , … , 𝑎𝑛 ∈ 𝐴
ℎ(𝑐𝔄 ) = 𝑐𝔅
ℎ(𝑓 𝔄 (𝑎1 , … , 𝑎𝑛 )) = 𝑓 𝔅 (ℎ(𝑎1 ), … , ℎ(𝑎𝑛 ))
𝑅𝔄 (𝑎1 , … , 𝑎𝑛 ) ⇒ 𝑅𝔅 (ℎ(𝑎1 ), … , ℎ(𝑎𝑛 ))
We denote this by
ℎ∶𝔄→𝔅
If in addition ℎ is injective and
𝔄⊆𝔅
3
Lemma 1.6. If 𝔞 = ⟨𝑆⟩, then every homomorphism ℎ ∶ 𝔄 → 𝔅 is determined by
its values on 𝑆
Definition 1.7. Let (𝐼, ≤) be a directed partial order. This means that for
all 𝑖, 𝑗 ∈ 𝐼 there exists a 𝑘 ∈ 𝐼 s.t. 𝑖 ≤ 𝑘 and 𝑗 ≤ 𝑘. A family (𝔄𝑖 )𝑖∈𝐼 of
𝐿-structures is called directed if
𝑖 ≤ 𝑗 ⇒ 𝔄𝑖 ⊆ 𝔄 𝑗
Lemma 1.8. Let (𝔄𝑖 )𝑖∈𝐼 be a directed family of 𝐿-structures. Then 𝐴 = ⋃𝑖∈𝐼 𝐴𝑖
is the universe of a (uniquely determined) 𝐿-structure
𝔄 = ⋃ 𝔄𝑖
𝑖∈𝐼
𝐿(𝐵) = 𝐿 ∪ 𝐵
𝔄𝐵 = (𝔄, 𝑏)𝑏∈𝐵
4
Let 𝑆 be a set, which we call the set of sorts. An 𝑆-sorted language 𝐿
is given by a set of constants for each sort in 𝑆, and typed function and
relations. For any tuple (𝑠1 , … , 𝑠𝑛 ) and (𝑠1 , … , 𝑠𝑛 , 𝑡) there is a set of relation
symbols and function symbols respectively. An 𝑆-sorted structure is a pair
𝔄 = (𝐴, (𝑍 𝔄 )𝑍∈𝐿 ), where
Example 1.1. Consider the two-sorted language 𝐿𝑃 𝑒𝑟𝑚 for permutation groups
with a sort 𝑥 for the set and a sort 𝑔 for the group. The constants and func-
tion symbols for 𝐿𝑃 𝑒𝑟𝑚 are those of 𝐿𝐺𝑟𝑜𝑢𝑝 restricted to the sort 𝑔 and an
additional function symbol 𝜑 of type (𝑥, 𝑔, 𝑥). Thus an 𝐿𝑃 𝑒𝑟𝑚 -structure
(𝑋, 𝐺) is given by a set 𝑋 and an 𝐿𝐺𝑟𝑜𝑢𝑝 -structure 𝐺 together with a func-
tion 𝑋 × 𝐺 → 𝑋
1.2 Language
#—
Lemma 1.9. Suppose 𝑏 and #—
𝑐 agree on all variables which are free in 𝜑. Then
#—
𝔄 ⊨ 𝜑[ 𝑏 ] ⇔ 𝔄 ⊨ 𝜑[ #—
𝑐]
We define
𝔄 ⊨ 𝜑[𝑎1 , … , 𝑎𝑛 ]
#— #— #—
by 𝔄 ⊨ 𝜑[ 𝑏 ], where 𝑏 is an assignment satisfying 𝑏 (𝑥𝑖 ) = 𝑎𝑖 . Because of
Lemma 1.9 this is well defined.
Thus 𝜑(𝑥1 , … , 𝑥𝑛 ) defines an 𝑛-ary relation
𝜑(𝔄) = {𝑎 ∣ 𝔄 ⊨ 𝜑[𝑎]}
5
to allow the empty conjunction and the empty disjunction. For that we in-
troduce two new formulas: the formula ⊤, which is always true, and the
formula ⊥, which is always false. We define
⋀ 𝜋𝑖 = ⊤
𝑖<0
⋁ 𝜋𝑖 = ⊥
𝑖<0
Lemma 1.10. Every formula can be transformed into an equivalent formula which
is in negation normal form
Definition 1.11. A formula in negation normal form which does not contain
any existential quantifier is called universal. Formulas in negation normal
form without universal quantifiers are called existential
6
Lemma 1.13. The models of Diag(𝔄) are precisely those structures (𝔅, ℎ(𝑎))𝑎∈𝐴
for embeddings ℎ ∶ 𝔄 → 𝔅
Proof. The structures (𝔅, ℎ(𝑎))𝑎∈𝐴 are models of the atomic diagram by
Lemma ??. For the converse, note that a map ℎ is an embedding iff it pre-
serves the validity of all formulas of the form
(¬)𝑥1 =𝑥
̇ 2
𝑐=𝑥
̇ 1
𝑓(𝑥1 , … , 𝑥𝑛 )=𝑥
̇ 0
(¬)𝑅(𝑥1 , … , 𝑥𝑛 )
Proof.
1.3 Theories
Definition 1.14. An 𝐿-theory 𝑇 is a set of 𝐿-sentences
7
A theory which has a model is a consistent theory. We call a set Σ of
#—
𝐿-formulas consistent if there is an 𝐿-structure and an assignment 𝑏 s.t.
#—
𝔄 ⊨ Σ[ 𝑏 ] for all 𝜑 ∈ Σ
Lemma 1.15. Let 𝑇 be an 𝐿-theory and 𝐿′ be an extension of 𝐿. Then 𝑇 is con-
sistent as an 𝐿-theory iff 𝑇 is consistent as a 𝐿′ -theory
Lemma 1.16. 1. If 𝑇 ⊨ 𝜑 and 𝑇 ⊨ (𝜑 → 𝜓), then 𝑇 ⊨ 𝜓
2. If 𝑇 ⊨ 𝜑(𝑐1 , … , 𝑐𝑛 ) and the constants 𝑐1 , … , 𝑐𝑛 occur neither in 𝑇 nor in
𝜑(𝑥1 , … , 𝑥𝑛 ), then 𝑇 ⊨ ∀𝑥1 … 𝑥𝑛 𝜑(𝑥1 , … , 𝑥𝑛 )
Proof. 2. Let 𝐿′ = 𝐿 ⧵ {𝑐1 , … , 𝑐𝑛 }. If the 𝐿′ -structure is a model of 𝑇 and
𝑎1 , … , 𝑎𝑛 are arbitrary elements, then (𝔄, 𝑎1 , … , 𝑎𝑛 ) ⊨ 𝜑(𝑐1 , … , 𝑐𝑛 ).
This means 𝔄 ⊨ ∀𝑥1 … 𝑥𝑛 𝜑(𝑥1 , … , 𝑥𝑛 ).
8
2 Elementary Extensions and Compactness
2.1 Elementary substructures
Let 𝔄, 𝔅 be two 𝐿-structures. A map ℎ ∶ 𝐴 → 𝐵 is called elementary if for
all 𝑎1 , … , 𝑎𝑛 ∈ 𝐴 we have
𝔄 ⊨ 𝜑[𝑎1 , … , 𝑎𝑛 ] ⇔ 𝔅 ⊨ 𝜑[ℎ(𝑎1 ), … , ℎ(𝑎𝑛 )]
which is actually saying (𝔄, 𝑎)𝑎∈𝐴 ≡ (𝔅, 𝑎)𝑎∈𝐴 . We write
≺ 𝔅
ℎ∶𝔄⟶
Lemma 2.1. The models of Th(𝔄𝐴 ) are exactly the structures of the form (𝔅, ℎ(𝑎))𝑎∈𝐴
≺ 𝔅
for elementary embeddings ℎ ∶ 𝔄 ⟶
We call Th(𝔄𝐴 ) the elemantary diagram of 𝔄
A substructure 𝔄 of 𝔅 is called elementary if the inclusion map is ele-
mentary. In this case we write
𝔄≺𝔅
Theorem 2.2 (Tarski’s Test). Let 𝔅 be an 𝐿-structure and 𝐴 a subset of 𝐵. Then
𝐴 is the universe of an elementary substructure iff every 𝐿(𝐴)-formula 𝜑(𝑥) which
is satisfiable in 𝔅 can be satisfied by an element of 𝐴
Proof. If 𝔄 ≺ 𝔅 and 𝔅 ⊨ ∃𝑥𝜑(𝑥), we also have 𝔄 ⊨ ∃𝑥𝜑(𝑥) and there exists
𝑎 ∈ 𝐴 s.t. 𝔄 ⊨ 𝜑(𝑎). Thus 𝔅 ⊨ 𝜑(𝑎)
Conversely, suppose that the condition of Tarski’test is satisfied. First
we show that 𝐴 is the universe of a substructure 𝔄. The 𝐿(𝐴)-formula 𝑥=𝑥 ̇
is satisfiable in 𝔄, so 𝐴 is not empty. If 𝑓 ∈ 𝐿 is an 𝑛-ary function symbol
(𝑛 ≥ 0) and 𝑎1 , … , 𝑎𝑛 is from 𝐴, we consider the formula
𝜑(𝑥) = 𝑓(𝑎1 , … , 𝑎𝑛 )=𝑥
̇
Since 𝜑(𝑥) is always satisfied by an element of 𝐴, it follows that 𝐴 is closed
under 𝑓 ℬ
Now we show, by induction on 𝜓, that
𝔄⊨𝜓⇔𝔅⊨𝜓
for all 𝐿(𝐴)-sentences 𝜓.
For 𝜓 = ∃𝑥𝜑(𝑥). If 𝜓 holds in 𝔄, there exists 𝑎 ∈ 𝐴 s.t. 𝔄 ⊨ 𝜑(𝑎).
The induction hypothesis yields 𝔅 ⊨ 𝜑(𝑥), thus 𝔅 ⊨ 𝜓. For the converse
suppose 𝜓 holds in 𝔅. Then 𝜑(𝑥) is satisfied in ℬ and by Tarski’s test we
find 𝑎 ∈ 𝐴 s.t. 𝔅 ⊨ 𝜑(𝑎). By induction 𝔄 ⊨ 𝜑(𝑎) and 𝔄 ⊨ 𝜓
9
We use Tarski’s Test to construct small elementary substructures
Corollary 2.3. Suppose 𝑆 is a subset of the 𝐿-structure 𝔅. Then 𝔅 has a elemen-
tary substructure 𝔄 containing 𝑆 and of cardinality at most
max(|𝑆|, |𝐿|, ℵ0 )
Proof. We construct 𝐴 as the union of an ascending sequence 𝑆0 ⊆ 𝑆1 ⊆ …
of subsets of 𝐵. We start with 𝑆0 = 𝑆. If 𝑆𝑖 is already defined, we choose an
element 𝑎𝜑 ∈ 𝐵 for every 𝐿(𝑆𝑖 )-formula 𝜑(𝑥) which is satisfiable in 𝔅 and
define 𝑆𝑖+1 to be 𝑆𝑖 together with these 𝑎𝜑 .
An 𝐿-formula is a finite sequence of symbols from 𝐿, auxiliary symbols
and logical symbols. These are |𝐿| + ℵ0 = max(|𝐿|, ℵ0 ) many symbols and
there are exactlymax(|𝐿|, ℵ0 ) many 𝐿-formulas
Let 𝜅 = max(|𝑆|, |𝐿|, ℵ0 ). There are 𝜅 many 𝐿(𝑆)-formulas: therefore
|𝑆1 | ≤ 𝜅. Inductively it follows for every 𝑖 that |𝑆𝑖 | ≤ 𝜅. Finally we have
|𝐴| ≤ 𝜅 ⋅ ℵ0 = 𝜅
10
Proof. Chang&Keisler p220
Let 𝐶 be the union of the 𝐶𝑖 and 𝑇 𝐻 the set of all Henkin axioms
∃𝑥𝜑(𝑥) → 𝜑(𝑐𝜑(𝑥) )
for 𝐿(𝐶)-formulas 𝜑(𝑥). It is easy to see that one can expand every 𝐿-
structure to a model of 𝑇 𝐻 . Hence 𝑇 ∪ 𝑇 𝐻 is a finitely satisfiable Henkin
theory. Using the fact that the union of a chain of finitely satisfiable theo-
ries is also finite satisfiable, we can apply Zorn’s Lemma and get a maximal
finitely satisfiable 𝐿(𝐶)-theory 𝑇 ∗ which contains 𝑇 ∪ 𝑇 𝐻 . As in Lemma
1.19 we show that 𝑇 ∗ is finitely complete: if neither 𝜑 nor ¬𝜑 belongs to 𝑇 ∗ ,
neither 𝑇 ∗ ∪ {𝜑} nor 𝑇 ∗ ∪ {¬𝜑} would be finitely satisfiable. Hence there
would be a finite subset Δ of 𝑇 ∗ which would be consistent neither with 𝜑
nor with ¬𝜑. Then Δ itself would be inconsistent and 𝑇 ∗ would not be finite
satisfiable. This proves the lemma.
11
Lemma 2.7. Every finitely satisfiable 𝐿-theory 𝑇 can be extended to a finitely com-
plete Henkin theory 𝑇 ∗
Lemma 2.8. Every finitely complete Henkin theory 𝑇 ∗ has a model 𝔄 (unique up
to isomorphism) consisting of constants; i.e.,
(𝔄, 𝑎𝑐 )𝑐∈𝐶 ⊨ 𝑇 ∗
with 𝐴 = {𝑎𝑐 ∣ 𝑐 ∈ 𝐶}
Proof. Since 𝑇 ∗ is finite complete, every sentence which follows from a finite
subset of 𝑇 ∗ belongs to 𝑇 ∗
Define for 𝑐, 𝑑 ∈ 𝐶
𝑐 ≃ 𝑑 ⇔ 𝑐=𝑑 ̇ ∈ 𝑇∗
≃ is an equivalence relation. We denote the equivalence class of 𝑐 by 𝑎𝑐 , and
set
𝐴 = {𝑎𝑐 ∣ 𝑐 ∈ 𝐶}
We expand 𝐴 to an 𝐿-structure 𝔄 by defining
We have to show that this is well-defined. For (⋆) we have to show that
𝔄∗ ⊨ 𝜑 ⇔ 𝜑 ∈ 𝑇 ∗
12
Proof. Introduce new constants 𝑐1 , … , 𝑐𝑛 . Then Σ is consistent with 𝑇 is and
only if 𝑇 ∪ Σ(𝑐1 , … , 𝑐𝑛 ) is consistent. Now apply the Compactness Theorem
𝔄 ⊨ Σ(𝑎)
13
Corollary 2.14. Every structure 𝔄 has an elementary extension 𝔅 in which all
types over 𝐴 are realised
𝔄 = 𝔄0 ≺ 𝔄1 ≺ ⋯ ≺ 𝔄𝛽 ≺ … (𝛽 ≤ 𝜆)
1. If
max(|𝑆|, |𝐿|) ≤ 𝜅 ≤ |𝐵|
then 𝔅 has an elementary substructure of cardinality 𝜅 containing 𝑆
2. If 𝔅 is infinite and
max(|𝔅|, |𝐿|) ≤ 𝜅
then 𝔅 has an elementary extension of cardinality 𝜅
14
is finitely satisfiable. By Lemma 2.1 any model (𝔅′𝐵 , 𝑏𝑐 )𝑐∈𝐶 is an ele-
mentary extension of ℬ with 𝜅 many different elements (𝑏𝑐 )
Finally we apply the first part of the theorem to ℬ′ and 𝑆 = 𝐵
Corollary 2.16. A theory which has an infinite model has a model in every cardi-
nality 𝜅 ≥ max(|𝐿|, ℵ0 )
Definition 2.17. Let 𝜅 be an infinite cardinal. A theory 𝑇 is called 𝜅-categorical
if for all models of 𝑇 of cardinality 𝜅 are isomorphic
Theorem 2.18 (Vaught’s Test). A 𝜅-categorical theory 𝑇 is complete if the fol-
lowing conditions are satisfied
1. 𝑇 is consistent
2. 𝑇 has no finite model
3. |𝐿| ≤ 𝜅
Proof. We have to show that all models 𝔄 and 𝔅 of 𝑇 are elemantarily equiv-
alent. As 𝔄 and 𝔅 are infinite, Th(𝔄) and Th(𝔅) have models 𝔄′ and 𝔅′ of
cardinality 𝜅. By assumption 𝔄′ and 𝔅′ are isomorphic, and it follows that
𝔄 ≡ 𝔄 ′ ≡ 𝔅′ ≡ 𝔅
Example 2.1. 1. The theory DLO of dense linear orders without endpoints
is ℵ0 -categorical and by Vaught’s test complete. Let 𝐴 = {𝑎𝑖 ∣ 𝑖 ∈ 𝜔},
𝐵 = {𝑏𝑖 ∣ 𝑖 ∈ 𝜔}. We inductively define sequences (𝑐𝑖 )𝑖<𝜔 , (𝑑𝑖 )𝑖<𝜔 ex-
hausting 𝐴 and 𝐵. Assume that (𝑐𝑖 )𝑖<𝑚 , (𝑑𝑖 )𝑖<𝑚 have defined so that
𝑐𝑖 ↦ 𝑑𝑖 , 𝑖 < 𝑚 is an order isomorphism. If 𝑚 = 2𝑘 let 𝑐𝑚 = 𝑎𝑗 where
𝑎𝑗 is the element with minimal index in {𝑎𝑖 ∣ 𝑖 ∈ 𝜔} not occurring
in (𝑐𝑖 )𝑖<𝑚 . Since 𝔅 is a dense linear order without endpoints there
is some element 𝑑𝑚 ∈ {𝑏𝑖 ∣ 𝑖 ∈ 𝜔} s.t. (𝑐𝑖 )𝑖≤𝑚 and (𝑑𝑖 )𝑖≤𝑚 are order
isomorphic. If 𝑚 = 2𝑘 + 1 we interchange the roles of 𝔄 and 𝔅
2. For any prime 𝑝 or 𝑝 = 0, the theory ACF𝑝 of algebraically closed fields
of characteristic 𝑝 is 𝜅-categorical for any 𝜅 > ℵ0
Consider the Theorem 2.18 we strengthen our definition
Definition 2.19. Let 𝜅 be an infinite cardinal. A theory 𝑇 is called 𝜅-categorical
if it is complete, |𝑇 | ≤ 𝜅 and, up to isomorphism, has exactly one model of
cardinality 𝜅
15
3 Quantifier Elimination
3.1 Preservation theorems
Lemma 3.1 (Separation Lemma). Let 𝑇1 , 𝑇2 be two theories. Assume ℋ is a set
of sentences which is closed under ∧, ∨ and contains ⊥ and ⊤. Then the following
are equivalent
𝑇1 ⊨ 𝜑 and 𝑇2 ⊨ ¬𝜑
𝔄1 ⊨ 𝜑 and 𝔄2 ⊨ ¬𝜑
Proof. 2 → 1. For any model 𝔄1 of 𝑇1 let ℋ𝔄1 be the set of all sentences
from ℋ which are true in 𝔄1 . (2) implies that ℋ𝔄1 and 𝑇2 cannot have a
common model. By the Compactness Theorem there is a finite conjunction
𝜑𝔄1 of sentences from ℋ𝔄1 inconsistent with 𝑇2 . Clearly
𝑇1 ∪ {¬𝜑𝔄1 ∣ 𝔄1 ⊨ 𝑇1 }
𝑇1 ⊨ 𝜑 and 𝑇2 ⊨ ¬𝜑
𝑓 ∶ 𝔄 →Δ 𝔅
We also write
𝔄 ⇒Δ 𝔅
to express that all sentences from Δ true in 𝔄 are also true in 𝔅
16
Lemma 3.2. Let 𝑇 be a theory, 𝔄 a structure and Δ a set of formulas, closed un-
der existential quantification, conjunction and substitution of variables. Then the
following are equivalent
Theorem 3.3. Let 𝑇1 and 𝑇2 be two theories. Then the following are equivalent
𝔄1 ⊨ 𝜑 → 𝔄 2 ⊨ 𝜑 ⇔ 𝔄2 ⊨ ¬𝜑 → 𝔄2 ⊨ ¬𝜑
𝔄2 ⇒∃ 𝔄1
17
The reason that we want to use ∃ is that it holds in the substructure case
and we could imagine that 𝔄2 ⊆ 𝔄1 (I guess this is our intuition). Now
by Lemma 3.2 we have 𝔄1′ ≡ 𝔄1 and a map 𝑓 ∶ 𝔄2 →∃ 𝔄1′ . Apparently
𝔄1′ ⊨ Diag(𝔄2 ) and 𝑓 is an embedding. Hence 𝔄1′ is a model of 𝑇1 and
𝑇2
Definition 3.4. For any 𝐿-theory 𝑇 , the formulas 𝜑(𝑥), 𝜓(𝑥) are said to be
equivalent modulo 𝑇 (or relative to 𝑇 ) if 𝑇 ⊨ ∀𝑥(𝜑(𝑥) ↔ 𝜓(𝑥))
𝑇 ⊨ ∀𝑥(𝜑(𝑥) → 𝜓(𝑥))
𝑇 ⊨ ∀𝑥(¬𝜑(𝑥) → ¬𝜓(𝑥))
18
An ∀∃-formula is of the form
∀𝑥1 … 𝑥𝑛 𝜓
where 𝜓 is existential
Proof. Write
𝜑 = ∀𝑥𝜓(𝑥)
where 𝜓 is existential. For any 𝑎 ∈ 𝐵 there is an 𝐴𝑖 containing 𝑎, clearly 𝜓(𝑎)
holds in 𝔄𝑖 . As 𝜓(𝑎) is existential it must also hold in 𝔅
Theorem 3.8. Let 𝑇1 and 𝑇2 be two theories. Then the following are equivalent
𝔄 ⇒∀∃ 𝔅0
Again we have
𝔅0 ⇒∃∀ 𝔄
we have a map
𝑓 ′ ∶ 𝔅0 →∃∀ 𝔄0
where 𝔄0 ≡ 𝔄. Since ∀-sentences are also ∃∀-sentences, we thus have a
map 𝑓 ∶ 𝔅0 →∀ 𝔄0 .
Here we need to prove that 𝔅0 is isomorphic to a substructure of 𝔄0 ,
which is clear since 𝑓 is an embedding. Then we can assume that 𝔅0 ⊆ 𝔄0
and 𝑓 is the inclusion map. Then
0
𝔄𝐵 ⇒∃ 𝔅0𝐵
19
(Here we are talking about existential sentences in the original language. If
𝔅0 ⊨ ∃𝑥𝜑(𝑥) for some 𝜑(𝑥), then 𝔅0 ⊨ 𝜑(𝑏). So we can use constants 𝐵
to talk about existential sentences) Applying Lemma 3.2 again, we obtain
an extension 𝔅1𝐵 of 𝔄𝐵 0
with 𝔅1𝐵 ≡ 𝔅0𝐵 , i.e. 𝔅0 ≺ 𝔅1 . Hence we have an
infinite chain
𝔅0 ⊆ 𝔄0 ⊆1 𝔅1 ⊆ 𝔄1 ⊆ 𝔅2 ⊆ ⋯
𝔅0 ≺ 𝔅1 ≺ 𝔅2 ≺ ⋯
𝔄𝑖 ≡ 𝔄
Let 𝔅 be the union of the 𝔄𝑖 . Since 𝔅 is also the union of the elementary
chain of the 𝔅𝑖 , it is an elementary extension of 𝔅0 and hence a model of
𝑇2 . But the 𝔄𝑖 are models of 𝑇1 , so (2) does not hold
20
Exercise 3.1.1. Let 𝑋 be a topological space, 𝑌1 and 𝑌2 quasi-compact (com-
pact but not necessarily Hausdorff) subsets, and ℋ a set of clopen subsets.
Then the following are equivalent
1. There is a positive Boolean combination 𝐵 of elements from ℋ s.t.
𝑌1 ⊆ 𝐵 and 𝑌2 ∩ 𝐵 = ∅
2. For all 𝑦1 ∈ 𝑌1 and 𝑦2 ∈ 𝑌2 there is an 𝐻 ∈ ℋ s.t. 𝑦1 ∈ 𝐻 and 𝑦2 ∉ 𝐻
Proof. 2 → 1. Consider an element 𝑦1 ∈ 𝑌1 and ℋ𝑦1 , the set of all elements
of ℋ containing 𝑦1 . 2 implies that the intersection of the sets in ℋ𝑦1 is dis-
joint from 𝑌2 . So a finite intersection ℎ𝑦1 of elements of ℋ𝑦1 is disjoint from
𝑌2 . The ℎ𝑦𝑖 , 𝑦1 ∈ 𝑌1 , cover 𝑌1 . So 𝑌1 is contained in the union 𝐻 of finitely
many of the ℎ𝑦𝑖 . Hence 𝐻 separates 𝑌1 from 𝑌2
21
Lemma 3.13. The theory 𝑇 has quantifier elimination iff every primitive existential
formula is, modulo 𝑇 , equivalent to a quantifier-free formula
Proof. We can write every simple existential formula in the form ∃𝑦 ⋁𝑖<𝑛 𝜌𝑖
for 𝜌𝑖 which are conjunctions of basic formulas. This shows that every sim-
ple existential formula is equivalent to a disjunction of primitive existential
formulas, namely to ⋁𝑖<𝑛 (∃𝑦𝜌𝑖 ). We can therefore assume that every simple
existential formula is, modulo 𝑇 , equivalent to a quantifier-free formula
We are now able to eliminate the quantifiers in arbitrary formulas in
prenex normal form (Exercise 1.2.1)
𝑄1 𝑥1 … 𝑄𝑛 𝑥𝑛 𝜌
3. For all models 𝔐1 and 𝔐2 of 𝑇 with a common substructure 𝔄 and for all
primitive existential formulas 𝜑(𝑥1 , … , 𝑥𝑛 ) and parameter 𝑎1 , … , 𝑎𝑛 from
𝐴 we have
𝔐1 ⊨ 𝜑(𝑎1 , … , 𝑎𝑛 ) ⇒ 𝔐2 ⊨ 𝜑(𝑎1 , … , 𝑎𝑛 )
(this is exactly the equivalence relation)
22
3 → 1. Let 𝜑(𝑥) be a primitive existential formula. In order to show that
𝜑(𝑥) is equivalent, modulo 𝑇 , to a quantifier-free formula 𝜌(𝑥) we extend
𝐿 by an 𝑛-tuple 𝑐 of new constants 𝑐1 , … , 𝑐𝑛 . We have to show that we can
separate 𝑇 ∪ {𝜑(𝑐)} and 𝑇 ∪ {¬𝜑(𝑐)} by a quantifier free sentence 𝜌(𝑐).
Then 𝑇 ⊨ 𝜑(𝑐) → 𝜌(𝑐) and 𝑇 ⊨ ¬𝜑(𝑐) → ¬𝜌(𝑐). Hence 𝑇 ⊨ 𝜑(𝑐) ↔ 𝜌(𝑐).
We apply the Separation Lemma (ℋ hear is the set of quantifier-free sen-
tence). Let 𝔐1 and 𝔐2 be two models of 𝑇 with two distinguished 𝑛-tuples
𝑎1 and 𝑎2 . Suppose that (𝔐1 , 𝑎1 ) and (𝔐2 , 𝑎2 ) satisfy the same quantifier-
free 𝐿(𝑐)-sentences. We have to show that
𝑓 ∶ 𝔄1 → 𝔄2
We define 𝑓 by this equation and have to check that 𝑓 is well defined and
injective. Assume
1 1
𝑠𝔐 [𝑎1 ] = 𝑡𝔐 [𝑎𝑓 1 ]
Then 𝔐1 , 𝑎1 ⊨ 𝑠(𝑐)=𝑡(𝑐),
̇ and by our assumption, 𝔐1 and 𝔐2 satisfy the
same quantifier-free 𝐿(𝑐)-sentence, it also holds in (𝔐2 , 𝑎2 ), which means
2 2
𝑠𝔐 [𝑎2 ] = 𝑡𝔐 [𝑎2 ]
23
is equivalent to (𝔐1 , 𝑎1 ) ⊨ 𝑅(𝑡1 (𝑐), … , 𝑡𝑚 (𝑐)), which is equivalent to (𝔐2 , 𝑎2 ) ⊨
𝑅(𝑡1 (𝑐), … , 𝑡𝑚 (𝑐)), which in turn is equivalent to
2 2
𝔐2 ⊨ 𝑅 [𝑡𝔐 2 𝔐 2
1 [𝑎 ], … , 𝑡𝑚 [𝑎 ]]
Lemma 3.16 (Robinson’s Test). Let 𝑇 be a theory. Then the following are equiv-
alent
1. 𝑇 is model complete
𝔐2 ⊨ 𝜑 ⇒ 𝔐1 ⊨ 𝜑
24
1. Each model of 𝑇 can be extended to a model of 𝑇 ∗
3. 𝑇 ∗ is model complete
25
we set 𝔄𝛼+1 = 𝔄𝛼 . For limit ordinals 𝜆 we define 𝔄𝜆 to be the union of all
𝔄𝛼 . 𝔄𝜆 is again a model of 𝑇∀
The structure 𝔄1 = 𝔄𝜅 has the following property: every existential
𝐿(𝐴)-sentence which holds in an extension of 𝔄1 that is a model of 𝑇 holds
in 𝔄1 . Now in the same manner, we construct 𝔄2 from 𝔄1 , etc. The union
𝔐 of the chain 𝔄0 ⊆ 𝔄1 ⊆ 𝔄2 ⊆ … is the desired 𝑇 -ec structure
𝔅
≺ ≺1
𝔄 𝔐
≺1 ≺
𝔑
Lemma 3.21. Let 𝑇 be a theory. Then there is a biggest inductive theory 𝑇 KH with
𝑇∀ = 𝑇∀KH . We call 𝑇 KH the Kaiser hull of 𝑇
Lemma 3.22. The Kaiser hull 𝑇 𝐾𝐻 is the ∀∃-part of the theory of all 𝑇 -ec struc-
tures
Proof. Let 𝑇 ∗ be the ∀∃-part of the theory of all 𝑇 -ec structures. Since 𝑇 -
ec structures are models of 𝑇∀ , we have 𝑇∀ ⊆ 𝑇∀∗ . It follows from 3.20 that
𝑇∀∗ ⊆ 𝑇∀ . Hence 𝑇 ∗ is contained in the Kaiser Hull.
It remains to show that every 𝑇 -ec structure 𝔐 is a model of the Kaiser
hull. Choose a model 𝔑 of 𝑇 𝐾𝐻 which contains 𝔐. Then 𝔐 ≺1 𝔑. This
implies 𝔑 ⇒∀∃ 𝔐 and therefore 𝔐 ⊨ 𝑇 𝐾𝐻
26
Theorem 3.23. For any theory 𝑇 the following are equivalent
1. 𝑇 has a model companion 𝑇 ∗
3.3 Examples
Infinite sets. The models of the theory Infset of infinite sets are all infinite
sets without additional structure. The language 𝐿∅ is empty, the axioms are
(for 𝑛 = 1, 2, …)
• ∃𝑥0 … 𝑥𝑛−1 ⋀𝑖<𝑗<𝑛 ¬𝑥𝑖 =𝑥
̇ 𝑗
27
Theorem 3.24. The theory Infset of infinite sets has quantifier elimination and is
complete
Proof. Since the language is empty, the only basic formula is 𝑥𝑖 = 𝑥𝑗 and
¬(𝑥𝑖 = 𝑥𝑗 ). By Lemma 3.13 we only need to consider primitive existential
formulas. Then for any 𝔐1 , 𝔐2 ⊨ Infset, they have a common substructure
𝔄 with 𝜔 different elements. Suppose 𝔐1 ⊨ ∃𝑥𝜑(𝑥),
1. 𝑏1 ∈ 𝐴, we set 𝑏2 = 𝑏1
28
𝐿𝑀𝑜𝑑 (𝑅) = 𝐿𝐴𝑏𝐺 ∪ {𝑟 ∣ 𝑟 ∈ 𝑅}. The theory Mod(𝑅) of 𝑅-modules consists
of
AbG
∀𝑥, 𝑦 𝑟(𝑥 + 𝑦)=𝑟𝑥
̇ + 𝑟𝑦
∀𝑥 (𝑟 + 𝑠)𝑥=𝑟𝑥
̇ + 𝑠𝑥
∀𝑥 (𝑟𝑠)𝑥=𝑟(𝑠𝑥)
̇
∀𝑥 1𝑥=𝑥
̇
for all 𝑟, 𝑠 ∈ 𝑅. Then Infset ∪ Mod(𝑅) is the theory of all infinite 𝑅-modules
A module over fields is a vector space
Theorem 3.26. Let 𝐾 be a field. Then the theory of all infinite 𝐾-vector spaces
has quantifier elimination and is complete
𝑟1 𝑥1 + ⋯ + 𝑟𝑚 𝑥𝑚 = 0
∃𝑦(𝛾1 ∧ ⋯ ∧ 𝛾𝑛 )
Theorem 3.28. For every ring 𝑅 and any 𝑅-module 𝑀 , every 𝐿𝑀𝑜𝑑 (𝑅)-formula
is equivalent (modulo the theory of 𝑀 ) to a Boolean combination of positive prim-
itive formulas
29
Lemma 3.29. Let 𝜑(𝑥, 𝑦) be a pp-formula and 𝑎 ∈ 𝑀 . Then 𝜑(𝑀 , 𝑎) is empty or
a coset of 𝜑(𝑀 , 0)
Lemma 3.31 (B. H. Neumann). Let 𝐻𝑖 denote subgroups of some abelian group.
𝑛
If 𝐻0 + 𝑎0 ⊆ ⋃𝑖=1 𝐻𝑖 + 𝑎𝑖 and 𝐻0 /(𝐻0 ∩ 𝐻𝑖 ) is infinite for 𝑖 > 𝑘, then 𝐻0 + 𝑎0 ⊆
𝑘
⋃𝑖=1 𝐻𝑖 + 𝑎𝑖
𝑘
Lemma 3.32. Let 𝐴𝑖 , 𝑖 ≤ 𝑘, be any sets. If 𝐴0 is finite, then 𝐴0 ⊆ ⋃𝑖=1 𝐴𝑖 iff
∑ (−1)|Δ| ∣𝐴0 ∩ ⋂ 𝐴𝑖 ∣ = 0
Δ⊆{1,…,𝑘} 𝑖∈Δ
Theorem 3.33 (Tarski). The theory ACF of algebraically closed fields has quanti-
fier elimination
𝐾1 𝐾2
𝐺1 (𝑏1 )
𝑔
𝐺1 𝐺2
𝑓
𝐹1 𝐹2
𝑖𝑑
𝑅 𝑅
30
There are two cases
Case 1: 𝑏1 ∈ 𝐺1 . Then 𝑏2 = 𝑔(𝑏1 ) satisfies the formula 𝜌(𝑦) in 𝐾2
Case 2: 𝑏1 ∉ 𝐺1 . Then 𝑏1 is transcendental over 𝐺 and the field extension
𝐺1 (𝑏1 ) is isomorphic to the rational function field 𝐺1 (𝑋). If 𝐾2 is a proper
extension of 𝐺2 , we choose any element from 𝐾2 ⧵ 𝐺2 for 𝑏2 . Then 𝑔 extends
to an isomorphism between 𝐺1 (𝑏1 ) and 𝐺2 (𝑏2 ) which maps 𝑏1 to 𝑏2 . Hence
𝑏2 satisfies 𝜌(𝑦) in 𝐾2 . In case that 𝐾2 = 𝐺2 we take a proper elementary
extension 𝐾2′ of 𝐾2 (Such a 𝐾2′ exists by 2.15 since 𝐾2 is infinite). Then
∃𝑦𝜌(𝑦) holds in 𝐾2′ and therefore in 𝐾2 #+ENDproof
Proof. This follows from Lemma 3.11 since the prime fields are prime struc-
tures for these theories
Proof. Let (𝐾1 , <) and (𝐾2 , <) be two real closed field with a common sub-
ring 𝑅. Consider an 𝐿𝑂𝑅𝑖𝑛𝑔 (𝑅)-sentence ∃𝑦𝜌(𝑦) (for a quantifier-free 𝜌),
which holds in (𝐾1 , <). We have to show ∃𝑦𝜌(𝑦) also holds in (𝐾2 , <)
31
We build first the quotient fields 𝐹1 and 𝐹2 of 𝑅 in 𝐾1 and 𝐾2 . By ??
there is an isomorphism 𝑓 ∶ (𝐹1 , <) → (𝐹2 , <) which fixes 𝑅. The relative
algebraic closure 𝐺𝑖 of 𝐹𝑖 in 𝐾𝑖 is a real closure of (𝐹𝑖 , <). By ?? 𝑓 extends
to an isomorphism 𝑔 ∶ (𝐺1 , <) → (𝐺2 , <)
Let 𝑏1 ∈ 𝐾1 which satisfies 𝜌(𝑦). There are two cases
Case 1: 𝑏1 ∈ 𝐺1 : Then 𝑏2 = 𝑔(𝑏1 ) satisfies 𝜌(𝑦) in 𝐾2
Case 2: 𝑏1 ∉ 𝐺1 . Then 𝑏1 is transcendental over 𝐺1 and the field exten-
sion 𝐺1 (𝑏1 ) is isomorphic to the rational function field 𝐺1 (𝑋). Let 𝐺𝑙1 be the
set of all elements of 𝐺1 which are smaller than 𝑏1 , and 𝐺𝑟1 be the set of all
elements of 𝐺1 which are larger than 𝑏1 . Then all elements of 𝐺𝑙2 = 𝑔(𝐺𝑙1 )
are smaller than all elements of 𝐺𝑟2 = 𝑔(𝐺𝑟1 ). Since fields are densely or-
dered, we find in an elementary extension (𝐾2′ , <) of (𝐾2 , <) an element 𝑏2
which lies between the elements of 𝐺𝑙2 and the elements of 𝐺𝑟2 . Since 𝑏2 is
not in 𝐺2 , it is transcendental over 𝐺2 . Hence 𝑔 extends to an isomorphism
ℎ ∶ 𝐺1 (𝑏1 ) → 𝐺2 (𝑏2 ) which maps 𝑏1 to 𝑏2
In order to how that ℎ is order preserving it suffices to show that ℎ is
order preserving on 𝐺1 [𝑏1 ]. Let 𝑝(𝑏1 ) be an element of 𝐺1 [𝑏1 ]. Corollary ??
gives us a decomposition
𝑝(𝑋) = 𝜖 ∏ (𝑋 − 𝑎𝑖 ) ∏ ((𝑋 − 𝑐𝑗 )2 + 𝑑𝑗 )
𝑖<𝑚 𝑗<𝑛
with positive 𝑑𝑗 . The sign of 𝑝(𝑏1 ) depends only on the signs of the factors
𝜖, 𝑏1 − 𝑎0 , … , 𝑏1 − 𝑎𝑚−1 . The sign of ℎ(𝑝(𝑏1 )) depends in the same way on
the signs of 𝑔(𝜖), 𝑏2 − 𝑔(𝑎0 ), … , 𝑏2 − 𝑔(𝑎𝑚−1 ). But 𝑏2 was chosen in such a
way that
𝑏1 < 𝑎𝑖 ⟺ 𝑏2 < 𝑔(𝑎𝑖 )
Hence 𝑝(𝑏1 ) is positive iff ℎ(𝑝(𝑏1 )) is positive
Finally we have
(𝐾1 , <) ⊨ 𝜌(𝑏1 ) ⇒ (𝐺1 (𝑏1 ), <) ⊨ 𝜌(𝑏1 ) ⇒ (𝐺2 (𝑏2 ), <) ⊨ 𝜌(𝑏2 ) ⇒
⇒ (𝐾2′ , <) ⊨ ∃𝑦𝜌(𝑦) ⇒ (𝐾2 , <) ⊨ ∃𝑦𝜌(𝑦)
RCF is complete since the ordered field of the rationals is a prime structure
Corollary 3.38 (Hilbert’s 17th Problem). Let (𝐾, <) be a real closed field. A
polynomial 𝑓 ∈ 𝐾[𝑋1 , … , 𝑋𝑛 ] is a sum of squares
𝑓 = 𝑔12 + ⋯ + 𝑔𝑘2
32
of rational functions 𝑔𝑖 ∈ 𝐾(𝑋1 , … , 𝑋𝑛 ) iff
𝑓(𝑎1 , … , 𝑎𝑛 ) ≥ 0
for all 𝑎1 , … , 𝑎𝑛 ∈ 𝐾
Proof. Clearly a sum of squares cannot have negative values. For the con-
verse, assume that 𝑓 is not a sum of squares. Then by Corollary ??, 𝐾(𝑋1 , … , 𝑋𝑛 )
has an ordering in which 𝑓 is negative. Since in 𝐾 the positive elements are
squares, this ordering , which we denote by <, extends the ordering of 𝐾.
Let (𝐿, <) be the real closure of (𝐾(𝑋1 , … , 𝑋𝑛 ), <). In (𝐿, <), the sentence
Exercise 3.3.1. Let Graph be the theory of graphs. The theory RG of the ran-
dom graph is the extension of Graph by the following axiom scheme
1. 𝑣 ∉ 𝑉1 ∪ 𝑉2
3. 𝑣 ↮ 𝑦 for every 𝑦 ∈ 𝑉2
Lemma 3.40. An infinite graph 𝐺 ∈ 𝒢(ℵ0 , 𝑝) has all the properties 𝒫𝑖,𝑗 with
probability 1
33
4 Countable Models
4.1 The omitting types theorem
Definition 4.1. Let 𝑇 be an 𝐿-theory and Σ(𝑥) a set of 𝐿-formulas. A model
𝔄 of 𝑇 not realizing Σ(𝑥) is said to omit Σ(𝑥). A formula 𝜑(𝑥) isolates Σ(𝑥)
if
𝑇 = 𝑇0 ⊆ 𝑇 1 ⊆ 𝑇 1 ⊆ …
34
Take a model (𝔄′ , 𝑎𝑐 )𝑐∈𝐶 of 𝑇 ∗ . Since 𝑇 ∗ is a Henkin theory, Tarski’s
Test 2.2 shows that 𝐴 = {𝑎𝑐 ∣ 𝑐 ∈ 𝐶} is the universe of an elementary
substructure 𝔄 (Lemma 2.7). By property (2), Σ(𝑥) is omitted in 𝔄
be a sequence of partial types. If all Σ𝑖 are not isolated, then 𝑇 has a model which
omits all Σ𝑖
2. The sets [𝜑] are closed under Boolean operations. In fact [𝜑] ∩ [𝜓] = [𝜑 ∧ 𝜓],
[𝜑] ∪ [𝜓] = [𝜑 ∨ 𝜓], 𝑆𝑛 (𝑇 ) ⧵ [𝜑] = [¬𝜑], 𝑆𝑛 (𝑇 ) = [⊤] and ∅ = [⊥]
It follows that the collection of sets of the form [𝜑] is closed under finite
intersection and includes 𝑆𝑛 (𝑇 ). So these sets form a basis of a topology on
𝑆𝑛 (𝑇 )
In this book, compact means finite cover and Hausdorff
Proof. Being 0-dimensional means having a basis of clopen sets. Our basic
open sets are clopen since their complements are also basic open
If 𝑝 and 𝑞 are two different types, there is a formula 𝜑 contained in 𝑝 but
not in 𝑞. It follows that [𝜑] and [¬𝜑] are open sets which separate 𝑝 and 𝑞.
This shows that 𝑆𝑛 (𝑇 ) is Hausdorff
35
To prove compactness, we need to show that any collection of closed
subsets of 𝑋 with the finite intersection property has nonempty intersection.
Could check this
Consider a family [𝜑𝑖 ] (𝑖 ∈ 𝐼), with the finite intersection property.This
means that 𝜑𝑖𝑖 ∧ ⋯ ∧ 𝜑𝑖𝑘 are consistent with 𝑇 . So Corollary 2.10 {𝜑𝑖 ∣ 𝑖 ∈ 𝐼}
is consistent with 𝑇 and can be extended to a type 𝑝, which then belongs to
all [𝜑𝑖 ].
𝑋 ↦ {𝐶 ∣ 𝐶 clopen subset of 𝑋}
𝔄 ⊨ 𝜑(𝑎) ⇒ 𝔅 ⊨ 𝜑(𝑓(𝑎))
If 𝜑(𝑥, 𝑓(𝑎)) ∉ 𝑞(𝑥), then 𝔅 ⊭ 𝜑(𝑥, 𝑎). Therefore 𝔄 ⊭ 𝜑(𝑥, 𝑎). 𝑆(𝑓) defines a
map from 𝑆𝑛 (𝐵0 ) to 𝑆𝑛 (𝐴0 ). Moreover, it is surjective since {𝜑(𝑥1 , … , 𝑥𝑛 , 𝑓(𝑎)) ∣
𝜑(𝑥1 , … , 𝑥𝑛 , 𝑎) ∈ 𝑝} is finitely satisfiable for all 𝑝 ∈ 𝑆𝑛 (𝐴0 ). And 𝑆(𝑓) is con-
tinuous since [𝜑(𝑥1 , … , 𝑥𝑛 , 𝑓(𝑎))] is the preimage of [𝜑(𝑥1 , … , 𝑥𝑛 , 𝑎)] under
𝑆(𝑓)
36
There are two main cases
Proof. 𝑝 being an isolated point means that {𝑝} is open, that is, {𝑝} = [𝜑].
The set [𝜑] is a singleton iff [𝜑] is non-empty and cannot be divided into
two non-empty clopen subsets [𝜑∧𝜓] and [𝜑 ∧¬𝜓]. This means that for all 𝜓
either 𝜓 or ¬𝜓 follows from 𝜑 modulo 𝑇 . So [𝜑] is a singleton iff 𝜑 generates
the type
⟨𝜑⟩ = {𝜓(𝑥) ∣ 𝑇 ⊨ ∀𝑥(𝜑(𝑥) → 𝜓(𝑥))}
which is the only element of [𝜑]
This shows that [𝜑] = {𝑝} implies that 𝜑 isolates 𝑝.
Conversely, 𝜑 isolates 𝑝, this means that ⟨𝜑⟩ is consistent with 𝑇 and
contains 𝑝. Since 𝑝 is a type, we have 𝑝 = ⟨𝜑⟩
is a type.
Proof. 1. The sets [𝜑] are a basis for the closed subsets of 𝑆𝑛 (𝑇 ). So the
closed sets of 𝑆𝑛 (𝑇 ) are exactly the intersections ⋂𝜑∈Σ [𝜑] = {𝑝 ∈
𝑆𝑛 (𝑇 ) ∣ Σ ⊆ 𝑝}
1
A subset of a topological space is nowhere dense if its closure has no interior. A count-
able union of nowhere dense sets is meagre
37
2. The set 𝑋 is the union of a sequence of countable nowhere dense sets
𝑋𝑖 . We may assume that 𝑋𝑖 are closed, i.e., of the form {𝑝 ∈ 𝑆𝑛 (𝑇 ) ∣
Σ𝑖 ⊆ 𝑝}. That 𝑋𝑖 has no interior means that Σ𝑖 is not isolated. The
claim follows now from Corollary 4.3
Proof. We define the restriction map 𝑓 ∶ 𝑆𝑚+𝑛 (𝐵) → 𝑆𝑛 (𝐵) as: for 𝑞(𝑥, 𝑦) ∈
𝑆𝑚+𝑛 (𝐵), we let 𝑓(𝑞(𝑥, 𝑦)) = {𝜑(𝑦) ∶ 𝜑(𝑦) ∈ 𝑞(𝑥, 𝑦)}, where 𝑥 and 𝑦 are of
size 𝑚 and 𝑛 respectively.
continuous is easy
Now given an open set [𝜙(𝑣, 𝑤)] ⊆ 𝑆𝑚+𝑛 (𝐵). We need to prove 𝑓([𝜙(𝑣, 𝑤)]) =
[∃𝑣𝜙(𝑣, 𝑤)] which is clear
[𝜙(𝑥, 𝑦)] ∈ 𝜋−1 (tp(𝑎/𝐵)) iff 𝔐 ⊨ ∃𝑥𝜙(𝑥, 𝑎). Thus define 𝑔 ∶ [𝜙(𝑥, 𝑦)] ↦
[𝜙(𝑥, 𝑎)]. If [𝜙(𝑥, 𝑎)] = [𝜓(𝑥, 𝑎)], then ⊨ 𝜙(𝑥, 𝑎) ↔ 𝜓(𝑥, 𝑎).
Exercise 4.2.4. A theory 𝑇 has quantifier elimination iff every type is implied
by its quantifier-free part
Exercise 4.2.5. Consider the structure 𝔐 = (ℚ, <). Determine all types in
𝑆1 (ℚ). Which of these types are realised in ℝ? Which extensions does a
type over ℚ have to a type over ℝ?
Proof.
38
Definition 4.12. An 𝐿-structure 𝔄 is 𝜔-saturated if all types over finite sub-
sets of 𝐴 are realised in 𝔄
The types in the definition are meant to be 1-types. On the other hand, it
is not hard to see that an 𝜔-saturated structure realises all 𝑛-types over finite
sets (Exercise 4.3.3) for all 𝑛 ≥ 1. The following lemma is a generalisation
of the ℵ0 -categoricity of DLO.
𝑓𝑖 ∶ 𝐴 𝑖 → 𝐵 𝑖
between finite subsets of 𝔄 and 𝔅. We will choose the 𝑓𝑖 in such a way that
𝐴 is the union of the 𝐴𝑖 and 𝐵 the union of the 𝐵𝑖 . The union of the 𝑓𝑖 is
then the desired isomorphism between 𝔄 and 𝔅
The empty map 𝑓0 = ∅ is elementary since 𝔄 and 𝔅 are elementarily
equivalent. Assume that 𝑓𝑖 is already constructed. There are two cases:
𝑖 = 2𝑛; We will extend 𝑓𝑖 to 𝐴𝑖+1 = 𝐴𝑖 ∪ {𝑎𝑛 }. Consider the type
Proof of Theorem 4.11. Assume that there are only finitely many 𝜑(𝑥1 , … , 𝑥𝑛 )
relative to 𝑇 for every 𝑛. By Lemma 4.13 it suffices to show that all models of
𝑇 are 𝜔-saturated. Let 𝔐 be a model of 𝑇 and 𝐴 an 𝑛-element subset. If there
are only 𝑁 many formulas, up to equivalence, in the variable 𝑥1 , … , 𝑥𝑛+1 ,
39
there are, up to equivalence in 𝔐, at most 𝑁 many 𝐿(𝐴)-formulas 𝜑(𝑥).
Thus, each type 𝜑(𝑥) ∈ 𝑆(𝐴) is isolated (w.r.t. Th(𝔐𝐴 )) by a smallest for-
mula 𝜑𝑝 (𝑥) (⋀ 𝑝(𝑥)). Each element of 𝑀 which realises 𝜑𝑝 (𝑥) also realises
𝑝(𝑥), so 𝔐 is 𝜔-saturated.
Conversely, if there are infinitely many 𝜑(𝑥1 , … , 𝑥𝑛 ) modulo 𝑇 for some
𝑛, then - as the type space 𝑆𝑛 (𝑇 ) is compact - there must be some non-
isolated type 𝑝 (if 𝑝 is isolated, then {𝑝} is open). Then by Lemma 4.9 𝑝 is
not isolated in 𝑇 . By the Omitting Types Theorem there is a countable model
of 𝑇 in which this type is not realised. On the other hand, there also exists
a countable model of 𝑇 realizing this type. So 𝑇 is not ℵ0 -categorical
The proof shows that a countable complete theory with infinite models
is ℵ0 -categorical iff all countable models are 𝜔-saturated
given a variables 𝜑𝑖 (𝑎𝑖 ) where 𝑎𝑖 ∈ 𝐴, we can consider ⋀ ∃𝑥𝑖 𝜑𝑖 (𝑥𝑖 ).
Definition 4.14. An 𝐿-structure 𝔐 is 𝜔-homogeneous if for every elemen-
tary map 𝑓0 defined on a finite subset 𝐴 of 𝑀 and for any 𝑎 ∈ 𝑀 there is
some element 𝑏 ∈ 𝑀 s.t.
𝑓 = 𝑓0 ∪ {⟨𝑎, 𝑏⟩}
is elementary
𝑓 = 𝑓0 ∪ {⟨𝑎, 𝑏⟩} is elementary iff 𝑏 realises 𝑓0 (tp(𝑎/𝐴))
Corollary 4.15. Let 𝔄 be a structure and 𝑎1 , … , 𝑎𝑛 elements of 𝔄. Then Th(𝔄) is
ℵ0 -categorical iff Th(𝔄, 𝑎1 , … , 𝑎𝑛 ) is ℵ0 -categorical
Proof. If Th(𝔄) is ℵ0 -categorical, then for any 𝑚 + 𝑛 there is only finitely
many formulas 𝜑(𝑥1 , … , 𝑥𝑚+𝑛 ) up to equivalence relative to Th(𝔄), hence
there is only finitely many 𝜑(𝑥1 , … , 𝑥𝑚 , 𝑎1 , … , 𝑎𝑛 ) up to equivalence relative
to Th(𝔄, 𝑎1 , … , 𝑎𝑛 )
For the converse, Th(𝔄) ⊂ Th(𝔄, 𝑎1 , … , 𝑎𝑛 )
2. For every finite field 𝔽𝑞 , the theory of infinite 𝔽𝑞 -vector spaces. (Vector
spaces over the same field and of the same dimension are isomorphic)
3. The theory DLO of dense linear orders without endpoints. This fol-
lows from Theorem 4.11 since DLO has quantifier elimination: for
every 𝑛 there are only finitely many (say 𝑁𝑛 ) ways to order 𝑛 ele-
ments. Each of these possibility corresponds to a complete formula
40
𝜓(𝑥1 , … , 𝑥𝑛 ). Hence there are up to equivalence, exactly 2𝑁𝑛 many
formulas 𝜑(𝑥1 , … , 𝑥𝑛 )
Lemma 4.17. A countable complete theory is small iff it has a countable 𝜔-saturated
model
Theorem 4.18 (Vaught). A countable complete theory cannot have exactly two
countably models
Proof. We can assume that 𝑇 is small and not ℵ0 -categorical (if 𝑇 is not
small, then it has no countable model). We will show that 𝑇 has at least
three non-isomorphic countable models. First, 𝑇 has an 𝜔-saturated count-
able model 𝔄 and there is a non-isolated type 𝑝(𝑥) which can be omitted in
a countable model 𝔅. Let 𝑝(𝑥) be realised in 𝔄 by 𝑎. Since Th(𝔄, 𝑎) is not
ℵ0 -categorical as 𝑇 ⊂ Th(𝔄, 𝑎), Th(𝔄, 𝑎) has a countable model (ℭ, 𝑐) which
is not 𝜔-saturated. Then ℭ is not 𝜔-saturated and therefore not isomorphic
to 𝔄. But ℭ realises 𝑝(𝑥) and is therefore not isomorphic to 𝔅
41
Exercise 4.3.2. Show that for every 𝑛 > 2 there is a countable complete theory
with exactly 𝑛 countable models
Proof. StackExchange
Exercise 4.3.3. If 𝔄 is 𝜔-saturated, all 𝑛-types over finite sets are realised.
𝑓0
𝔄 𝔐
𝑓1 𝑔
42
1. (Heredity) if 𝔄0 ∈ 𝒦, then all elements of the skeleton of 𝔄0 also belongs to
𝒦
𝔇
𝑔0 𝑔1
𝔅0 𝔅1
𝑓0 𝑓1
𝔄
𝔐0 ⊆ 𝔐 1 ⊆ ⋯ ⊆ 𝔐
43
𝔐𝑖+1
𝑔0 𝑔1
𝔐𝑖 𝔅𝑛
𝔐𝑖+1
𝑔0 𝑔1
𝔐𝑖 𝔅
𝑓0 𝑓1
𝔄
To ensure that 𝔐 is 𝒦-saturated we have in the odd steps to make the right
choice of 𝔄, 𝔅, 𝑓0 and 𝑓1 . Assume that we have 𝔄, 𝔅 ∈ 𝒦 and embeddings
𝑓0 ∶ 𝔄 → 𝔐 and 𝑓1 ∶ 𝔄 → 𝔅. For large 𝑗 the image of 𝑓0 will be contained
in 𝔐𝑗 . During the construction of the 𝔐𝑖 , in order to guarantee the 𝒦-
saturation of 𝔐, we have to ensure that eventually, for some odd 𝑖 ≥ 𝑗, the
embeddings 𝑓0 ∶ 𝔄 → 𝔐𝑖 and 𝑓1 ∶ 𝔄 → 𝔅 were used in the construction
of 𝔐𝑖+1 . This can be done since for each 𝑗 there are - up to isomorphism -
at most countably many possibilities. Thus there exists an embedding 𝑔1 ∶
𝔅 → 𝔐𝑖+1 with 𝑓0 = 𝑔1 ∘ 𝑓1 .
𝒦 is the skeleton of 𝔐: the finitely-generated substructure are the sub-
structures of the 𝔐1 . Since 𝔐𝑖 ∈ 𝒦, their finitely-generated substructure
also belong to 𝒦. On the other hand each 𝐵𝑛 is isomorphic to a substructure
of 𝔐2𝑛+1
Uniqueness follows from Theorem 4.20
44
Lemma 4.22. Let 𝑇 be a complete theory in a finite relational language and 𝔐 an
infinite model of 𝑇 . TFAE
satisfy the same simple existential formulas. We will show from this that
every simple existential formula 𝜑(𝑥1 , … , 𝑥𝑛 ) = ∃𝑦𝜌(𝑥1 , … , 𝑥𝑛 , 𝑦) is, mod-
ulo 𝑇 , equivalent to a quantifier-free formula. Let 𝑟1 (𝑥), … , 𝑟𝑘−1 (𝑥) be the
quantifier-free types of all 𝑛-tuples in 𝔐 which satisfy 𝜑(𝑥). Let 𝜌𝑖 (𝑥) be
equivalent to the conjunction of all formulas from 𝑟𝑖 (𝑥). Then
𝑇 ⊨ ∀𝑥(𝜑(𝑥) ↔ ⋁ 𝜌𝑖 (𝑥))
𝑖<𝑘
45
𝔐 is prime isolated types are dense
𝔐 is 𝜔-homogeneous
𝑓 ∶𝐴→𝐵
46
𝜌(𝑥, 𝑦) ∈ tp(𝑎, 𝑎). This implies that 𝔐0 ⊨ ∀𝑥(𝜑(𝑥, 𝑎) → 𝜌(𝑥, 𝑎)) and 𝔐 ⊨
∀𝑥(𝜑(𝑥, 𝑓(𝑎)) → 𝜌(𝑥, 𝑓(𝑎))). Thus 𝑓(𝑝) is isolated by 𝜑(𝑥, 𝑓(𝑎)) and since
𝜑(𝑥, 𝑓(𝑎)) can be realised in 𝔐, so can be 𝑓(𝑝). Now we prove 𝑓(𝑝) is in-
deed a type. If there are 𝜑(𝑥, 𝑥) ∈ tp(𝑏𝑏) ⧵ 𝑓(𝑝). Then 𝔐0 ⊭ 𝜑(𝑎, 𝑎) and thus
¬𝜑(𝑥, 𝑥) ∈ 𝑓(𝑝) ⊆ tp(𝑏𝑏), a contradiction.
Example 4.2. Let 𝑇 be the language having a unary predicate 𝑃𝑠 for every
finite 0-1-sequence 𝑠 ∈ 2<𝜔 . The axioms of Tree say that the 𝑃𝑠 , 𝑠 ∈ 2<𝜔 ,
form a binary decomposition of the universe
47
• ∀𝑥 𝑃∅ (𝑥)
• ∃𝑥 𝑃𝑠 (𝑥)
2. If 𝑇 has no binary tree of consistent 𝐿-formulas, the isolated types are dense
Exercise 4.5.2. Show that isolated types being dense is equivalent to isolated
types being (topologically) dense in the Stone space 𝑆𝑛 (𝑇 ).
48
5 ℵ1 -categorical Theories
5.1 Indiscernibles
Definition 5.1. Let 𝐼 be a linear order and 𝔄 an 𝐿-structure. A family (𝑎𝑖 )𝑖∈𝐼
of elements of 𝐴 is called a sequence of indiscernibles if for all 𝐿-formulas
𝜑(𝑥1 , … , 𝑥𝑛 ) and all 𝑖1 < ⋯ < 𝑖𝑛 and 𝑗1 < ⋯ < 𝑗𝑛 from 𝐼
if two of the 𝑎𝑖 are equal, all 𝑎𝑖 are the same. Therefore it is often as-
sumed that the 𝑎𝑖 are distinct
Sometimes sequences of indiscernibles are also called order indiscernible
to distinguish them from totally indiscernible sequences in which the or-
dering of the index set does not matter.
Definition 5.2. Let 𝐼 be an infinite linear order and ℐ = (𝑎𝑖 )𝑖∈𝐼 a sequence
of 𝑘-tuples in 𝔐, 𝐴 ⊆ 𝑀 . The Ehrenfeucht-Mostowski type EM(ℐ/𝐴) of ℐ
over 𝐴 is the set of 𝐿(𝐴)-formulas 𝜑(𝑥1 , … , 𝑥𝑛 ) with 𝔐 ⊨ 𝜑(𝑎𝑖1 , … , 𝑎𝑖𝑛 ) for
all 𝑖1 < ⋯ < 𝑖𝑛 ∈ 𝐼, 𝑛 < 𝜔
Lemma 5.3 (The Standard Lemma). Let 𝐼 and 𝐽 be two infinite linear orders and
ℐ = (𝑎𝑖 )𝑖∈𝐼 a sequence of elements of a structure 𝔐. Then there is structure 𝔑 ≡
𝔐 with an indiscernible sequences (𝑏𝑗 )𝑗∈𝐽 realizing the Ehrenfeucht-Mostowski
type EM(ℐ) of ℐ
Corollary 5.4. Assume that 𝑇 has an infinite model. Then for any linear order 𝐼,
𝑇 has a model with a sequence (𝑎𝑖 )𝑖∈𝐼 of distinct indiscernibles
49
of 𝐴′ = 𝐴 ⧵ {𝑎0 }: just colour 𝑥 ∈ [𝐴′ ]𝑛 by the colour of {𝑎0 } ∪ 𝑥 ∈ [𝐴]𝑛+1 .
By the induction hypothesis, there exists an infinite monochromatic subset
𝐵1 of 𝐴′ in the induced colouring. Thus, all the (𝑛 + 1)-element subsets of
𝐴 consisting of 𝑎0 and 𝑛 elements of 𝐵1 have the same colour but {𝑎0 } ∪ 𝐵
is not our desired set.
Now pick any 𝑎1 ∈ 𝐵1 . By the same argument we obtain an infinite
subset 𝐵2 ⊆ 𝐵1 with the same properties. We thus construct an infinite
sequence 𝐴 = 𝐵0 ⊃ 𝐵1 ⊃ 𝐵2 ⊃ … and elements 𝑎𝑖 ∈ 𝐵𝑖 ⧵𝐵𝑖+1 s.t. the colour
of each (𝑛 + 1)-element subset {𝑎𝑖(0) , … , 𝑎𝑖(𝑛) } with 𝑖(0) < 𝑖(1) < ⋯ < 𝑖(𝑛)
depends only on the value of 𝑖(0).
𝑎0 , 𝑎 1 , 𝑎 2 , … , 𝑎 𝑛 , …
Again by the pigeonhole principle there are infinitely many values of 𝑖(0)
for which this colour will be the same and we take {𝑎𝑖(0) }. These 𝑎𝑖(0) then
yields the desired monochromatic set.
Proof of Lemma ??. Choose a set 𝐶 of new constants with an ordering iso-
morphic to 𝐽 . Consider the theories
Here the 𝜑(𝑥) are 𝐿-formulas and 𝑐, 𝑑 tuples in increasing order. We have
to show that 𝑇 ∪ 𝑇 ′ ∪ 𝑇 ″ is consistent. It is enough to show that
where 𝑎, 𝑏 are tuples in increasing order. Since this equivalence has at most
2|Δ| many classes, by Ramsey’s Theorem there is an infinite subset 𝐵 ⊆ 𝐴
with all 𝑛-element subsets in the same equivalence class. We interpret the
constants 𝑐 ∈ 𝐶0 by elements 𝑏𝑐 in 𝐵 ordered in the same way as the 𝑐. Then
(𝔐, 𝑏𝑐 )𝑐∈𝐶0 is a model of 𝑇𝐶0 ,Δ .
50
Lemma 5.6. Assume 𝐿 is countable. If the 𝐿-structure 𝔐 is generated by a well-
ordered sequence (𝑎𝑖 ) of indiscernibles, then 𝔐 realises only countably many types
over every countable subset of 𝑀
𝑆 = {𝑡ℳ 𝑛
𝑛 (𝑎 ) ∣ 𝑛 ∈ 𝜔}
2. 𝑖 is an element 𝑖0 of 𝐼0
There is only one type in the first case, in the other case the type is de-
termined by 𝑖0 . This results in countably many possibilities for each com-
ponent of 𝑖
51
2. Skolem(𝐿) is universal
4. |𝐿Skolem | ≤ max(|𝐿|, ℵ0 )
2. 𝑃 (𝑎) is not a consequence of ∃𝑥𝑃 (𝑥), but a model of ∃𝑥𝑃 (𝑥) provides
a model of 𝑃 (𝑎)
• 𝐴 is a consequence of 𝐵, 𝐵 ⊨ 𝐴
𝐿 = 𝐿0 ⊆ 𝐿1 ⊆ 𝐿2 ⊆ ⋯
Corollary 5.9. Let 𝑇 be a countable theory with an infinite model and let 𝜅 be an
infinite cardinal. Then 𝑇 has a model of cardinality 𝜅 which realises only countably
many types over every countable subset.
52
Proof. Modulo Skolem(𝐿) every axiom 𝜑 of 𝑇 is equivalent to a quantifier-
free 𝐿Skolem -sentence 𝜑∗ . Therefore 𝑇 ∗ is equivalent to the universal theory
Let 𝐼 be a well-ordering of cardinality 𝜅 and 𝔑∗ a model of 𝑇 ∗ with indis-
cernibles (𝑎𝑖 )𝑖∈𝐼 (Existence by the Standard Lemma 5.3). The claim implies
that the substructure 𝔐∗ generated by the 𝑎𝑖 is a model of 𝑇 ∗ and 𝔐∗ has
cardinality 𝜅 (As we can’t control the size of an elementary extension and
Corollary 3.5). Since 𝑇 ∗ has quantifier elimination, 𝔐∗ is an elementary
substructure of 𝔑∗ and (𝑎𝑖 ) is indiscernible in 𝔐∗ . By Lemma 5.6, there are
only countably many types over every countable set realised in 𝔐∗ . The
same is then true for the reduct 𝔐 = 𝔐∗ ∣𝐿
Exercise 5.1.1. A sequence of elements in (ℚ, <) is indiscernible iff it is either
constant, strictly increasing or strictly decreasing
Proof. For any formula 𝜑(𝑥1 , 𝑥2 , … , 𝑥𝑛 ),
ℚ ⊨ 𝜑(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) ↔
𝑇 is 𝜅-categorical
𝑇 is 𝜔-stable
𝑇 is totally transcendental
𝑇 is 𝜅-stable
53
In the previous section we saw that we may add indiscernible elements
to a model without changing the number of realised types. We will now
use this to show that ℵ1 -categorical theories a small number of types, i.e.,
they are 𝜔-stable. Conversely, with few types it is easier to be saturated and
since saturated structures are unique we find the connection to categorical
theories.
|𝐴| ≤ 𝜅 ⇒ |𝑆(𝐴)| ≤ 𝜅
Proof. Assume that 𝑇 is 𝜅-stable for 1-types. We show that 𝑇 is 𝜅-stable for
𝑛-types by induction on 𝑛. Let 𝐴 be a subset of the model 𝔐 and |𝐴| ≤ 𝜅.
We may assume that all types over 𝐴 are realised in 𝔐 (otherwise we take
some elementary extensions by Corollary 2.14). Consider the restriction
map 𝜋 ∶ 𝑆𝑛 (𝐴) → 𝑆1 (𝐴). By assumption the image 𝑆1 (𝐴) has cardinality
at most 𝜅. Every 𝑝 ∈ 𝑆1 (𝐴) has the form tp(𝑎/𝐴) for some 𝑎 ∈ 𝑀 since
all types over 𝐴 are realized in 𝔐. By Exercise 4.2.3, the fibre 𝜋−1 (𝑝) is in
bijection with 𝑆𝑛−1 (𝑎𝐴) and so has cardinality at most 𝜅 by induction. This
shows |𝑆𝑛 (𝐴)| ≤ 𝜅 ⋅ 𝜅 = 𝜅.
Example 5.1 (Algebraically closed fields). The theories ACF𝑝 for 𝑝 a prime
or 0 are 𝜅-stable for all 𝜅
Note that by Theorem 5.15 below it would suffice to prove that the the-
ories ACF𝑝 are 𝜔-stable
54
That ACF𝑝 is 𝜅-stable for 𝑛-types has a direct algebraic proof: the iso-
morphism type of 𝐾[𝑎1 , … , 𝑎𝑛 ]/𝐾 is determined by the vanishing ideal 𝑃
of 𝑎1 , … , 𝑎𝑛 . By :((((
Theorem 5.13. A countable theory 𝑇 which is categorical in an uncountable car-
dinal 𝜅 is 𝜔-stable
Proof. Let 𝔑 be a model and 𝐴 ⊆ 𝑁 countable with 𝑆(𝐴) uncountable. Let
(𝑏𝑖 )𝑖∈𝐼 be a sequence of ℵ1 many elements with pairwise distinct types over
𝐴. (Note that we can assume that all types over 𝐴 are realised in 𝔑) We
choose first an elementary substructure 𝔐0 of cardinality ℵ1 which con-
tains 𝐴 and all 𝑏𝑖 . Then we choose an elementary extension 𝔐 of 𝔐0 . The
model 𝔐 is of cardinality 𝜅 and realises uncountably many types over the
countable set 𝐴. By Corollary 5.9, 𝑇 has another model where this is not the
case. So 𝑇 cannot be 𝜅-categorical
55
The proof and Lemma 5.12 show that 𝑇 is totally transcendental iff there
is no binary tree of consistent formulas in one free variables
The general case follows from Exercise 5.2.2
56
𝜅 in which all types over 𝔐 are realised. So can construct a continuous
elementary chain
𝔐0 ≺ 𝔐1 ≺ ⋯ ≺ 𝔐𝛼 ≺ ⋯ (𝛼 < 𝜆)
of models of 𝑇 with cardinality 𝜅 s.t. all 𝑝 ∈ 𝑆(𝑀𝛼 ) are realised in 𝔐𝛼+1 .
Then 𝔐 is 𝜆-saturated. In fact, if |𝐴| < 𝜆 and if 𝑎 ∈ 𝐴 is contained in 𝑀𝛼(𝑎)
then Λ = ⋃𝑎∈𝐴 𝛼(𝑎) is an initial segment of 𝜆 of smaller cardinality than 𝜆.
We can find since 𝜅 is regular iff cf(𝜅) = 𝜅 iff ∀𝛼 < 𝜅, ⋃𝛽<𝛼 𝑀𝛼 ⊊ 𝑀 . Thus
there is 𝛾 < 𝜅 s.t. ⋃𝛽<𝛼 𝑆𝛼 So Λ has an upper bound 𝜇 < 𝜆. It follows that
𝐴 ⊆ 𝔐𝜇 and all types over 𝐴 are realised in 𝔐𝜇+1
Remark. If 𝑇 is 𝜅-stable for a regular cardinal 𝜅, the previous lemma yields
a saturated model of cardinality 𝜅.
Theorem 5.20. A countable theory 𝑇 is 𝜅-categorical iff all models of cardinality
𝜅 are saturated
Proof. If all models of cardinality 𝜅 are saturated, it follows from Lemma
5.17 that 𝑇 is 𝜅-categorical
Assume, for the converse that 𝑇 is 𝜅-categorical. For 𝜅 = ℵ0 the theorem
follows from Theorem 4.11. So we may assume that 𝜅 is uncountable. Then
𝑇 is totally transcendental by Theorem 5.13 and 5.15 and therefore 𝜅-stable
by Theorem 5.15.
By Lemma 5.19, all models of 𝑇 of cardinality 𝜅 are 𝜇+ -saturated for all
𝜇 < 𝜅. i.e., 𝜅-saturated
Exercise 5.2.1. Show that the theory of an equivalence relation with two in-
finite classes has quantifier elimination and is 𝜔-stable. Is it ℵ1 -categorical?
Exercise 5.2.2. If 𝑇 is an 𝐿-theory and 𝐾 is a sublanguage of 𝐿, the reduct
𝑇 ↾𝐾 is the set of all 𝐾-sentences which follow from 𝑇 . Show that 𝑇 is totally
transcendental iff 𝑇 ↾𝐾 is 𝜔-stable for all at most countable 𝐾 ⊆ 𝐿
Proof.
Exercise 5.2.3. If 𝑇 is 𝜅-stable, then essentially (i.e., up to logical equivalence)
|𝑇 | ≤ 𝜅
Proof. First for any 𝜑, 𝜓 ∈ 𝑇 , define 𝜑 ∼ 𝜓 iff 𝑇 ⊨ 𝜑 ↔ 𝜓. If |𝑇 / ∼| > 𝜅.
If 𝑇 ⊭ 𝜑 ↔ 𝜓, then 𝑇 ⊨ (𝜑∧¬𝜓)∨(¬𝜑∧𝜓). Thus for any non-equivalent
𝜑 and 𝜓, they belong to different types. Thus 𝑆𝑛 (𝑇 ) > 𝜅.
If 𝑇 is 𝜅-stable, then |𝑆𝑛 (∅)| ≤ 𝜅. Choose for any two 𝑛-types over the
empty set a separating formula 𝜑. Then any formula is logically equivalent
to a finite Boolean combination of these 𝜅-many formulas.
57
5.3 Prime extensions
For any model 𝔐 ⊨ 𝑇 and any 𝐴 ⊆ 𝔐
𝑇 is totally transcendental
𝔐 𝔑
𝑖𝑑𝐴
58
Theorem 5.23. If 𝑇 is totally transcendental, every subset of a model of 𝑇 has a
constructible prime extension
Lemma 5.24. If 𝑇 is totally transcendental, the isolated types are dense over every
subset of any model
Lemma 5.25. Let 𝑎 and 𝑏 be two finite tuples of elements of a structure 𝔐. Then
tp(𝑎𝑏) is atomic iff tp(𝑎/𝑏) and tp(𝑏) are atomic
Proof. If 𝜑(𝑥, 𝑦) isolates tp(𝑎, 𝑏). As in the proof of Theorem 4.25, 𝜑(𝑥, 𝑏)
isolates tp(𝑎/𝑏) and we claim that ∃𝑥𝜑(𝑥, 𝑦) isolates 𝑝(𝑦) = tp(𝑏): we have
∃𝑥𝜑(𝑥, 𝑦) ∈ 𝑝(𝑦) and if 𝜎(𝑦) ∈ 𝑝(𝑦), then
Hence
∀𝑥(𝜌(𝑥, 𝑦) → 𝜑(𝑥, 𝑦)) ∈ 𝑝(𝑦)
59
and it follows that
𝑎 = 𝑎𝛼 𝑏
2. Over every countable parameter set the isolated types are dense
60
3. Over every parameter set the isolated types are dense
Proof. We call an 𝐿(𝑀 )-formula large if its realisation set 𝜑(𝔐) is uncount-
able. Since there is no infinite binary tree of large formulas, there exists a
minimal large formula 𝜑0 (𝑥) in the sense that for every 𝐿(𝑀 )-formula 𝜓(𝑥)
either 𝜑0 (𝑥) ∧ 𝜓(𝑥) or 𝜑0 (𝑥) ∧ ¬𝜓(𝑥) is at most countable. Now it’s easy to
see that
𝑝(𝑥) = {𝜓(𝑥) ∣ 𝜑0 (𝑥) ∧ 𝜓(𝑥) large}
is a type in 𝑆(𝑀 ). For any formula 𝜓, if 𝜑(𝔐) = (𝜑(𝔐) ∧ 𝜓(𝔐)) ∪ (𝜑(𝔐) ∧
¬𝜓(𝔐)). So exactly one of it belongs to 𝑝(𝑥).
Clearly 𝑝(𝑥) contains no formula of the form 𝑥=𝑎 ̇ for 𝑎 ∈ 𝑀 , so 𝑝(𝑥) is
not realised in 𝑀 . On the other hand, every countable subset Π(𝑥) ⊆ 𝑝(𝑥) is
realised in 𝔐: since 𝜑0 (𝔐) ⧵ 𝜓(𝔐) = 𝜑0 (𝔐) ∧ ¬𝜓(𝔐) is at most countable
for every 𝜓(𝑥) ∈ Π(𝑥), the elements of 𝜑0 (𝔐) which do not belong to the
union of these sets realised Π(𝑥).
Let 𝑎 be a realisation of 𝑝(𝑥) in a (proper) elementary extension 𝔑. By
Theorem 5.23, we can assume that 𝔑 is atomic over 𝔐 ∪ {𝑎}.
Fix 𝑏 ∈ 𝑁 . We have to show that every countable subset Σ(𝑦) ⊂ tp(𝑏/𝑀 )
is realised in 𝑀 . If the countable set is omitted in 𝔐, then it is omitted in
𝔑.
Let 𝜒(𝑥, 𝑦) be an 𝐿(𝑀 )-formula s.t. 𝜒(𝑎, 𝑦) isolates 𝑞(𝑦) = tp(𝑏/𝑀 ∪{𝑎}).
If 𝑏 realised an 𝐿(𝑀 )-formula 𝜎(𝑦), we have 𝔑 ⊨ ∀𝑦(𝜒(𝑎, 𝑦) → 𝜎(𝑦)). Hence
the formula
𝜎∗ (𝑥) = ∀𝑦(𝜒(𝑥, 𝑦) → 𝜎(𝑦))
belongs to 𝑝(𝑥) 𝑝(𝑥) = tp𝔑 (𝑎/𝑀 ). Note that ∃𝑦𝜒(𝑥, 𝑦) belongs also to 𝑝(𝑥).
Choose an element 𝑎′ ∈ 𝑀 which satisfies
61
We have shown that 𝔐 has a proper elementary extension which realises
no new countable set of 𝐿(𝑀 )-formulas. By iteration we obtain arbitrarily
long chains of elementary extensions with the same property
𝔐′ ≅
𝔑′
Definition 5.31. We say that 𝑇 has a Vaughtian pair if there are two models
𝔐 ≺ 𝔑 and an 𝐿(𝑀 )-formula 𝜑(𝑥) s.t.
62
1. 𝔐 ≠ 𝔑
2. 𝜑(𝔐) is infinite
3. 𝜑(𝔐) = 𝜑(𝔑)
If 𝜑(𝑥) doesn’t contain parameters, we say that 𝑇 has a Vaughtian pair
for 𝜑(𝑥)
Remark. Notice that 𝑇 does not have a Vaughtian pair iff every model 𝔐 is
a minimal extension of 𝜑(𝔐) ∪ 𝐴 for any formula 𝜑(𝑥) with parameters in
𝐴 ⊆ 𝑀 which defines an infinite set in 𝔐. If 𝔐 ≺ 𝔑 is a Vaughtian pair and
𝜑(𝔐) = 𝜑(𝔑). Then as 𝔑 is the minimal extension of 𝜑(𝔐) ∪ 𝐴, 𝔑 ≺ 𝔐
and thus we have an isomorphism
Let 𝔑 be a model of 𝑇 where 𝜑(𝔑) is infinite but has smaller cardinality
than 𝔑. The Löwenheim–Skolem Theorem yields an elementary substruc-
ture 𝔐 of 𝔑 which contains 𝜑(𝔑) and has the same cardinality as 𝜑(𝔑).
Then 𝔐 ≺ 𝔑 is a Vaughtian pair for 𝜑(𝑥). The next theorem shows that a
converse of this observation is also true
Theorem 5.32 (Vaught’s Two-cardinal Theorem). If 𝑇 has a Vaughtian pair,
it has a model 𝔐 of cardinality ℵ1 with 𝜑(𝔐) countable for some formula 𝜑(𝑥) ∈
𝐿(𝑀 )
Lemma 5.33. Let 𝑇 be complete, countable and with infinite models
1. Every countable model of 𝑇 has a countable 𝜔-homogeneous elementary ex-
tension
3. Two 𝜔-homogeneous countable models of 𝑇 realizing the same 𝑛-types for all
𝑛 < 𝜔 are isomorphic
Proof. 1. Let 𝔐0 be a countable model of 𝑇 . We realise the countably
many types
𝔐0 ≺ 𝔐1 ≺ ⋯
63
2. Clear
Proof of Theorem 5.32. Suppose that the Vaughtian pair is witnessed (in cer-
tain models) by some formula 𝜑(𝑥). For simplicity we assume that 𝜑(𝑥)
does not contain parameters (see Exercise 5.5.2). Let 𝑃 be a new unary
predicate. It is easy to find an 𝐿(𝑃 )-theory 𝑇VP whose models (𝔑, 𝑀 ) con-
sist of a model 𝔑 ⊨ 𝑇 and a subset 𝑀 defined by the new predicate 𝑃 which
is the universe of an elementary substructure 𝔐 which together with 𝔑
forms a Vaughtian pair for 𝜑(𝑥). We can express the condition for Vaugh-
tian pair in first-order language with 𝑃 :
1. ∃𝑥(¬𝑃 (𝑥))
3. ∀𝑥(𝜑(𝑥) → 𝑃 (𝑥))
(𝔑0 , 𝑀0 ) ≺ (𝔑1 , 𝑀1 ) ≺ ⋯
of countable Vaughtian pairs, with the aim that both components of the
union pair
(𝔑, 𝑀 )
64
are 𝜔-homogeneous and realise the same 𝑛-types. If (𝔑𝑖 , 𝑀𝑖 ) is given, we
first choose a countable elementary extension (𝔑′ , 𝑀 ′ ) s.t. 𝔐′ realises all
𝑛-types which are realised in 𝔑𝑖 . We only need to consider the 1-type. Then
for each 1-type in 𝔑𝑖 , add a constant. Then we choose as in the proof of
Lemma 5.33 a countable elementary extension (𝔑𝑖+1 , 𝔐𝑖+1 ) of (𝔑′ , 𝑀 ′ ) for
which 𝔑𝑖+1 and 𝔐𝑖+1 are 𝜔-homogeneous Prove: If (𝔑, 𝑀 ) is a countable
𝜔-homogeneous elementary extension of (𝔑′ , 𝑀 ′ ), then both 𝔑 and 𝔐 are
homogeneous
Suppose tp𝔐 (𝑎) = tp𝔐 (𝑏) where 𝑎, 𝑏 ∈ 𝑀 𝑛 and take 𝑎 ∈ 𝔐. For any
𝜑(𝑥) ∈ tp𝔐 (𝑎), 𝜑(𝑥) ∈ tp(𝔑,𝑀) (𝑎) and so tp(𝔑,𝑀) (𝑎) = tp(𝔑,𝑀) (𝑏). And
𝑛+1
there is 𝑏 ∈ 𝔑 s.t. tp(𝔑,𝑀) (𝑎, 𝑎) = tp(𝔑,𝑀) (𝑏, 𝑏). But note that ⋀𝑖=1 𝑃 (𝑥𝑖 ) ∈
tp(𝔑,𝑀) (𝑏, 𝑏) and hence 𝑏 ∈ 𝑀 .
It follows from Lemma 5.33 (3) that 𝔐 and 𝔑 are isomorphic since 𝔐 ≺
𝔑.
Next we construct a continuous elementary chain
𝔐0 ≺ 𝔐1 ≺ ⋯ ≺ 𝔐𝛼 ≺ ⋯ (𝛼 < 𝜔1 )
with (𝔐𝛼+1 , 𝔐𝛼 ) ≅ (𝔑, 𝑀 ) for all 𝛼. We start with 𝔐0 = 𝔐. If 𝔐𝛼 is
constructed, we choose an isomorphism 𝔐 → 𝔐𝛼 and extend it to an iso-
morphism 𝔑 → 𝔐𝛼+1 (Lemma 1.5). For a countable limit ordinal 𝜆, 𝔐𝜆 is
the union of the 𝔐𝛼 (𝛼 < 𝜆). So 𝔐𝜆 is isomorphic to 𝔐 by Lemma 5.33 (2)
and 5.33 (3)
Finally we set
𝔐 = ⋃ 𝔐𝛼
𝛼<𝜔1
65
Proof. By Corollary 5.34, 𝑇 does not have a Vaughtian pair, so 𝔐 is minimal
over 𝐴 ∪ 𝜑(𝔐). If 𝔑 is a prime extension
𝜑(𝔐, 𝑎)
Remark. This means that for all 𝜑(𝑥, 𝑦) there is a 𝜓(𝑦) s.t. in all models 𝔐 of
𝑇 and for all 𝑎 ∈ 𝑀
𝔐 ⊨ ∃∞ 𝑥𝜑(𝑥, 𝑎) ⟺ 𝔐 ⊨ 𝜓(𝑎)
We denote this by
𝑇 ⊨ ∀𝑦 (∃∞ 𝑥𝜑(𝑥, 𝑦) ↔ 𝜓(𝑦))
Proof. If 𝑛𝜑 exists, we can use 𝜓(𝑦) = ∃>𝑛𝜑 𝑥𝜑(𝑥, 𝑦). If conversely 𝜓(𝑦) is
a formula which is implied by ∃∞ 𝑥𝜑(𝑥, 𝑦), a compactness argument shows
that there must be a bound 𝑛𝜑 s.t.
First note that 𝑇 is complete. If there is no such bound, then for any 𝑛 ∈ ℕ,
𝑇 ⊭ ∃>𝑛 𝑥𝜑(𝑥, 𝑦) → 𝜓(𝑦), which is 𝑇 ⊨ ∃>𝑛 𝑥𝜑(𝑥, 𝑦) ∧ ¬𝜓(𝑦). Thus by
compactness 𝑇 ⊨ ∃∞ 𝑥𝜑(𝑥, 𝑦) ∧ ¬𝜓(𝑦), a contradiction.
(𝔐, 𝑁 , 𝑎1 , … , 𝑎𝑛 )
66
add formulas to ensure this) and the pair (𝔐, 𝑁 , 𝑎) is a model of 𝑇 ∗ . This
shows that the theory
𝑇 ∗ ∪ {∃>𝑛 𝑥𝜑(𝑥, 𝑐) ∣ 𝑛 = 1, 2, … }
is complete. Show that 𝑇 is 𝜆-stable (or without Vaughtian pair etc.) iff
𝑇 (𝑞) is. For countable languages this implies that 𝑇 is categorical in some
uncountable cardinal iff 𝑇 (𝑞) is.
Remark. Note that the algebraic closure of 𝐴 does not grow in elementary
extensions of 𝔐 because an 𝐿(𝐴)-formula which defines a finite set in 𝔐
defines the same set in every elementary extension We can express there
are exactly 𝑚 solutions in formula.
67
By Theorem 2.15
|acl(𝐴)| ≤ max(|𝑇 |, |𝐴|)
In algebraically closed fields, an element 𝑎 is algebraic over 𝐴 precisely if
𝑎 is algebraic (in the field-theoretical sense) over the field generated by 𝐴.
This follows from quantifier elimination in ACF
We call a type 𝑝(𝑥) ∈ 𝑆(𝐴) algebraic iff 𝑝 contains an algebraic for-
mula. Any algebraic type 𝑝 is isolated by an algebraic formula 𝜑(𝑥) ∈ 𝐿(𝐴),
namely by any 𝜑 ∈ 𝑝 having the minimal number of solutions in 𝔐. Sup-
pose 𝜓 ∈ 𝑝 is algebraic. If 𝜓 doesn’t isolate 𝑝. Then there is 𝜙 ∈ 𝑝 s.t.
𝜙 ∧ 𝜓(𝔐) is a proper subset of 𝜓(𝔐). This process will end since 𝜓 is alge-
braic This number is called the degree deg(𝑝) of 𝑝. As isolated types are
realised in every model, the algebraic types over 𝐴 are exactly of the form
tp(𝑎/𝐴) where 𝑎 is algebraic over 𝐴. The degree of 𝑎 over 𝐴 deg(𝑎/𝐴) is the
degree of tp(𝑎/𝐴).
Proof. ⇒. Obvious.
⇐. Suppose 𝑝 ∈ 𝑆(𝐴) is not algebraic in 𝔐. Add infinitely many con-
stants 𝐶, for any 𝜑 ∈ 𝑝, let Φ = {𝜑(𝑐) ∶ 𝑐 ∈ 𝐶} and
68
Lemma 5.40. Let 𝔐 and 𝔑 be two structures and 𝑓 ∶ 𝐴 → 𝐵 an elementary
bijection between two subsets. Then 𝑓 extends to an elementary bijection between
acl(𝐴) and acl(𝐵)
Definition 5.41. A pregeometry (or matroid) (𝑋, cl) is a set 𝑋 with a clo-
sure operator cl ∶ 𝒫(𝑋) → 𝒫(𝑋) where 𝒫 denotes the power set, s.t. for all
𝐴 ⊆ 𝑋 and 𝑎, 𝑏 ∈ 𝑋
1. (REFLEXIVITY) 𝐴 ⊆ cl(𝐴)
1. The set 𝜑(𝔐) is called minimal in 𝔐 if for all 𝐿(𝑀 )-formulas 𝜓(𝑥)
the intersection 𝜑(𝔐) ∧ 𝜓(𝔐) is either finite or cofinite in 𝜑(𝔐)
69
Strong minimality is preserved under definable bijections; i.e., if 𝐴 and
𝐵 are definable subsets of 𝔐𝑘 , 𝔐𝑚 defined by 𝜑 and 𝜓, respectively, s.t.
there is a definable bijection between 𝐴 and 𝐵, then if 𝜑 is strongly minimal
so is 𝜓. Suppose bijection 𝑓(𝑎) = 𝑏 iff 𝛾(𝑎, 𝑏). Then for any 𝜃(𝑥), we have
𝜃′ (𝑦) = ∃𝑥(𝜃(𝑥) ∧ 𝛾(𝑥, 𝑦))
{𝑎 ∈ 𝐾 ∣ 𝑓(𝑎) = 0}
70
cannot be realised in any elementary extension. This means that for all
𝜓(𝑥, 𝑧) there is a bound 𝑘𝜓 s.t.
Proof. If 𝔐 is 𝜔-saturated and 𝜑(𝑥, 𝑎) not strongly minimal, then for some
𝐿-formula 𝜓(𝑥, 𝑧) the set Σ𝜓 (𝑧, 𝑎) is realised in 𝔐, so 𝜑 is not minimal.
If on the other hand 𝜑(𝑥, 𝑎) is minimal and 𝑇 eliminates the quantifier
∃∞ , then for all 𝐿-formulas 𝜓(𝑥, 𝑧)
Lemma 5.45. The formula 𝜑(𝔐) is minimal iff there is a unique non-algebraic
type 𝑝 ∈ 𝑆(𝑀 ) containing 𝜑(𝑥)
71
Proof. If 𝜑(𝔐) is minimal, then clearly
is the unique non-algebraic type in 𝑆(𝑀 ) containing it. 𝜑(𝑥) is minimal iff
for any 𝜓(𝑥) ∈ 𝐿(𝑀 ), 𝜑 ∧ 𝜓 or 𝜑 ∧ ¬𝜓 is algebraic.. Guess algebraic requires
|𝜑(𝔐)| > 0.
if there is another non-algebraic type 𝑞 ∈ 𝑆(𝑀 ) and we take 𝛾(𝑥) ∈ 𝑞 ⧵ 𝑝.
Then 𝛾 ∧ 𝜑 ∈ 𝑞 and hence 𝜑 ∧ ¬𝛾 is algebraic. Thus 𝛾 ∈ 𝑝
If 𝜑(𝔐) is not minimal, there is some 𝐿-formula 𝜓 with both 𝜑 ∧ 𝜓 and
𝜑 ∧ ¬𝜓 non-algebraic. By Lemma 5.39, there are at least two non-algebraic
types in 𝑆(𝑀 ) containing 𝜑.
72
algebraic over 𝑎. (Prove by contradiction) By Corollary 5.46, all such pairs
𝑎, 𝑏 have the same type 𝑝(𝑥, 𝑦). Let 𝐴′ be an infinite set of non-algebraic
elements realising 𝜑 (which exists in an elementary extension of 𝔐) 𝑎 is
non-algebraic that realising 𝜑 iff for any 𝜓 that cofinite in 𝜑, 𝑎 ∈ ⋂ 𝜑(𝔐) ∧
𝜓(𝔐).
If 𝜑(𝔐) ∧ 𝜓(𝔐) and 𝜑(𝔐) ∧ 𝜃(𝔐) are infinite, then either (𝜑 ∧ 𝜓 ∧ 𝜃)(𝔐)
is infinite or (𝜑 ∧ ¬(𝜓 ∧ 𝜃))(𝔐) is infinite. But 𝜑 ∧ ¬(𝜓 ∧ 𝜃) = (𝜑 ∧ ¬𝜓) ∨
(𝜑 ∧ ¬𝜃), thus it’s finite and (𝜑 ∧ 𝜓 ∧ 𝜃)(𝔐) is infinite. Hence {𝜑} ∪ {𝜓 ∶
(𝜑 ∧ 𝜓)(𝔐) infinite} is finitely satisfiable and thus satisfiable.
Then we just add constants satisfying these formulas. This is an elemen-
tary extension by Tarski test. and 𝑏′ non-algebraic over 𝐴′ . 𝜑 is strongly
minimal and we can view 𝐴′ as some extensions Since all 𝑎′ ∈ 𝐴′ have
the same type 𝑝(𝑥, 𝑏′ ) over 𝑏′ , no 𝑎′ is algebraic over 𝑏′ . 𝑎′ is algebraic over
𝑏′ iff there is 𝔐 ⊨ 𝜑(𝑎′ , 𝑏′ ) s.t. 𝜑(𝔐, 𝑏′ ) is finite. But for all 𝑎′ , 𝑎″ ∈ 𝐴′ ,
tp(𝑎′ , 𝑏′ ) = tp(𝑎″ , 𝑏′ ). Thus |𝜑(𝔐, 𝑏′ )| ≥ |𝜑(𝐴′ )|. Thus also 𝑎 is not alge-
braic over 𝑏.
The same proof shows that algebraic closure defines a pregeometry on
the set of realizations of a minimal type, i.e., a non-algebraic type 𝑝 ∈ 𝑆1 (𝐴)
having a unique non-algebraic extension to all supersets 𝐵 of 𝐴 in elemen-
tary extensions of 𝔐. Here is an example to show that a minimal type need
not be strongly minimal
Let 𝑇 be the theory of 𝔐 = (𝑀 , 𝑃𝑖 )𝑖<𝜔 in which the 𝑃𝑖 form a proper
descending sequence of subsets. The type 𝑝 = {𝑥 ∈ 𝑃𝑖 ∣ 𝑖 < 𝜔} ∈ 𝑆1 (∅)
is minimal. If all 𝑃𝑖+1 are cofinite in 𝑃𝑖 , then 𝑝 does not contain a minimal
formula and is not strongly minimal
In pregeometries there is a natural notion of independence and dimen-
sion, so in light of Theorem 5.47 , we may define the following
If 𝜑(𝑥) is strongly minimal without parameters, the 𝜑-dimension of a
model 𝔐 of 𝑇 is the dimension of the pregeometry (𝜑(𝔐), cl)
dim𝜑 (𝔐)
If 𝔐 is the model of a strongly minimal theory, we just write dim(𝔐)
If 𝜑(𝑥) is defined over 𝐴0 ⊆ 𝑀 , the closure operator of the pregeometry
𝜑(𝔐𝐴0 ) is given by
𝑀
cl(𝐴) = acl (𝐴0 ∪ 𝐴) ∩ 𝜑(𝔐)
and
dim𝜑 (𝔐/𝐴0 ) ∶= dim𝜑 (𝔐𝐴0 )
is called the 𝜑-dimension of 𝔐 over 𝐴0 .
73
Lemma 5.48. Let 𝜑(𝑥) be defined over 𝐴0 and strongly minimal, and let 𝔐 and 𝔑
be models containing 𝐴0 . Then there exists an 𝐴0 -elementary map between 𝜑(𝔐)
and 𝜑(𝔑) iff 𝔐 and 𝔑 have the same 𝜑-dimension over 𝐴0
Proof. An 𝐴0 -elementary map between 𝜑(𝔐) and 𝜑(𝔑) maps bases to bases,
so one direction is clear
For the other direction we use Corollary 5.46: if 𝜑(𝔐) and 𝜑(𝔑) have
the same dimension over 𝐴0 , let 𝑈 and 𝑉 be bases of 𝜑(𝔐) and 𝜑(𝔑), re-
spectively, and let 𝑓 ∶ 𝑈 → 𝑉 be a bijection. By Corollary 5.46, 𝑓 is 𝐴0 -
elementary The are indiscernibles. and by Lemma 5.40 𝑓 extends to an
elementary bijection 𝑔 ∶ acl(𝐴0 𝑈 ) → acl(𝐴0 𝑉 ). Thus 𝑔 ↾ 𝜑(𝔐) is an 𝐴0 -
elementary map from 𝜑(𝔐) to 𝜑(𝔑)
Corollary 5.49. 1. A theory 𝑇 is strongly minimal iff over every parameter set
there is exactly one non-algebraic type
|𝑆(𝐴)| ≤ |acl(𝐴)| + 1
74
Theorem 5.50. Let 𝑇 be strongly minimal. Models of 𝑇 are uniquely determined
by their dimensions. The set of possible dimensions is an end segment of the cardi-
nals. A model 𝔐 is 𝜔-saturated iff dim(𝔐) ≥ ℵ0 . All models are 𝜔-homogeneous
75
5.8 The Baldwin-Lachlan Theorem
Theorem 5.52 (Baldwin-Lachlan). Let 𝜅 be an uncountable cardinal. A count-
able theory 𝑇 is 𝜅-categorical iff 𝑇 is 𝜔-stable and has no Vaughtian pairs
6 Morley Rank
6.1 Saturated models and the monster
Lemma 6.1. Let 𝑆0 ⊆ 𝑆1 ⊆ ⋯ ⊆ 𝑆𝛼 ⊆ ⋯ be an increasing chain of sets indexed
by 𝛼 < 𝜅 for some regular cardinal 𝜅. If 𝐴 ⊆ ⋃𝛼<𝜅 𝑆𝛼 and |𝐴| < 𝜅, then 𝐴 ⊆ 𝑆𝛼
for some 𝛼 < 𝜅
Or more generally if 𝜅 is not regular, 𝐴 ⊆ ⋃𝛼<cf(𝜅) 𝑆𝛼 and |𝐴| < cf(𝜅) implies
that 𝐴 ⊆ 𝑆𝛼
76
Definition 6.2. A structure 𝔐 of cardinality 𝜅 ≥ 𝜔 is special if 𝔐 is the
union of an elementary chain 𝔐𝜆 where 𝜆 runs over all cardinals less than
𝜅 and each 𝔐𝜆 is 𝜆+ -saturated.
𝔐𝜆 is 𝜆+ -saturated implies that |𝔐𝜆 | ≥ 𝜆.
We call (𝔐𝜆 ) a specialising chain
Theorem 6.3. If 𝔐 is a structure and 𝜅 is a cardinal, there is a 𝜅-saturated 𝔑 ⪰ 𝔐
Proof. Build an elementary chain
𝔐 = 𝔐 0 ⪯ 𝔐1 ⪯ ⋯ ⪯ 𝔐𝛼 ⪯ ⋯
of length 𝜅+ , where
1. 𝔐𝛼+1 is an elementary extension of 𝔐𝛼 realizing every type in 𝑆1 (𝑀𝛼 )
2. If 𝛼 is a limit ordinal, then 𝔐𝛼 = ⋃𝛽<𝛼 𝔐𝛽
Let 𝔑 = ⋃𝛼<𝜅+ 𝔐𝛼 . Then 𝔑 ⪰ 𝔐. If 𝐴 ⊆ 𝑁 and |𝐴| < 𝜅, then 𝐴 ⊆ 𝑀𝛼
for some 𝛼 < 𝜅+ since 𝜅+ is regular! Any 𝑝 ∈ 𝑆1 (𝐴) extends to a 𝑝′ ∈
𝑆1 (𝑀𝛼 ) which is realized by 𝔐𝛼+1 ⊆ 𝔑
77
Inaccessible cardinal 𝜅
Let 𝛼 be a limit ordinal. Then for any cardinal 𝜇, 𝜅 = ℶ𝛼 (𝜇) satisfies
(6.5) and we have cf(𝜅) = cf(𝛼).
Proof. Let 𝐴1 = {𝑎𝛼 ∶ 𝛼 < 𝜆} where |𝐴1 | = 𝜆. Then at each step, dom(𝑓𝛼 ) ≤
|𝐴| + |𝛼| < 𝜆 ≤ 𝜅
Theorem 6.7. Two elementarily equivalent special structure of the same cardinal-
ity are isomorphic
78
Let 𝐴 be a subset of 𝑀 of cardinality less than cf(𝜅) and let 𝑓 ∶ 𝐴 → 𝑀
an elementary map. Fix a specialising sequence (𝔐𝜆 ). For 𝜆0 sufficiently
large, 𝔐𝜆0 contains 𝐴. The sequence
(𝔐𝜆 , 𝑎)𝑎∈𝐴 if 𝜆0 ≤ 𝜆
𝑀𝜆∗ = {
(𝔐𝜆0 , 𝑎)𝑎∈𝐴 if 𝜆 < 𝜆0
is then a specialising sequence of (𝔐, 𝑎)𝑎∈𝐴 . For the same reason (𝔐, 𝑓(𝑎))𝑎∈𝐴
is special. By Theorem 6.7 these two structures are isomorphic under an au-
tomorphism of 𝔐 which extends 𝑓
We call ℭ the monster model of 𝑇 . Note that Global Choice implies that
ℭ can be well-ordered.
Corollary 6.11. • ℭ is 𝜅-saturated for all cardinals 𝜅
79
We say that two elements are conjugate over some parameter set 𝐴 if
there is an automorphism of ℭ fixing 𝐴 elementwise and taking one to the
other. Note that 𝑎, 𝑏 ∈ ℭ are conjugate over 𝐴 iff they have the same type
over 𝐴. We call types 𝑝 ∈ 𝑆(𝐴), 𝑞 ∈ 𝑆(𝐵) conjugate over 𝐷 if there is an
automorphism 𝑓 of ℭ fixing 𝐷 and taking 𝐴 to 𝐵 and s.t. 𝑞 = {𝜑(𝑥, 𝑓(𝑎)) ∣
𝜑(𝑥, 𝑎) ∈ 𝑝}. Note that strictly speaking Aut(ℭ) is not an object in Bernays-
Gödel Set Theory but we will nevertheless use this term as a way of talking
about automorphisms
Readers who mistrust set theory can fix a regular cardinal 𝛾 bigger than
the cardinality of all models and parameter sets they want to consider. For
ℭ they may then use a special model of cardinality 𝜅 = ℶ𝛾 (ℵ0 ). This is 𝜅+ -
universal and strongly 𝛾-homogeneous
We will use the following convention throughout the rest of this book
• We write ⊨ 𝜑 for ℭ ⊨ 𝜑
• If 𝜋(𝑥) and 𝜎(𝑥) are partial types we write 𝜋 ⊨ 𝜎 for 𝜋(ℭ) ⊆ 𝜎(ℭ)
This implies Lemma 5.40 and the second claim in the proof of Theorem
5.48
Note that by the remark over Lemma 5.39 for any model 𝑀 and any
𝐴 ⊆ 𝑀 the algebraic closure of 𝐴 in the sense of 𝑀 equals the algebraic
closure in the sense of ℭ.
80
1. 𝔻 is definable over 𝐴
Let 𝜃(𝑥) be the formula ∃𝑦(𝜓(𝑦)∧𝜑(𝑥, 𝑦)). Note that 𝜃(𝑥) is an 𝐿(𝐴)-formula,
as 𝜓(𝑦) is
Claim 2. 𝑋 = 𝜃(ℭ)
If 𝑎 ∈ 𝑋, then ⊨ 𝜑(𝑎, 𝑏), and as 𝜓(𝑦) ∈ tp(𝑏/𝐴) we have ⊨ 𝜃(𝑎). Con-
versely, if ⊨ 𝜃(𝑎), let 𝑏′ be s.t. ⊨ 𝜓(𝑏′ ) ∧ 𝜑(𝑎, 𝑏′ ). But by the choice of 𝜓 this
implies that ⊨ 𝜑(𝑎, 𝑏)
⇐ Let 𝔻 be defined by 𝜑, defined over 𝐵 ⊃ 𝐴. Consider the maps
𝜏 𝜋
ℭ−
→ 𝑆(𝐵) −
→ 𝑆(𝐴)
where 𝜏 (𝑐) = tp(𝑐/𝐵) and 𝜋 is the restriction map. Let 𝑌 be the image of
𝔻 in 𝑆(𝐴). Since 𝑌 = 𝜋[𝜑]. 𝑌 is closed. Note that 𝜏 (𝔻) = [𝜑]. 𝜏 (𝔻) =
{tp(𝑐/𝐵) ∶ ℭ ⊨ 𝜑(𝑐)} ⊆ [𝜑]. For any 𝑞(𝑥) ∈ [𝜑], as ℭ is saturated, ℭ ⊨ 𝑞(𝑑)
and 𝑑 ∈ 𝔻. Thus 𝑞 ∈ 𝜏 (𝔻). 𝜋 is continuous
Assume that 𝔻 is invariant under all automorphisms of ℭ which fix 𝐴
pointwise. Since elements which have the same type over 𝐴 are conjugate
by an automorphism of ℭ, this means that 𝔻-membership depends only on
the type over 𝐴, i.e., 𝔻 = (𝜋𝜏 )−1 (𝑌 ). For any tp(𝑐/𝐴) = tp(𝑑/𝐴) and 𝑐 ∈ 𝔻,
as 𝑐 and 𝑑 are conjugate, 𝑑 ∈ 𝔻.
For any 𝑐 ∉ 𝔻, 𝜋𝜏 (𝑐) ∈ 𝑌 iff tp(𝑐/𝐴) ∈ 𝜋[𝜑] iff there is 𝑑 ∈ 𝔻 s.t.
tp(𝑐/𝐴) = tp(𝑑/𝐴) but then 𝑐 ∈ 𝔻.
This implies that [𝜑] = 𝜋−1 (𝑌 ) 𝜏 (𝔻) = [𝜑] = 𝜏 (𝜏 −1 𝜋−1 )(𝑌 ) = 𝜋−1 (𝑌 ) ,
or 𝑆(𝐴) ⧵ 𝑌 = 𝜋[¬𝜑]; hence 𝑆(𝐴) ⧵ 𝑌 is also closed and we conclude that 𝑌
81
is clopen. By Lemma 4.6 𝑌 = [𝜓] for some 𝐿(𝐴)-formula 𝜓. This 𝜓 defines
𝔻. For any 𝑑 ∈ ℭ
⊨ 𝜓(𝑑) ⇔ tp(𝑑/𝐴) ⇔ 𝑑 ∈ 𝔻
The same proof shows that the same is true for definable relations 𝑅 ⊆
ℭ𝑛 ; namely, 𝑅 is 𝐴-definable iff it is invariant under all 𝛼 ∈ Aut(ℭ/𝐴)
𝜎([𝑏𝑖 ]) = {𝜎(𝑥) ∶ 𝜑(𝑥, 𝑏𝑖 )} = {𝑥′ ∶ 𝜑(𝑥′ , 𝜎(𝑏𝑖 ))} = {𝑥 ∶ 𝜑(𝑥, 𝑏𝑗𝑖 )} = [𝑏𝑗1 ]
82
some 𝑖 ≤ 𝑘. Therefore 𝑝(𝑦) ⊢ ⋁𝑖≤𝑘 ∀𝑥(𝜙(𝑥, 𝑦) ↔ 𝜙(𝑥, 𝑏𝑖 )). By compactness
there is some 𝜓(𝑦) ∈ 𝑝 s.t. 𝜓(𝑦) ⊢ ⋁𝑖≤𝑘 ∀(𝜙(𝑥, 𝑦) ↔ 𝜙(𝑥, 𝑏𝑖 )). Now define
𝐸(𝑥1 , 𝑥2 ) as
∀𝑦(𝜓(𝑦) → (𝜙(𝑥1 , 𝑦) ↔ 𝜙(𝑥2 , 𝑦)))
so it is 𝐴-definable. It is easy to check that 𝐸 is an equivalence relation with
finitely many classes, and that 𝑋 is a union of 𝐸-classes (𝑎1 𝐸𝑎2 iff they
agree on 𝜙(𝑥, 𝑏𝑖 ) for all 𝑖 ≤ 𝑘, and so 𝑋 = 𝜙(ℭ, 𝑏0 ) is given by the union of
all possible combinations intersected with it)
3 → 1 Assume for contradiction that
|{𝜎(𝑋) ∶ 𝜎 ∈ Aut(ℭ/𝐴)}| = 𝜆 ≥ 𝜔
Definition 6.16. The definable closure dcl(𝐴) of 𝐴 is the set of elements 𝑐 for
which there is an 𝐿(𝐴)-formula 𝜑(𝑥) s.t. 𝑐 is the unique element satisfying
𝜑. Elements or tuples 𝑎 and 𝑏 are said to be interdefinable if 𝑎 ∈ dcl(𝑏) and
𝑏 ∈ dcl(𝑎).
Both acl(𝐴) and dcl(𝐴) are preserved by Aut(ℭ/𝐴)
Corollary 6.17. 1. 𝑎 ∈ dcl(𝐴) iff 𝑎 has only one conjugate over 𝐴.
2. Follows from Remark 5.6 since the realisations of tp(𝑎/𝐴) are exactly
the conjugates of 𝑎 over 𝐴.
𝑎 ∈ acl(𝐴) iff tpℭ (𝑎/𝐴) is algebraic iff tp(𝑎/𝐴) has finitely many reali-
sations
83
Exercise 6.1.1. Finite structures are saturated
Proof. Suppose |𝔄| = 𝑛 and for any |𝐴| < 𝑛. Suppose 𝑝(𝑥) ∈ 𝑆 𝔄 (𝐴) is not
realised, then for any 𝑎 ∈ 𝔄, there is a 𝜑𝑎 ∈ 𝑝(𝑥) s.t. 𝔄 ⊭ 𝜑𝑎 (𝑎). Hence
𝔄 ⊭ ⋀𝑎∈𝔄 𝜑𝑎 (𝑎). 𝔄 has a elementary extension 𝔅 s.t. 𝔅 ⊨ 𝑝(𝑏). Then
𝔅 ⊨ ⋀𝑎∈𝔄 𝜑𝑎 and hence 𝔄 ⊨ ∃𝑎 ⋀𝑎∈𝔄 𝜑𝑎 . A contradiction
84
Definition 6.18. To define MR 𝜑 we distinguish three cases
1. If there is no 𝛼 with MR 𝜑 ≥ 𝛼, we put MR 𝜑 = −∞
MR 𝜑 = −∞ ⇔ 𝜑 is inconsistent
MR 𝜑 = 0 ⇔ 𝜑 is consistent and algebraic
If a formula has ordinal-valued Morley rank, we also say that this for-
mula has Morley rank. The Morley rank MR(𝑇 ) of 𝑇 is the Morley rank of
the formula 𝑥=𝑥. ̇ The Morley rank of a formula 𝜑(𝑥, 𝑎) only depends on
𝜑(𝑥, 𝑦) and the type of 𝑎. It follows that if a formula has Morley rank, then
+
it is less than (2|𝑇 | ) .
Remark. If 𝜑 implies 𝜓, then MR 𝜑 ≤ MR 𝜓. If 𝜑 has rank 𝛼 < ∞, then for
every 𝛽 < 𝛼 there is a formula 𝜓 which implies 𝜑 and has rank 𝛽
⋅
Example 6.2. In Infset the formula 𝑥1 = 𝑎 has Morley rank 0. It has quan-
tifier elimination. If considered as a formula in two variables, 𝜑(𝑥1 , 𝑥2 ) =
⋅
𝑥1 = 𝑎, it has Morley rank 1
The next lemma expresses the fact that the formulas of rank less than 𝛼
form an ideal in the Boolean algebra of equivalence classes of formulas
Lemma 6.19.
MR(𝜑 ∨ 𝜓) = max(MR 𝜑, MR 𝜓)
Proof. By the previous remark, we have MR(𝜑 ∨ 𝜓) ≥ max(MR 𝜑, MR 𝜓).
For the other inequality we show by induction on 𝛼 that
85
We call 𝜑 and 𝜓 𝛼-equivalent
𝜑 ∼𝛼 𝜓
if their symmetric difference 𝜑△𝜓 has rank less than 𝛼.Then 𝛼-equivalence
is an equivalence relation. 𝜑△𝜓 = (𝜑 ∧ ¬𝜓) ∨ (¬𝜑 ∧ 𝜓) = ¬(𝜑 → 𝜓) ∨ ¬(𝜓 →
𝜑) = ¬((𝜑 → 𝜓) ∧ (𝜓 → 𝜑))
Suppose 𝜑 ∼𝛼 𝜓 and 𝜓 ∼𝛼 𝜃. Note that 𝜑△𝜃 = (𝜑△𝜓)△(𝜓△𝜃).
As MR((𝜑△𝜓) ∨ (𝜓△𝜃)) < 𝛼 and (𝜑△𝜓)△(𝜓△𝜃) ⊂ (𝜑△𝜓) ∨ (𝜓△𝜃),
MR((𝜑△𝜓)△(𝜓△𝜃)) < 𝛼 and thus MR(𝜑△𝜃) < 𝛼.
We call a formula 𝜑 𝛼-strongly minimal if it has rank 𝛼 and for any
formula 𝜓 implying 𝜑 either 𝜓 or 𝜑 ∧ ¬𝜓 has rank less than 𝛼, (equivalently,
if every 𝜓 ⊆ 𝜑 is 𝛼-equivalent to ∅ or to 𝜑). Thus we are actually talking
about for any formula 𝜓, either 𝜑 ∧ 𝜓 or 𝜑 ∧ ¬𝜓 has rank less than 𝛼, which
is natural for building a tree In particular, 𝜑 is 0-strongly minimal iff 𝜑 is
realised by a single element and 𝜑 is 1-strongly minimal iff 𝜑 is strongly
minimal
86
First, note that 𝜑 is 𝛼-strongly minimal if it’s minimal over ℭ
Given any 𝐿(𝐴)-formula 𝜑 and MR 𝜑 = 𝛼, if 𝜑 is not 𝛼-minimal over
𝐴, then it can be decomposed into disjoint 𝐿(𝐴)-formulas 𝜑1 and 𝜓1 with
MR 𝜑1 = MR 𝜓1 = 𝛼. If one of them is not 𝛼-minimal, then we decompose
it. This process will end since otherwise MR 𝜑 > 𝛼
Definition 6.21. For a formula 𝜑 of Morley rank 𝛼 < ∞, the Morley degree
MD(𝜑) is the number of its 𝛼-strongly minimal components
Theorem 6.23. The theory 𝑇 is totally transcendental iff each formula has Morley
rank
Proof. Since there are no arbitrarily large ordinal Morley ranks, each for-
mula 𝜑(𝑥) without Morley rank can be decomposed into two disjoint formu-
las without Morley rank, yielding a binary tree of consistent formulas in the
free variable 𝑥 Let 𝛽 = sup{MR 𝜓 ∶ 𝜓 implies 𝜑 and MR 𝜓 < ∞}. Then as
MR 𝜑 = ∞ ≥ 𝛽 + 2, then there is an infinite family (𝜑𝑖 (𝑥) ∣ 𝑖 < 𝜔) of formu-
las which implies 𝜑, are pairwise inconsistent and s.t. MR 𝜑𝑖 ≥ 𝛽+1 for all 𝑖.
Then MR(𝜑 ∧ ¬𝜑𝑖 ) ≥ 𝛽 + 2 ≥ 𝛽 + 1. Hence MR(𝜑 ∧ 𝜑𝑖 ) = MR(𝜑 ∧ ¬𝜑𝑖 ) = ∞.
Let (𝜑𝑠 (𝑥) ∣ 𝑠 ∈ <𝜔2 ) be a binary tree of consistent formulas. Then non
of the 𝜑𝑠 has Morley rank. Otherwise there is a 𝜑𝑠 whose ordinal rank 𝛼 is
minimal and (among the formulas of rank 𝛼) of minimal degree. Then both
𝜑𝑠0 and 𝜑𝑠1 have rank 𝛼 and therefore smaller degree than 𝜑, a contradiction
87
Remark. A totally transcendental has the descending chain condition on de-
finable subgroups
Definition 6.24. The Morley rank MR(𝑝) of a type 𝑝 is the minimal rank of
any formula in 𝑝. If MR(𝑝) is an ordinal, then its Morley degree MD(𝑝) is
the minimal degree of a formula of 𝑝 having rank 𝛼. If 𝑝 = tp(𝑎/𝐴) we also
write MR(𝑎/𝐴) and MD(𝑎/𝐴)
MD(𝑝) = deg(𝑝)
Strongly minimal types are exactly the types of Morley rank and Morley
degree 1.
Let 𝑝 ∈ 𝑆(𝐴) have Morley rank 𝛼 and Morley degree 𝑑. Then by defi-
nition there is some 𝜑 ∈ 𝑝 of rank 𝛼 and degree 𝑑. Clearly, 𝜑 is uniquely
determined up to 𝛼-equivalence since for all 𝜓 we have MR(𝜑 ∧ ¬𝜓) < 𝛼 iff
𝜓 ∈ 𝑝. Thus 𝑝 is uniquely determined by 𝜑:
1. MR 𝜑 = max{MR(𝑝) ∣ 𝜑 ∈ 𝑝 ∈ 𝑆(𝐴)}
2. Let MR 𝜑 = 𝛼. Then
88
Proof. 1. If MR 𝜑 = ∞, then {𝜑} ∪ {¬𝜓 ∣ 𝜓 ∈ 𝐿(𝐴), MR 𝜓 < ∞} is
consistent. Suppose {𝜑} ∪ {¬𝜓1 , … , ¬𝜓𝑛 } is inconsistent, then ⊨ 𝜑 →
¬ ⋀ ¬𝜓𝑖 , which is equivalent to ⊨ 𝜑 → ⋁ 𝜓𝑖 . But MR(⋁ 𝜓𝑖 ) = max MR(𝜓𝑖 ) <
∞ and MR(𝜑) = ∞, a contradiction Any type over 𝐴 containing this
set of formulas has rank ∞
If MR 𝜑 = 𝛼, there is a decomposition of 𝜑 in 𝐿(𝐴)-formulas 𝜑1 , … , 𝜑𝑘 ,
𝛼-minimal over 𝐴. (Note that 𝑘 is bounded by MD 𝜑). By (1), the 𝜑𝑖
determine a type 𝑝𝑖 of rank 𝛼
MD 𝜑𝑖 = MD(𝑝𝑖 )
Corollary 6.27. Let 𝑝 ∈ 𝑆(𝐴) have Morley rank and 𝐴 ⊆ 𝐵. Then 𝑝 ∈ 𝑆(𝐴) has
at least one and at most 𝑀 𝐷(𝑝) many extension to 𝐵 of the same rank
89
for 𝑑𝑖 ∈ 𝑀 .
Claim If tpℭ (𝑎) = tpℭ (𝑏), then MR(𝜃(𝑥, 𝑎)) = MR(𝜃(𝑥, 𝑏)) for any 𝜃(𝑥, 𝑦)
We prove that MR(𝜃(𝑥, 𝑎)) ≥ 𝛼 iff MR(𝜃(𝑥, 𝑏)) ≥ 𝛼
If MR(𝜃(𝑥, 𝑎)) = −∞, then ⊨ ¬∃𝑥𝜃(𝑥, 𝑎) and so ⊨ ¬∃𝑏𝑥𝜃(𝑏). So MR(𝜃(𝑥, 𝑏)) =
−∞. And vice versa. So MR(𝜃(𝑥, 𝑎)) ≥ 0 iff MR(𝜃(𝑥, 𝑏)) ≥ 0.
If 𝛼 = 𝛽 + 1. We have 𝜓1 (𝑥, 𝑐1 ), 𝜓2 (𝑥, 𝑐2 ), …. As ℭ is saturated, for each
𝑚 ∈ 𝜔, we have
tp(𝑎, 𝑐1 , … , 𝑐𝑚 ) = tp(𝑏, 𝑑1 , … , 𝑑𝑚 )
Then 𝜓1 (𝑥, 𝑑1 ), 𝜓2 (𝑥, 𝑑2 ), … is what we want
Hence MR(𝜓𝑖 (𝑣, 𝑑𝑖 )) = MR(𝜓𝑖 (𝑣, 𝑐𝑖 )) ≥ 𝛼 and we are done.
90
Exercise 6.2.4. If 𝑝 is a type over acl(𝐴), then 𝑝 and 𝑝 ↾ 𝐴 have the same
Morley rank
where the 𝜑𝑖 range over all algebraic formulas defined over 𝑀 ∪{𝑏1 , … , 𝑏𝑛 }.
Since 𝜑(𝑀 ) is infinite, any finite subset of 𝑝(𝑥) is realised by an el-
ement of 𝑀 . Since 𝑝(𝑥) is axiomatised by {𝜑(𝑥)} ∪ {¬𝜑𝑖 (𝑥) ∣ 𝑖 ∈
𝐼}. And every disjunction of finite subset of algebraic formulas has
91
only finitely many realisations Thus 𝑝(𝑥) is not isolated Suppose that
𝑝(𝑥) is isolated by 𝜓(𝑥). Then we have ⊨ ∀𝑥(𝜓(𝑥) → ¬𝜑𝑖 (𝑥)) and
∀𝑥(𝜑𝑖 (𝑥) → 𝜓(𝑥)). Thus ¬𝜓(ℭ) ⊇ ⋃ 𝜑𝑖 (ℭ) = acl(𝑀 ∪ {𝑏1 , … , 𝑏𝑛 })
and so 𝜓(ℭ) is finite, a contradiction. But all elements of the prime
extension 𝑁 are atomic over 𝑀 ∪ {𝑏1 , … , 𝑏𝑛 } by Corollary 5.27.
2. This follows from Remark C.7 if we can show that a basis of 𝜑(𝑁 ) over
𝜑(𝑀 ) is also a basis of 𝜑(𝑁 ) over 𝑀 . So the proof is complete once we
have established the following lemma
dim(𝑁 /𝑀 ) = dim𝜑 (𝑁 /𝑀 )
𝑀 = 𝑁0 ⪱ 𝑁1 ⪱ ⋯ ⪱ 𝑁𝑛 = 𝑁
92
between 𝑀 and 𝑁
Proof. Follows from the previous theorem since 𝑇 has no Vaughtian pairs
7 Simple Theories
7.1 Dividing and forking
We work in a countable complete theory 𝑇 with infinite models
supplement
93
divides over 𝐴 iff a conjunction of formulas from 𝜋 divides over 𝐴. Note
that it makes sense to say that 𝜋(𝑥) divides over 𝐴 for 𝑥 an infinite sequence
of variables as we may use dummy variables without changing the meaning
of dividing
Check this. by adding dummy variables we have
⊨ ∀𝑥(𝜑(𝑥, 𝑏, 𝑏′ ) → 𝜓(𝑥, 𝑏, 𝑏′ ))
since 𝜓(𝑥, 𝑏, 𝑏′ ) divides over 𝐴, there is a sequence (𝑏𝑖 , 𝑏𝑖′ )𝑖∈ℕ realising tp(𝑏𝑏′ /𝐴)
and s.t. {𝜓(𝑥, 𝑏𝑖 , 𝑏𝑖′ ) ∣ 𝑖 ∈ ℕ} is 𝑘-inconsistent, so {𝜑(𝑥, 𝑏𝑖 , 𝑏𝑖′ ) ∣ 𝑖 ∈ ℕ} is 𝑘-
inconsistent
3. In the theory DLO, the formula 𝑏1 < 𝑥 < 𝑏2 divides over the empty
set (for 𝑘 = 2). The type 𝑝 = {𝑥 > 𝑎 ∣ 𝑎 ∈ ℚ} does not divide over the
empty set for any 𝑘
Lemma 7.4. The set 𝜋(𝑥, 𝑏) divides over 𝐴 iff there is a sequence (𝑏𝑖 )𝑖<𝜔 of indis-
cernibles over 𝐴 with tp(𝑏0 /𝐴) = tp(𝑏/𝐴) and ⋃𝑖<𝜔 𝜋(𝑥, 𝑏𝑖 ) inconsistent
We may replace 𝜔 by any infinite linear order. Note also that 𝑏 may be a
tuple of infinite length
Proof. If (𝑏𝑖 )𝑖<𝜔 is a sequence of indiscernibles over 𝐴 with tp(𝑏0 /𝐴) = tp(𝑏/𝐴)
(Note that ⊨ 𝜑(𝑏𝑖 ) ↔ 𝜑(𝑏𝑗 ) for any 𝑖, 𝑗 ∈ 𝜔. Thus each of (𝑏𝑖 )𝑖<𝜔 realises
tp(𝑏/𝐴)) Since ⋃𝑖<𝜔 𝜋(𝑥, 𝑏𝑖 ) is inconsistent, there is 𝑖0 , … , 𝑖𝑁 and 𝜙𝑖𝑗 (𝑥, 𝑏𝑖𝑗 ) ∈
𝜋(𝑥, 𝑏𝑖𝑗 ) s.t. {𝜙𝑖0 (𝑥, 𝑏0 ), … , 𝜙𝑖𝑁 (𝑥, 𝑏𝑁 )} is inconsistent. Take 𝜑(𝑥, 𝑏) = ⋀0≤𝑗≤𝑁 𝜙𝑖𝑗 (𝑥, 𝑏).
Then Σ(𝑥) = {𝜑(𝑥, 𝑏𝑖 ) ∣ 𝑖 < 𝜔} is inconsistent. So Σ contains some 𝑘-
element inconsistent subset. This implies that (𝜑(𝑥, 𝑏𝑖 ))𝑖<𝜔 is 𝑘-inconsistent
by indiscernibility
Assume conversely that 𝜋(𝑥, 𝑏) divides over 𝐴. Then some finite con-
junction 𝜑(𝑥, 𝑏) of formulas from 𝜋(𝑥, 𝑏) divides. Let (𝑏𝑖 )𝑖<𝜔 be a sequence
of realisations of tp(𝑏/𝐴) s.t. (𝜑(𝑥, 𝑏𝑖 ) ∣ 𝑖 < 𝜔) is 𝑘-inconsistent. Then by
94
Lemma 7.1 there is a sequence (𝑐𝑖 )𝑖<𝜔 of indiscernibles realizing EM((𝑏𝑖 )𝑖<𝜔 /𝐴).
Therefore each of (𝑐𝑖 )𝑖<𝜔 realises tp(𝑏/𝐴) and (𝜑(𝑥, 𝑐𝑖 ) ∣ 𝑖 < 𝜔) is 𝑘-inconsistent.
Thus ⋃𝑖<𝜔 𝜋(𝑥, 𝑐𝑖 ) is inconsistent
Proposition 7.6. If tp(𝑎/𝐵) does not divide over 𝐴 ⊆ 𝐵 and tp(𝑐/𝐵𝑎) does not
divide over 𝐴𝑎, then tp(𝑎𝑐/𝐵) does not divide over 𝐴
| 𝐵∧𝑐⌣
𝑐⌣ | 𝐵𝑎 ⇒ 𝑎𝑐 ⌣
| 𝐵
𝐴 𝐴𝑎 𝐴
95
Proof. Let 𝑏 ∈ 𝐵 be a finite tuple and ℐ an infinite sequence of 𝐴-indiscernible
containing 𝑏. If tp(𝑎/𝐵) does not divide over 𝐴, there is some ℐ′ with
tp(ℐ′ /𝐴𝑏) = tp(ℐ/𝐴𝑏) and indiscernible over 𝐴𝑎. If tp(𝑐/𝐵𝑎) does not di-
vide over 𝐴𝑎, there is ℐ″ with tp(ℐ″ /𝐴𝑎𝑏) = tp(ℐ′ /𝐴𝑎𝑏) and indiscernible
over 𝐴𝑎𝑐 proving the claim
Definition 7.7. The set of formulas 𝜋(𝑥) forks over 𝐴 if 𝜋(𝑥) implies a dis-
junction ⋁𝑙<𝑑 𝜑𝑙 (𝑥) of formulas 𝜑𝑙 (𝑥) each dividing over 𝐴
Corollary 7.8 (Finite character). If 𝑝 ∈ 𝑆(𝐵) forks over 𝐴, there is a finite subset
𝐵0 ⊆ 𝐵 s.t. 𝑝 ↾ 𝐴𝐵0 forks over 𝐴
Proof. If 𝜋(𝑥) implies the disjunction ⋁𝑙<𝑑 𝜑𝑙 (𝑥, 𝑏), then some 𝜑𝑙 has a real-
isation 𝑎 in 𝐴. If the 𝑏𝑖 , 𝑖 < 𝜔, realise tp(𝑏/𝐴), then {𝜑𝑙 (𝑥, 𝑏𝑖 ) ∶ 𝑖 < 𝜔} is
realised by 𝑎. So 𝜑𝑙 does not divide over 𝐴
Lemma 7.10. Let 𝐴 ⊆ 𝐵 and let 𝜋 be a partial type over 𝐵. If 𝜋 does not fork over
𝐴, it can be extended to some 𝑝 ∈ 𝑆(𝐵) which does not fork over 𝐴
Exercise 7.1.1. 1. Let 𝜑(𝑥) be a formula over 𝐴 with Morley rank and let
𝜓(𝑥) define a subclass of 𝜑(ℭ). If 𝜓 forks over 𝐴, it has smaller Morley
rank than 𝜑
96
Exercise 7.1.2. Let 𝑝 be a type over the model 𝑀 and 𝐴 ⊆ 𝑀 . Assume that
+
𝑀 is |𝐴| -saturated. Show that 𝑝 forks over 𝐴 iff 𝑝 divides over 𝐴
Exercise 7.1.3. A global type which is 𝐴-invariant does not fork over 𝐴
Proof. For a global type 𝑝, 𝑝 forks over 𝐴 iff 𝑝 divides over 𝐴 by Exercise 7.1.2.
By 7.4, we For any sequence (𝑏𝑖 )𝑖<𝜔 of indiscernibles over 𝐴 with tp(𝑏𝑖 /𝐴) =
tp(𝑏/𝐴) for all 𝑖 ∈ 𝜔. Then for each 𝑖 ∈ 𝜔 there is 𝜎𝑖 ∈ Aut(ℭ/𝐴) with
𝜎(𝑏) = 𝑏𝑖 and hence 𝜙(𝑥, 𝑏𝑖 ) ∈ 𝑝. Thus {𝜙(𝑥, 𝑏𝑖 ) ∶ 𝑖 ∈ 𝜔} is consistent
7.2 Simplicity
𝑇 a countable complete theory with infinite models
1. 𝜑𝑖 (𝑥, 𝑦) ∈ Δ
Lemma 7.13. 1. If 𝜑 has the tree property w.r.t. 𝑘, then for every 𝐴 and 𝜇 there
exists a 𝜑-𝑘-dividing sequence over 𝐴 of length 𝜇
97
Proof. 1. Note first that we may assume that 𝜇 is a limit ordinal. A com-
pactness argument shows that for every 𝜇 and 𝜅 there is a tree (𝑎𝑠 ∣
∅ ≠ 𝑠 ∈ <𝜇𝜅 ) s.t. all families (𝜑(𝑥, 𝑎𝑠𝑖 ) ∣ 𝑖 < 𝜅) are 𝑘-inconsistent and
for all 𝜎 ∈ 𝜇𝜅 , {𝜑(𝑥, 𝑎𝑠 ) ∣ ∅ ≠ 𝑠 ⊆ 𝜎} is consistent. If 𝜅 > 2max(|𝑇 |,|𝐴|,𝜇) ,
we recursively construct a path 𝜎 s.t. for all 𝑠 ∈ 𝜎, infinitely many 𝑎𝑠𝑖
have the same type over 𝐴 ∪ {𝑎𝑡 ∣ 𝑡 ≤ 𝑠} since 𝜅 is larger than possi-
ble numbers of types. Now (𝜑(𝑥, 𝑎𝜎↾𝑖+1 ) ∣ 𝑖 < 𝜇) is a 𝜑-𝑘-dividing
sequence over 𝐴
It is easy to see that in simple theories for every finite set Δ and all 𝑘 there
exists a finite bound on the possible lengths of Δ-𝑘-dividing sequences
1. 𝑇 is simple
98
the set of 𝜑(𝑥, 𝑏𝑖 ) to some type 𝑝(𝑥) ∈ 𝑆(𝑀 ) where 𝑀 = ⋃𝑖<𝜅+ 𝑀𝑖 . Then 𝑝
divides over each 𝑀𝑖
Let ℭ+ be an expansion of the monster model ℭ by Skolem functions, let
𝐿+ be the expanded language, and let 𝑇 + be Th𝐿+ (ℭ+ ). Then 𝑇 + has the
tree property, witnessed by the same 𝐿-formula 𝜑(𝑥; 𝑦) and the same tree
So there is a 𝜑-𝑘-dividing sequence (𝜑(𝑥, 𝑏𝛼 ))𝛼<𝜅+ . Let 𝑀 = ⟨{𝑏𝛼 ∣ 𝛼 <
𝜅+ }⟩. Since 𝑇 + has Skolem functions, 𝑀 ⊨ 𝑇 + . Similarly, for all 𝛽 < 𝜅+ ,
𝑀𝛽 = ⟨{𝑏𝛼 ∣ 𝛼 < 𝛽}⟩ is a model
Corollary 7.15. Let 𝑇 be simple and 𝑝 ∈ 𝑆(𝐴). Then 𝑝 does not fork over 𝐴
| 𝐵
𝐴⌣
𝐶
if for every finite tuple 𝑎 from 𝐴, the type tp(𝑎/𝐵𝐶) does not fork over 𝐶. It
𝐶 is empty, we may omit it and write 𝐴 ⌣ | 𝐵
99
| {𝑎𝑗 ∣ 𝑗 < 𝑖} for all 𝑖
1. independent over 𝐴 if 𝑎𝑖 ⌣𝐴
Example 7.2. Let 𝑞 be a global type invariant over 𝐴. Then any sequence
(𝑏𝑖 )𝑖∈𝐼 where each 𝑏𝑖 realises 𝑞 ↾ 𝐴 ∪ {𝑏𝑗 ∣ 𝑗 < 𝑖} is a Morley sequence
which proves our claim. Independence follows from Exercise 7.1.3: tp(𝑏𝑖 /𝐴𝑏0 … 𝑏𝑖−1 ) ⊆
𝑞 doesn’t fork over 𝐴
We call such a sequence (𝑏𝑖 )𝑖∈𝐼 a Morley sequence of 𝑞 over 𝐴. Note that
our proof shows that the type of a Morley sequence of 𝑞 over 𝐴 is uniquely
determined by its order type
Lemma 7.19. If (𝑎𝑖 )𝑖∈𝐼 is independent over 𝐴 and 𝐽 < 𝐾 are subsets of 𝐼, then
tp((𝑎𝑘 )𝑘∈𝐾 /𝐴{𝑎𝑗 ∣ 𝑗 ∈ 𝐽 }) does not divide over 𝐴
Stack
Proof. We may assume that 𝐾 is finite. The claim now follows from Propo-
sition 7.6 by induction on |𝐾|. If tp(𝑐/𝐵𝑎) doesn’t divide over 𝐴, then over
𝐴𝑎
Lemma 7.20 (Shelah). For all 𝐴 there is some 𝜆 s.t. for any linear order 𝐼 of car-
dinality 𝜆 and any family (𝑎𝑖 )𝑖∈𝐼 there exists an 𝐴-indiscernible sequence (𝑏𝑗 )𝑗∈𝜔
s.t. for all 𝑗1 < ⋯ < 𝑗𝑛 < 𝜔 there is a sequence 𝑖1 < ⋯ < 𝑖𝑛 in 𝐼 with
tp(𝑎𝑖1 … 𝑎𝑖𝑛 /𝐴) = tp(𝑏𝑗1 … 𝑏𝑗𝑛 /𝐴)
Proof. We only need that 𝜆 satisfies the following. Let 𝜏 = sup𝑛<𝜔 |𝑆𝑛 (𝐴)|
100
1. cf(𝜆) > 𝜏
2. For all 𝜅 < 𝜆 and all 𝑛 < 𝜔 there is some 𝜅′ < 𝜆 with 𝜅′ → (𝜅)𝑛𝜏
The existence of a Ramsey cardinal 𝜅 > 𝜏 would directly imply that any
sequence of order type 𝜅 contains a countable indiscernible subsequence
Lemma 7.21. If 𝑝 ∈ 𝑆(𝐵) does not fork over 𝐴, there is an infinite Morley sequence
in 𝑝 over 𝐴 which is indiscernible over 𝐵. In particular, if 𝑇 is simple, for every
𝑝 ∈ 𝑆(𝐴), there is an infinite Morley sequence in 𝑝 over 𝐴
Proposition 7.22 (Kim’s lemma for simple theories). Let 𝑇 be simple and
𝜋(𝑥, 𝑦) be a partial type over 𝐴. Let (𝑏𝑖 )𝑖<𝜔 be an infinite Morley sequence over 𝐴
and ⋃𝑖<𝜔 𝜋(𝑥, 𝑏𝑖 ) is consistent. Then 𝜋(𝑥, 𝑏0 ) does not divide over 𝐴
Proof. By Lemma 7.1, for every linear order 𝐼 there is a Morley sequence
(𝑏𝑖 )𝑖∈𝐼 in tp(𝑏0 /𝐴) over 𝐴 s.t. Σ(𝑥) = ⋃𝑖∈𝐼 𝜋(𝑥, 𝑏𝑖 ) is consistent. Check this.
It’s because forking is always witnessed by a formula (“finite character”),
and whether a formula 𝜑(𝑥, 𝑐) forks over � just depends on tp(𝑐/𝐴) (“in-
variance”).
By Lemma 7.21, we have an infinite Morley sequence (𝑎𝑖 )𝑖∈𝐽 in tp(𝑏0 /𝐴)
over 𝐴.
Suppose that (𝑏𝑖 )𝑖∈𝐼 is not independent. Then there is some 𝑘 ∈ 𝐼 s.t.
tp(𝑏𝑘 /𝐴𝑏<𝑘 ) forks over 𝐴. This is witnessed by some formula 𝜑(𝑥, 𝑏𝑖1 , … , 𝑏𝑖𝑛 , 𝑐) ∈
101
tp(𝑏𝑘 /𝐴𝑏<𝑘 ) which forks over 𝐴, where 𝑐 is a tuple from 𝐴 and 𝑖1 < ⋯ <
𝑖𝑛 < 𝑘 ∈ 𝐼.
Now since (𝑏𝑖 )𝑖∈𝐼 satisfies EM((𝑎𝑗 )𝑗∈𝐽 /𝐴), pick any 𝑗1 < ⋯ < 𝑗𝑛 < 𝑘′ ∈
𝐽 and we have
1. 𝜑(𝑥, 𝑎𝑗1 , … , 𝑎𝑗𝑛 , 𝑐) forks over 𝐴 (since tp(𝑎𝑗1 , … , 𝑎𝑗𝑛 𝑐/𝐴) = tp(𝑏𝑖1 , … , 𝑏𝑖𝑛 𝑐/𝐴))
and
2. 𝜑(𝑥, 𝑎𝑗1 , … , 𝑎𝑗𝑛 , 𝑐) ∈ tp(𝑎𝑘′ /𝐴𝑎<𝑘′ ) (since tp(𝑎𝑗1 , … , 𝑎𝑗𝑛 𝑎𝑘′ 𝑐/𝐴) = tp(𝑏𝑖1 … 𝑏𝑖𝑛 𝑏𝑘 𝑐/𝐴))
so tp(𝑎𝑘′ /𝐴𝑎<𝑘′ ) forks over 𝐴, contradicting our assumption that (𝑎𝑗 )𝑗∈𝐽
+
is a Morley sequence Choose 𝐼 having the inverse order type of |𝑇 | . Let 𝑐
be a realisation of Σ. By Proposition 7.14 (2), there is some 𝑖0 s.t. tp(𝑐/𝐴 ∪
{𝑏𝑖 ∣ 𝑖 ∈ 𝐼}) does not divide over 𝐴 ∪ {𝑏𝑖 ∣ 𝑖 > 𝑖0 }. This implies that
tp(𝑐/𝐴 ∪ {𝑏𝑖 ∣ 𝑖 ≥ 𝑖0 }) does not divide over 𝐴 ∪ {𝑏𝑖 ∣ 𝑖 > 𝑖0 }. By Lemma 7.19,
tp((𝑏𝑖 ∣ 𝑖 > 𝑖0 )/𝐴𝑏𝑖0 ) does not divide over 𝐴. Hence tp(𝑐(𝑏𝑖 ∣ 𝑖 > 𝑖0 )/𝐴𝑏𝑖0 )
does not divide over 𝐴 by Proposition 7.6. This implies that 𝜋(𝑥, 𝑏𝑖0 ) does
not divide over 𝐴
Proposition 7.23. Let 𝑇 be simple. Then 𝜋(𝑥, 𝑏) divides over 𝐴 iff it forks over 𝐴
Proof. By definition, if 𝜋(𝑥, 𝑏) divides over 𝐴, it forks over 𝐴. For the con-
verse assume 𝜋(𝑥, 𝑏) does not divide over 𝐴. So if 𝜓(𝑥, 𝑏) = ⋁𝑙<𝑑 𝜑𝑙 (𝑥, 𝑏)
is implied by 𝜋(𝑥, 𝑏), it does not divide over 𝐴. Let (𝑏𝑖 )𝑖<𝜔 be a Morley se-
quence in tp(𝑏/𝐴) over 𝐴, which exists since 𝑇 is simple. So {𝜓(𝑥, 𝑏𝑖 ) ∣ 𝑖 ∈ 𝜔}
is consistent. By the pigeon-hole principle there must be some 𝑙 and some
infinite 𝐼 ⊆ 𝜔 s.t. {𝜑𝑙 (𝑥, 𝑏𝑖 ) ∣ 𝑖 ∈ 𝐼} is consistent. By Proposition 7.22,
𝜑𝑙 (𝑥, 𝑏) does not divide over 𝐴. Hence 𝜋(𝑥, 𝑏) does not fork over 𝐴
102
Proof. For transitivity, note by Proposition 7.23 we may read Proposition 7.6
after replacing finite tuples by infinite ones as
𝐴′ ⌣ | 𝐵 ⇒ 𝐶𝐴′ ⌣
| 𝐵 and 𝐶 ⌣ | 𝐵
𝐴 ′ 𝐴𝐴 𝐴
| 𝐴′ and 𝐵 ⌣
𝐵⌣ | 𝐶𝐴′
| 𝐶 ⇒ 𝐵⌣
𝐴 ′ 𝐴𝐴 𝐴
Corollary 7.26. That (𝑎𝑖 )𝑖∈𝐼 is independent over 𝐴 does not depend on the order-
ing of 𝐼
is consistent by compactness
103
8 Stable Theories
8.1 Heirs and coheirs
8.2 Stability
8.3 Definable types
8.4 Elimination of imaginaries and 𝑇 eq
A Set Theory
A.1 Sets and classes
Bernays-Gödel set theory is formulated in a two-sorted language, one type
of objects being sets and the other type of objects being classes, with the
element-relation defined between sets and sets and between sets and classes
only. We use lower case letters as variables for sets and capital letters for
classes. BG has the following axioms
1. (a) Extensionality: Sets containing the same elements are equal
(b) Empty set: The empty set exists
(c) Pairing: For any sets 𝑎 and 𝑏, {𝑎, 𝑏} is a set. This means that there
is a set which has exactly the elements 𝑎 and 𝑏
(d) Union: For every set 𝑎, the union ⋃ 𝑎 = {𝑧 ∣ ∃𝑦 𝑧 ∈ 𝑦 ∈ 𝑎} is a set
(e) Power set: For every set 𝑎, the power set 𝔓(𝑎) = {𝑦 ∣ 𝑦 ⊆ 𝑎} is a
set
(f) Infinity: There is an infinite set
{𝑥 ∣ 𝜑(𝑥, 𝑏1 , … , 𝑏𝑚 , 𝐵1 , … , 𝐵𝑛 )}
is a class
(c) Replacement: If a class 𝐹 is a function, i.e., if for every set 𝑏 there
is a unique set 𝑐 = 𝐹 (𝑏) s.t. (𝑏, 𝑐) = {{𝑏}, {𝑏, 𝑐}} belongs to 𝐹 ,
then for every set 𝑎 the image {𝐹 (𝑧) ∣ 𝑧 ∈ 𝑎} is a set.
104
For BGC we add
4. Global Choice: There is a function 𝐹 s.t. 𝐹 (𝑎) ∈ 𝑎 for every nonempty
set 𝑎.
BGC is a conservative extension of ZFC
A.2 Cardinals
Theorem A.1 (Cantor’s Theorem). 1. If 𝜅 is infinite, then 𝜅 ⋅ 𝜅 = 𝜅
2. 2𝜅 > 𝜅
Corollary A.2. 1. If 𝜆 is infinite, then 𝜅 + 𝜆 = max(𝜅, 𝜆)
2. If 𝜅 > 0 and 𝜆 are infinite, then 𝜅 ⋅ 𝜆 = max(𝜅, 𝜆)
3. If 𝜅 is infinite, then 𝜅𝜅 = 2𝜅
Corollary A.3. The set
2<𝜔 = ⋃ 2𝑛
𝑛<𝜔
because
⎧1 if |𝑥| = 1
𝑛 {
sup|𝑥| = ℵ0 if 2 ≤ |𝑥|ℵ0
⎨
𝑛∈ℕ {|𝑥| if ℵ0 ≤ |𝑥|
⎩
⎧𝜇 if 𝛼 = 0
{
ℶ𝛼 (𝜇) = ⎨2ℶ𝛽 (𝜇) if 𝛼 = 𝛽 + 1
{sup ℶ (𝜇) if 𝛼 is a limit ordinal
⎩ 𝛽<𝛼 𝛽
For any linear linear order (𝑋, <) we can easily construct a well-ordered
cofinal subset, i.e., a subset 𝑌 s.t. for any 𝑥 ∈ 𝑋 there is some 𝑦 ∈ 𝑌 with
𝑥 ≤ 𝑦.
105
Definition A.4. The cofinality cf(𝑋) is the smallest order type of a well
ordered cofinal subset of 𝑋
Proof. Define
B Fields
B.1 Ordered fields
Let 𝑅 be an integral domain. A linear < ordering on 𝑅 is compatible with
the ring structure if for all 𝑥, 𝑦, 𝑧 ∈ 𝑅
Lemma B.1. Let 𝑅 be an integral domain and < a compatible ordering of 𝑅. Then
the ordering < can be uniquely extended to an ordering of the quotient field of 𝑅
106
C Combinatorics
C.1 Pregeometris
Definition C.1. A pregeometry (𝑋, cl) is a set 𝑋 with a closure operator
cl ∶ 𝔓(𝑋) → 𝔓(𝑋) s.t for all 𝐴 ⊆ 𝑋 and 𝑎, 𝑏 ∈ 𝑋
1. (REFLEXIVITY) 𝐴 ⊆ cl(𝐴)
A pregeometry where points and the empty set are closed, i.e., where
′ ′
cl (∅) = ∅ and cl (𝑥) = {𝑥} for all 𝑥 ∈ 𝑋
is called geometry. For any pregeometry (𝑋, cl), there is an associated ge-
′ ′
ometry (𝑋 ′ , cl ) obtained by setting 𝑋 ′ = 𝑋 • / ∼ and cl (𝐴/ ∼) = cl(𝐴)• / ∼
where ∼ is the equivalence relation on 𝑋 • = 𝑋 ⧵ cl(∅) defined by cl(𝑥) =
cl(𝑦).
Lemma C.3. Let (𝑋, cl) be a pregeometry with generating set 𝐸. Any indepen-
dent subset of 𝐸 can be extended to a basis contained in 𝐸. In particular, every
pregeometry has a basis
107
Definition C.4. Let (𝑋, cl) be a pregeometry. Any subset 𝑆 gives rise to two
𝑆
new pregeometries, the restriction (𝑆, cl ) and the relativisation (𝑋, cl𝑆 )
where
𝑆
cl (𝐴) = cl(𝐴) ∩ 𝑆
cl𝑆 (𝐴) = cl(𝐴 ∪ 𝑆)
𝑆
Remark. Let 𝐴 be a basis of (𝑆, cl ) and 𝐵 a basis of (𝑋, cl𝑆 ). Then the (dis-
joint) union 𝐴 ∪ 𝐵 is a basis of (𝑋, cl)
|𝐴| ≤ |𝐵|
Now assume that 𝐴 is finite. That |𝐴| ≤ |𝐵| follows immediately from
the following exchange principle: Given any 𝑎 ∈ 𝐴 ⧵ 𝐵 there is some 𝑏 ∈ 𝐵 ⧵ 𝐴
s.t. 𝐴′ = {𝑏} ∪ 𝐴 ⧵ {𝑎} is independent. For, since 𝑎 ∈ cl(𝐵), 𝐵 cannot be
contained in cl(𝐴 ⧵ {𝑎}) 𝐴 ⧵ {𝑎} cannot be a generating set since 𝑎 ∉ cl(𝐴 ⧵
{𝑎}). Choose 𝑏 in 𝐵 but not in cl(𝐴 ⧵ {𝑎}). It follows from the exchange
property that 𝐴′ is independent For any 𝑎′ ∈ 𝐴′ , let 𝐴″ = 𝐴′ ⧵{𝑎′ }, we have,
108
Definition C.6. The dimension dim(𝑋) of a pregeometry (𝑋, cl) is the car-
𝑆
dinality of a basis. For a subset 𝑆 of 𝑋 let dim(𝑆) be the dimension of (𝑆, cl )
and dim(𝑋/𝑆) the dimension of (𝑋, cl𝑆 )
D Index
109
𝛼-minimal, 88 model complete, 24
𝛼-strongly minimal, 86
𝜔-homogeneous, 40 totally transcendental, 55
type, 13
prime model, 46
atomic model, 46 universal theory, 18
110