STML 089
STML 089
STML 089
Volume 89
A First Journey
through Logic
Martin Hils
François Loeser
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A First Journey
through Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089
S T U D E N T M AT H E M AT I C A L L I B R A RY
Volume 89
A First Journey
through Logic
Martin Hils
François Loeser
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Editorial Board
Satyan L. Devadoss John Stillwell (Chair)
Rosa Orellana Serge Tabachnikov
Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for
them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or
research. Permission is granted to quote brief passages from this publication in reviews, provided the
customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication is
permitted only under license from the American Mathematical Society. Requests for permission to
reuse portions of AMS publication content are handled by the Copyright Clearance Center. For more
information, please visit www.ams.org/publications/pubpermissions.
Requests for translation rights and licensed reprints should be sent to reprint-
permission@ams.org.
⃝
∞ The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at https://www.ams.org/
10 9 8 7 6 5 4 3 2 1 24 23 22 21 20 19
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Contents
Introduction ix
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
vi Contents
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Contents vii
Bibliography 179
Index 181
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Introduction
The aim of this book, which originates from a course that we taught suc-
cessively at École Normale Supérieure (FL in 2007-2010 and MH in 2010-
2013), is to present a broad panorama of Mathematical Logic to students
who feel curious about this field but have no intent to specialize in it. As
a consequence we have deliberately chosen not to write another com-
prehensive textbook, of which there already exist quite a few excellent
ones, but instead to deliver a slim text which provides direct routes to
some significant results of general interest.
Our point of view is to treat Logic on an equal footing to any other
topic in the mathematical curriculum. Since one does not have to define
natural numbers when teaching Number Theory, or sets when teaching
Analysis, why should we in a Logic course? For this reason we start the
book with a presentation of naive Set Theory, that is, the theory of sets
that mathematicians use on a daily basis. It is only in the last chapter
that we discuss the Zermelo-Fraenkel axioms, which in fact most math-
ematicians who are not Set Theorists or teaching a logic course are not
so familiar with.
In each chapter we have tried to present at least a few juicy high-
lights, outside Logic whenever possible, either in the main text, or as ex-
ercises or appendices. We consider exercises as an essential component
of the book, and we encourage the reader to work them out thoroughly;
ix
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
x Introduction
they should be seen not only as a tool to check that the course is correctly
assimilated, but also as a way to provide an opening to additional topics
of interest.
The book is organized as follows. In the first chapter, in addition to
the basic theory of ordinal and cardinal numbers, we cover more exotic
topics like Goodstein sequences, infinite combinatorics (clubs and Solo-
vay’s Theorem) and Hindman’s Theorem (a striking result in additive
combinatorics). In Chapter 2 we introduce First-order Logic and for-
mal proofs. We prove Gödel Completeness via Henkin witnesses. Craig
Interpolation and Beth Definability are treated in exercises. The next
chapter delves deeper inside Model Theory, with detailed coverage of
Quantifier Elimination. In particular we prove Quantifier Elimination
for algebraically closed fields, which allows one to state and prove the
Lefschetz Principle in Algebraic Geometry and Ax’s Theorem on surjec-
tivity of injective polynomial mappings. Chapter 4 is devoted to basic Re-
cursion Theory and culminates with the existence of universal recursive
functions, undecidability of the Halting Problem and Rice’s Theorem.
In Chapter 5 we prove the classical undecidability and incompleteness
results of Tarski and Church and provide a complete proof of Gödel’s Sec-
ond Incompleteness Theorem which we found in Martin Ziegler’s book
[13]. We also present, as an exercise, a theorem of Tennenbaum about
the inexistence of non-standard countable recursive models of Peano.
Finally in Chapter 6 we develop Axiomatic Set Theory, including the
Reflection Principle and some proofs of independence and relative con-
sistency.
This book is intended towards advanced undergraduate students,
graduate students at any stage, or working mathematicians, who seek a
first exposure to core material of mathematical logic and some of its ap-
plications. Prerequisites are minimal: besides familiarity with abstract
reasoning and basic mathematical concepts, some acquaintance with
General Topology and Algebra, especially Field Theory, is required at
various places.
For the interested reader, here are a few suggestions for further read-
ing, providing more comprehensive and advanced material, ordered by
increasing difficulty:
Model Theory: The books by Marker [8], Poizat [9] and Tent-Ziegler [12].
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Introduction xi
Set Theory: The books by Krivine [6], Kunen [7] and Jech [5].
Recursion Theory: The books by Cooper [1], Rogers [10] and Soare [11].
Acknowledgements
We heartfully thank the following colleagues and friends who encour-
aged us in the project of transforming our notes into a book and/or helped
us immensely in improving the text: Martin Bays, Antoine Chambert-
Loir, Zoé Chatzidakis, Artem Chernikov, Raf Cluckers, Arthur Forey,
Franziska Jahnke, Silvain Rideau, Pierre Simon. Moreover, we thank
Christian Maurer who provided the drawing for the book cover.
During the preparation of this book the first author was partially
supported by ANR through ValCoMo (ANR-13-BS01-0006) and by DFG
through SFB 878 and the second author was partially supported by ANR
through Défigéo (ANR-15-CE40-0008) and by the Institut Universitaire
de France.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089/01
Chapter 1
Counting to Infinity
Introduction
The general purpose of this chapter is to provide tools for comparing
sizes of infinities. To this aim we develop in 1.3-1.6 the notion of ordinals
which constitute a natural infinite extension of natural numbers. Ordi-
nals classify well-ordered sets and are a natural device for using transfi-
nite induction. A fundamental and very useful fact is that ordinals are
endowed with arithmetic operations extending those of natural num-
bers, even though some classical properties do not extend (for instance
addition of ordinals is no longer commutative).
Building on the notion of ordinals, we develop in 1.7-1.10 the con-
cept of cardinals, which is the right notion to compare the size of sets.
Unlike the case of ordinals, one needs to assume the validity of the Ax-
iom of Choice (which we discuss in 1.7) to develop a full fledged the-
ory of cardinals. In the last sections of this chapter, we study cardinal
arithmetic, which appears to have a much richer theory of exponenta-
tion than ordinal arithmetic.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2 1. Counting to Infinity
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.3. Orders 3
Definition. Let 𝑋 and 𝑌 be sets. One says that 𝑋 and 𝑌 are equinumer-
ous, and writes 𝑋 ∼ 𝑌 , if there exists a bijection between 𝑋 and 𝑌 ; one
says 𝑋 is subnumerous to 𝑌 , and writes 𝑋 ≼ 𝑌 , if there exists an injection
𝑋 → 𝑌.
1.3. Orders
This section and the next one are devoted to preliminary results on or-
dered sets that are needed to develop the theory of ordinals.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4 1. Counting to Infinity
Proof. Exercise. □
Definition.
(1) Let < be a partial order on 𝑋. We say < is well-founded if any
non-empty subset of 𝑋 contains a minimal element.
(2) A well-order is a well-founded total order.
Remark 1.3.2. Let < be a partial order on 𝑋.
(1) The map 𝑎 ↦ 𝑋≤𝑎 = {𝑥 ∈ 𝑋 ∣ 𝑥 ≤ 𝑎} identifies (𝑋, <) with
a subset 𝑌 of 𝒫(𝑋) endowed with the partial order induced by
⊂.
(2) < is well-founded if and only if there is no infinite decreasing
sequence in 𝑋.
(3) < is a well-order if and only if every non-empty subset of 𝑋
contains a smallest element.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.4. Operations on Orders 5
(2) For every set 𝑋, the relation ⊂ is a partial order on 𝒫(𝑋) which
is well-founded if and only if 𝑋 is finite.1
(3) The restriction of a partial order (resp. total, well-founded) on
𝑋 to 𝑌 ⊆ 𝑋 is a partial order (resp. total, well-founded) on 𝑌 .
Proof. The only non-trivial point to check is that the reverse lexico-
graphic product of two well-founded partially ordered sets is well-founded.
1
By a finite set we mean a set into which ℕ does not inject.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6 1. Counting to Infinity
Proof. The only non-trivial point to check is that if 𝑋 and 𝑌 are well-
ordered, then 𝑋 (𝑌 ) is well-founded. Let 𝑍 be a non-empty subset of 𝑋 (𝑌 ) .
Let us prove that 𝑍 contains a smallest element. If the constant function
with value 0 belongs to 𝑍, there is nothing to prove. Hence, we may
assume supp(𝑓) ≠ ∅ for every 𝑓 ∈ 𝑍. Let
𝑌1 = {𝑠1 (𝑓) ∣ 𝑓 ∈ 𝑍},
where 𝑠1 (𝑓) = max(supp(𝑓)). Let 𝑦1 be the smallest element of 𝑌1 , and
set 𝑍1′ = {𝑓 ∈ 𝑍 ∣ 𝑠1 (𝑓) = 𝑦1 }. The set 𝑍1′ is an initial segment of 𝑍, in
other words 𝑓 < 𝑔 for every 𝑓 ∈ 𝑍1′ and 𝑔 ∈ 𝑍 ⧵𝑍1′ . Let 𝑥1 be the smallest
element of {𝑓(𝑦1 ) ∣ 𝑓 ∈ 𝑍1′ }. We set
𝑍1 = {𝑓 ∈ 𝑍1′ ∣ 𝑓(𝑦1 ) = 𝑥1 }.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.5. Ordinal Numbers 7
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8 1. Counting to Infinity
Proof. One sets 𝑋 = {𝛼, 𝛽}, and one applies Proposition 1.5.2. If 𝛼 ∩ 𝛽 =
𝛼, then 𝛼 ⊆ 𝛽, hence 𝛼 = 𝛽 or 𝛼 ∈ 𝛽 by Proposition 1.5.1(6). Similarly,
if 𝛼 ∩ 𝛽 = 𝛽, then 𝛼 = 𝛽 or 𝛽 ∈ 𝛼. The fact that these properties are
mutually exclusive follows from the axioms of a partial order. □
Notation. From now on, we shall write 𝛼 < 𝛽 for 𝛼 ∈ 𝛽, and 𝛼 ≤ 𝛽 for
𝛼 ⊆ 𝛽, when 𝛼 and 𝛽 are ordinals.
Proposition 1.5.4. Let 𝑋 be a set of ordinals. Then 𝑏 = ⋃𝛼∈𝑋 𝛼 is an
ordinal. Furthermore, if 𝛾 is an ordinal with 𝛾 < 𝑏, there exists 𝛼 ∈ 𝑋
such that 𝛾 ∈ 𝛼. We shall also write 𝑏 = sup𝛼∈𝑋 𝛼.
Proof. The set 𝑏 being the union of transitive sets, it is transitive. Fur-
thermore, 𝑏 contains only ordinals. By Theorem 1.5.3, ∈ induces a total
order on 𝑏. If ∅ ≠ 𝑍 ⊆ 𝑏, then ⋂𝛼∈𝑍 𝛼 is a smallest element of 𝑍 by
Proposition 1.5.2. This shows that the order given by ∈ on 𝑏 is well-
founded. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.5. Ordinal Numbers 9
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10 1. Counting to Infinity
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.6. Ordinal Arithmetic 11
Proof. (1) and (2) are clear, and (3) follows from Lemma 1.4.1. For the
non-trivial implication in (4), one easily checks that the ordinal 𝛿 iso-
morphic to the well-ordered set 𝛽 ⧵ 𝛼 does the job.
(5) If 𝛽 < 𝛾, by (2) and (4) one has 𝛾 = 𝛽+𝛿, hence 𝛼+𝛾 = (𝛼+𝛽)+𝛿,
for some 𝛿 > 0.
(6) 𝛼 + 𝜆 ≥ sup𝛽<𝜆 (𝛼 + 𝛽) follows from (5). Conversely, suppose
𝛼 ≤ 𝜇 < 𝛼 + 𝜆. Then 𝜇 = 𝛼 + 𝛿 for some 𝛿 with 0 ≤ 𝛿 < 𝜆. Since 𝜆 is a
limit, one has 𝛿+ < 𝜆, hence 𝜇 < 𝛼 + 𝛿+ ≤ sup𝛽<𝜆 (𝛼 + 𝛽).
(7) One proves by induction on 𝑛 ∈ ℕ that 1 + 𝑛 = 𝑛 + 1. By (6)
we have 1 + 𝜔 = 𝜔. Finally, 𝛼 ≥ 𝜔 can be written as 𝛼 = 𝜔 + 𝛽, hence
1 + 𝛼 = 1 + 𝜔 + 𝛽 = 𝜔 + 𝛽 = 𝛼. □
From now on, we shall allow the omission of parentheses, using the
convention that exponentiation ties are stronger than multiplication and
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
12 1. Counting to Infinity
that multiplication ties are stronger than addition. For instance, one
should read 𝛼𝛽 + 𝛾 as (𝛼𝛽) + 𝛾, and 𝛾𝛼𝛽 as 𝛾 (𝛼𝛽 ).
Proposition 1.6.2 (Ordinal multiplication). Let 𝛼, 𝛽, 𝛾 be ordinals.
(1) 𝛼0 = 0𝛼 = 0.
(2) 𝛼1 = 1𝛼 = 𝛼.
(3) 𝛼(𝛽𝛾) = (𝛼𝛽)𝛾.
(4) 𝛼(𝛽 + 𝛾) = 𝛼𝛽 + 𝛼𝛾, in particular 𝛼𝛽 + = 𝛼𝛽 + 𝛼.
(5) 2𝜔 = 𝜔 < 𝜔2 = 𝜔 + 𝜔.
(6) Assume 𝛼 ≠ 0. If 𝛽 < 𝛾, then 𝛼𝛽 < 𝛼𝛾. In particular, one may
simplify on the left: 𝛼𝛽 = 𝛼𝛾 ⇒ 𝛽 = 𝛾.
(7) If 𝜆 is a limit ordinal, then 𝛼𝜆 = sup𝛽<𝜆 𝛼𝛽 (continuity).
Proof. (1) and (2) are clear, (3) and (4) follow from Lemma 1.4.1. For
(6), it suffices to note that if 𝛽 < 𝛾 then 𝛾 = 𝛽 + 𝛿 for some 𝛿 > 0, hence
𝛼𝛾 = 𝛼𝛽 + 𝛼𝛿 by (4) from which it follows that 𝛼𝛾 > 𝛼𝛽.
(7) One may assume 𝛼 ≠ 0. Let 𝜆 be a limit ordinal. The inequality
𝛼𝜆 ≥ sup𝛽<𝜆 𝛼𝛽 =∶ 𝛿 follows from (6). Conversely, let 𝛾 < 𝛼𝜆. Eu-
clidean division, proved in the next lemma, provides a pair of ordinals
(𝜌, 𝜇) such that 𝛾 = 𝛼𝜇 + 𝜌, with 𝜌 < 𝛼. Since 𝜇 < 𝜆 by (6), we have
𝜇+ < 𝜆 because 𝜆 is a limit ordinal, hence 𝛾 = 𝛼𝜇 + 𝜌 < 𝛼𝜇 + 𝛼 = 𝛼𝜇+ ≤
𝛿. In (5), 2𝜔 = 𝜔 follows from (7), the other statements being clear. □
Lemma 1.6.3 (Euclidean division). Let 𝛼 and 𝛽 be ordinals, with 𝛼 ≠ 0.
Then there exists a unique pair of ordinals (𝜌, 𝜇) such that 𝜌 < 𝛼 and
𝛽 = 𝛼𝜇 + 𝜌.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.6. Ordinal Arithmetic 13
Note that we have only used properties (1)–(4) and (6) from Propo-
sition 1.6.2 in our proof of Euclidean division, thus avoiding circularity.
Proof. (1) is checked directly, and statements (2) and (3) follow from
Proposition 1.4.2.
(4) 𝛽 < 𝛾 ⇒ 𝛾 = 𝛽 + 𝛿 for some 𝛿 > 0. Hence 𝛼𝛾 = 𝛼𝛽+𝛿 = 𝛼𝛽 𝛼𝛿 .
But 𝛼𝛿 > 1 since as a set 𝛼(𝛿) contains at least two elements. It follows
that 𝛼𝛾 > 𝛼𝛽 by Proposition 1.6.2(6).
Let us prove the non-trivial inequality in (5). Let 𝑓 ∈ 𝛼(𝜆) . One may
assume 𝑓 is not the constant function with value 0. Then 𝑠1 (𝑓) < 𝜆, and
hence 𝛽 = 𝑠1 (𝑓)+ < 𝜆, which proves there exists a strictly increasing
function 𝑆≤𝑓 → 𝛼(𝛽) . One concludes by Lemma 1.5.8. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
14 1. Counting to Infinity
Definition. The Axiom of Choice (AC) states that the product of a family
of non-empty sets is non-empty: if 𝑋𝑖 ≠ ∅ for all 𝑖 ∈ 𝐼, then ∏𝑖∈𝐼 𝑋𝑖 ≠ ∅.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.8. Cardinal Numbers 15
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
16 1. Counting to Infinity
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.9. Operations on Cardinals 17
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
18 1. Counting to Infinity
Example 1.9.4. Let 𝒯 be the set of all open subsets of ℝ. Then card(𝒯) =
2ℵ0 .
Proposition 1.9.5.
(1) Let 𝑋 and 𝑌 be non-empty sets and assume that at least one of
them is infinite. Then
card(𝑋 ∪ 𝑌 ) = card(𝑋 × 𝑌 ) = max(card(𝑋), card(𝑌 )).
(2) Let 𝜅 ≥ ℵ0 and 𝜆 > 0 be cardinals. Then 𝜅 + 𝜆 = 𝜅𝜆 =
max(𝜅, 𝜆).
(3) Let (𝑋𝑖 )𝑖∈𝐼 be a family of sets with at least one 𝑋𝑖 infinite. Then
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.10. Cofinality 19
1.10. Cofinality
In this section we shall use the notion of cofinality to prove for instance
that 2ℵ0 ≠ ℵ𝜔 .
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
20 1. Counting to Infinity
Definition.
• Let 𝑋 be a totally ordered set. We say that a subset 𝑌 ⊆ 𝑋 is
cofinal in 𝑋 if 𝑌 is not bounded in 𝑋, that is, if for any 𝑥 ∈ 𝑋
there exists 𝑦 ∈ 𝑌 such that 𝑥 ≤ 𝑦. We say that a function
𝑓 ∶ 𝑍 → 𝑋 is cofinal if im(𝑓) is cofinal in 𝑋.
• The cofinality of an ordinal 𝛼, denoted by cof(𝛼), is the smallest
ordinal 𝛽 such that there exists a cofinal function 𝛽 → 𝛼.
Example 1.10.1.
(1) cof(0) = 0.
(2) cof(𝛼 + 1) = 1 for any ordinal 𝛼.
(3) cof(𝜔) = 𝜔.
Proposition 1.10.2. Let 𝛼 be an ordinal.
(1) cof(𝛼) ≤ 𝛼.
(2) cof(𝛼) is a cardinal.
(3) cof(𝛼) is the smallest ordinal 𝛽 such that there exists a cofinal
and strictly increasing map 𝛽 → 𝛼.
(4) cof(cof(𝛼)) = cof(𝛼).
Proof. (1) is clear, and (2) follows from the fact that any ordinal 𝛽 is in
bijection with card(𝛽) ≤ 𝛽.
(3) It is enough to provide some 𝛽 ≤ cof(𝛼) and a cofinal and strictly
increasing map 𝛽 → 𝛼. By hypothesis, there exists a cofinal map ℎ ∶
cof(𝛼) → 𝛼. Let us define
𝑋 = {𝑥 ∈ cof(𝛼) ∣ ℎ(𝑦) < ℎ(𝑥) for every 𝑦 < 𝑥}.
The set ℎ(𝑋) = {ℎ(𝑥) ∣ 𝑥 ∈ 𝑋} is cofinal in 𝛼. Indeed, let 𝛾 < 𝛼. By
the cofinality of ℎ, there exists 𝑦 ∈ cof(𝛼) such that ℎ(𝑦) ≥ 𝛾. When 𝑦 is
minimal with this property, we have 𝑦 ∈ 𝑋.
Since (𝑋, <) ≅ (𝛽, ∈) for some 𝛽 ≤ cof(𝛼), we are done, because the
restriction of ℎ to 𝑋 is cofinal and strictly increasing.
(4) cof(cof(𝛼)) ≤ cof(𝛼) follows from part (1). For the inequality
in the other direction, let us consider the cofinal and strictly increasing
functions 𝑓 ∶ cof(cof(𝛼)) → cof(𝛼) and 𝑔 ∶ cof(𝛼) → 𝛼, which are
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.10. Cofinality 21
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
22 1. Counting to Infinity
1.11. Exercises
Exercise 1.11.1.
(1) Prove that an ordinal 𝛼 is a limit if and only if there is an ordinal
𝛽 ≠ 0 such that 𝛼 = 𝜔𝛽.
(2) Prove that 𝜔2 = 𝜔𝜔 is not of the form 𝛿 + 𝜔.
Exercise 1.11.2 (Cantor normal form). Let 𝛼 be an ordinal > 1.
(1) Prove that 𝛼𝛾 ≥ 𝛾 for any ordinal 𝛾. (Is there any example with
𝛼𝛾 = 𝛾?)
(2) Let 𝛽 be an ordinal > 0. Prove that there exists an ordinal 𝛾
+
such that 𝛼𝛾 ≤ 𝛽 < 𝛼𝛾 .
(3) Deduce that any ordinal 𝛽 can be expanded in basis 𝛼: there ex-
ists a finite sequence of ordinals 𝛽1 > … > 𝛽𝑛 ≥ 0 and ordinals
𝑘𝑖 with 0 < 𝑘𝑖 < 𝛼 such that
𝛽 = 𝛼𝛽1 𝑘1 + … + 𝛼𝛽𝑛 𝑘𝑛 .
Furthermore the natural number 𝑛 and the sequences (𝛽𝑖 ) and
(𝑘𝑖 ) are unique.
The expansion into basis 𝜔 is called the Cantor normal
form.
Exercise 1.11.3 (Goodstein sequences). Let 𝑛, 𝑝 be natural numbers,
with 𝑝 ≥ 2. Let us define the iterated expansion of 𝑛 in basis 𝑝 as follows:
first expand 𝑛 in basis 𝑝 (for instance if 𝑛 = 35, 𝑝 = 2, one has 35 =
25 + 2 + 1). Then, expand the exponents in basis 𝑝 and so on, so that all
numbers occurring are < 𝑝. For instance the iterated expansion of 35 in
2
basis 2 is 35 = 22 +1 + 2 + 1.
For 𝑞 ≥ 𝑝 ≥ 2, one defines a function 𝑓𝑝,𝑞 ∶ ℕ → ℕ as follows. Let
𝑛 be a natural number. Then 𝑓𝑝,𝑞 (𝑛) is obtained by replacing all occur-
rences of 𝑝 in the iterated expansion of 𝑛 in basis 𝑝 by 𝑞. One similarly
defines ordinal valued functions 𝑓𝑝,𝜔 by replacing all occurrences of 𝑝 by
𝜔 (when 𝑝 > 2, one writes the coefficients at the right of the 𝑝𝑛 ). For in-
3
stance, 𝑓2,3 (35) = 33 +1 +3+1 = 59053 and 𝑓3,𝜔 (35) = 𝑓3,𝜔 (33 +3⋅2+2) =
𝜔𝜔 + 𝜔 ⋅ 2 + 2.
(1) Prove that 𝑓𝑞,𝑟 ∘ 𝑓𝑝,𝑞 = 𝑓𝑝,𝑟 for any 𝜔 ≥ 𝑟 > 𝑞 > 𝑝 ≥ 2.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.11. Exercises 23
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
24 1. Counting to Infinity
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.11. Exercises 25
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
26 1. Counting to Infinity
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.11. Exercises 27
Prove that for any 𝜖 > 0 there are open intervals 𝐼0 and 𝐼1
of length at most 𝜖 such that 𝐼𝑖 ∩ 𝐹 ′ ≠ ∅ and 𝐼𝑖 ⊆ 𝐼 for 𝑖 = 0, 1
and such that 𝐼0 ∩ 𝐼1 = ∅. (Here, 𝐽 denotes the closure of 𝐽.)
(3) Prove that there is an injection of 2ℵ0 into 𝐹 ′ .
(4) Prove Cantor’s Theorem.
Exercise 1.11.11. A tree is a partial order (𝑇, <𝑇 ) such that for every
𝑡 ∈ 𝑇, the set
𝑡 ̂ ∶= {𝑠 ∈ 𝑇 | 𝑠 <𝑇 𝑡}
Exercise 1.11.12.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
28 1. Counting to Infinity
ℬ={ 𝐸 ⧵ 𝐴𝑖 ∣ 𝐼0 ⊆ 𝐼 finite}
⋂
𝑖∈𝐼0
Proof. These properties are easy consequences of the fact that for 𝑘 ∈
ℕ∗ one has ℕ∗ − 𝑘 = ℕ∗ , (𝐴 − 𝑘) ∩ (𝐵 − 𝑘) = 𝐴 ∩ 𝐵 − 𝑘 and (ℕ∗ ⧵ 𝐴) − 𝑘 =
ℕ∗ ⧵ (𝐴 − 𝑘). The details are left as an exercise. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.12. Appendix: Hindman’s Theorem 29
Lemma 1.12.3.
(1) For any 𝑈, 𝑉 ∈ 𝒰(ℕ∗ ), 𝑈 ⊕ 𝑉 ∈ 𝒰(ℕ∗ ).
(2) ⊕ is associative.
(3) For fixed 𝑈, the function 𝑓𝑈 ∶ 𝒰(ℕ∗ ) → 𝒰(ℕ∗ ), 𝑉 ↦ 𝑈 ⊕ 𝑉, is
continuous.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
30 1. Counting to Infinity
𝑉 ′ , 𝑉 ″ ∈ 𝒱 ′ , then 𝑈 ⊕ (𝑉 ′ ⊕ 𝑉 ″ ) = (𝑈 ⊕ 𝑉 ′ ) ⊕ 𝑉 ″ = 𝑈 ⊕ 𝑉 ″ = 𝑈.
Thus 𝒱 ′ is closed under ⊕ and it belongs to 𝔸. It follows that 𝒱 ′ = ℬ by
minimality of ℬ. In particular, 𝑈 ∈ 𝒱 ′ , hence 𝑈 ⊕ 𝑈 = 𝑈. □
Σ𝐴 ∶= { ∑ 𝑘 | 𝐴0 ⊆ 𝐴 finite }
𝑘∈𝐴0
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.12. Appendix: Hindman’s Theorem 31
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089/02
Chapter 2
First-order Logic
Introduction
This chapter introduces the basics of first-order logic. First-order logic is
a standard way to formalize mathematics. For instance Peano arithmetic
and Zermelo-Fraenkel set theory formalize respectively number theory
and set theory. In a given formal language, one can define the basic no-
tions of variables, terms and formulas. One can also define formal logical
deduction rules that allow one to deduce new statements from a given
set of axioms via a formal proof. This corresponds to the syntactic side
of formal logic, where constructions are purely symbolic and no specific
interpretation or meaning is given to the symbols.
On the other hand, structures for a given language are sets where it
is possible to interpret terms and formulas. In particular, one can give a
meaning to the validity of a formula with no free variables in a structure.
This is the semantic side.
The main result in this chapter is Gödel’s Completeness Theorem
which states that a formula with no free variables can be formally de-
duced from a given set of axioms if and only if it is valid in every structure
satisfying these axioms. This particularly remarkable result shows that
the syntactic and semantic viewpoints are equivalent. It also provides
an a posteriori justification for our choice of syntax.
33
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
34 2. First-order Logic
Let us note that a language is always infinite. The first part being
common to all languages, we shall make the abuse of notation of identi-
fying ℒ and 𝜎ℒ .
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.1. Languages and Structures 35
Example 2.1.1.
ℒ∅ = ∅ The empty language.
ℒ𝑟𝑖𝑛𝑔 = {0, 1, +, −, ⋅} The ring language (with 1).
ℒ𝑜𝑟𝑑 = {<} The order language.
ℒ𝑜.𝑟𝑖𝑛𝑔 = ℒ𝑟𝑖𝑛𝑔 ∪ ℒ𝑜𝑟𝑑 The ordered ring language.
ℒ𝑎𝑟 = {0, 𝑆, +, ⋅, <} The language of arithmetic.
ℒ𝑠𝑒𝑡 = {∈} The language of set theory.
In these examples, 0 and 1 are constant symbols, − and 𝑆 unary
function symbols, + and ⋅ binary function symbols, and < and ∈ binary
relation symbols.
Definition. Let ℒ be a first-order language. An ℒ-structure 𝔄 consists
of a non-empty set 𝐴 (called the base set of 𝔄) together with an element
𝑐𝔄 ∈ 𝐴 for each 𝑐 ∈ 𝒞 ℒ , a function 𝑓𝔄 ∶ 𝐴𝑛 → 𝐴 for each 𝑓 ∈ ℱ𝑛ℒ and a
subset 𝑅𝔄 ⊆ 𝐴𝑛 for each 𝑅 ∈ ℛ𝑛ℒ . We write 𝔄 = ⟨𝐴; (𝑍 𝔄 )𝑍∈𝜍ℒ ⟩.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
36 2. First-order Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.2. Terms and Formulas 37
• or a word of the form 𝑅𝑡1 ⋯ 𝑡𝑛 , where 𝑅 ∈ ℛ𝑛ℒ and all the 𝑡𝑖 are
ℒ-terms.
ℒ
The set Fml of ℒ-formulas is the smallest subset 𝐷 of ℒ∗ that contains
all atomic ℒ-formulas and such that if 𝑥 ∈ 𝒱 and 𝜑, 𝜓 ∈ 𝐷, then ¬𝜑,
(𝜑 ∧ 𝜓) and ∃𝑥𝜑 are all in 𝐷.
ℒ ℒ ℒ
It is easy to see that Fml = ⋃𝑛∈ℕ Fml𝑛 , where Fml0 is the set of
atomic formulas, and, inductively,
ℒ ℒ ℒ ℒ
Fml𝑛+1 = Fml𝑛 ∪ {¬𝜑 ∣ 𝜑 ∈ Fml𝑛 } ∪ {(𝜑 ∧ 𝜓) ∣ 𝜑, 𝜓 ∈ Fml𝑛 }
ℒ
∪ {∃𝑥𝜑 ∣ 𝑥 ∈ 𝒱 and 𝜑 ∈ Fml𝑛 }.
Proposition 2.2.2 (Unique reading of formulas). Any ℒ-formula 𝜑 sat-
isfies one and only one of the following:
(1) 𝜑 is an atomic formula.
(2) 𝜑 is equal to ¬𝜓 for some unique ℒ-formula 𝜓.
(3) 𝜑 is equal to (𝜓 ∧ 𝜒) for some unique ℒ-formulas 𝜓 and 𝜒.
(4) 𝜑 is equal to ∃𝑥𝜓 for some unique variable 𝑥 and some unique
ℒ-formula 𝜓.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
38 2. First-order Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.3. Semantics 39
2.3. Semantics
We now explain how to interpret formulas in a given structure.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
40 2. First-order Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.4. Substitution 41
Exercise 2.3.3.
(1) Let 𝔄 be an ℒ-structure and 𝐵 a non-empy subset of 𝐴 contain-
ing the interpretations 𝑐𝔄 of all constants in ℒ and which is
closed under all operations 𝑓𝔄 . Restricting the interpretations
of all symbols from the set 𝐴 to 𝐵 one obtains an ℒ-structure
𝔅, called substructure of 𝔄. We shall write 𝔅 ⊆ 𝔄 when 𝔅 is a
substructure of 𝔄.
Prove that the intersection of a family of substructures of
𝔄 is either a substructure or empty. Deduce that any non-
empty subset 𝑋 of 𝐴 is contained in a smallest substructure of
𝔄, called the substructure generated by 𝑋 and denoted by ⟨𝑋⟩𝔄 .
Prove that the base set of ⟨𝑋⟩𝔄 is given by
{ 𝑡𝔄 [𝛼] | 𝑡 ∈ 𝒯 ℒ and 𝛼 ∶ 𝒱 → 𝑋} .
(2) Let 𝔄 = ⟨𝐴; 0, 1, +, −, ⋅⟩ be an ℒ𝑟𝑖𝑛𝑔 -structure. One assumes
that 𝔄 is a ring. Prove that the substructure generated by a
subset 𝑋 of 𝐴 is the subring generated by 𝑋.
2.4. Substitution
The aim of this section is to provide a satisfactory notion for the substi-
tution in a formula 𝜑 of a variable 𝑥 by a term 𝑠, in such a way that the
expected semantical properties (cf. Proposition 2.4.2) are satisfied.
One might simply decide to replace every free occurrence of 𝑥 in 𝜑
by 𝑠, but it might then happen that some variable in 𝑠 becomes bound by
a quantifier in the resulting formula. This could have unpleasant con-
sequences, as for the formula 𝜑(𝑣0 ) given by ∃𝑣1 ¬𝑣1 = 𝑣0 , with 𝑥 = 𝑣0
and 𝑠 = 𝑣1 , for which one would get the formula ∃𝑣1 ¬𝑣1 = 𝑣1 which is
satisfied in no structure, while as soon as 𝔄 contains at least two distinct
elements, 𝔄 ⊧ 𝜑[𝑎] for any 𝑎 ∈ 𝐴.
The following somewhat more complicated definition remedies this
issue.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
42 2. First-order Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.4. Substitution 43
𝔄
(1) For every term 𝑡 one has 𝑡𝑠/𝑥 [𝛼] = 𝑡𝔄 [𝛼𝑠𝔄0 [𝛼]/𝑥0 ,…,𝑠𝔄𝑟 [𝛼]/𝑥𝑟 ].
Proof. (1) is easy. One proves (2) by induction on the height of 𝜑, the
only non-trivial case being when 𝜑 is of the form ∃𝑥𝜓. As in the defini-
tion of [∃𝑥𝜓]𝑠/𝑥 , one denotes by 𝑥𝑖1 , … , 𝑥𝑖𝑘 the variables that are exactly
those among the 𝑥𝑖 which are free in ∃𝑥𝜓. Assume first that 𝑥 occurs
in one of the terms 𝑠𝑖1 , … , 𝑠𝑖𝑘 , and let 𝑢 be the variable chosen as in (∗).
Then
(by Lemma 2.3.1, since 𝑢 does not occur in any of the 𝑠𝑖𝑗 )
⟺ 𝔄 ⊧ ∃𝑥𝜓[𝛼𝑠𝔄 [𝛼]/𝑥𝑖 ,…,𝑠𝔄 ]
𝑖1 1 𝑖 [𝛼]/𝑥𝑖
𝑘 𝑘
The last equivalence follows from Proposition 2.3.2, since the as-
signments 𝛼𝑠𝔄 [𝛼]/𝑥𝑖 ,…,𝑠𝔄 [𝛼]/𝑥𝑖 and 𝛼𝑠𝔄0 [𝛼]/𝑥0 ,…,𝑠𝔄𝑟 [𝛼]/𝑥𝑟 coincide on the set
𝑖1 1 𝑖𝑘 𝑘
Free(∃𝑥𝜓).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
44 2. First-order Logic
Example 2.4.3.
(1) Let 𝜑(𝑣0 ) be the formula ∃𝑣1 ¬𝑣1 = 𝑣0 , and let 𝑠 = 𝑣1 . Then
𝜑𝑠/𝑣0 is equal to ∃𝑣2 [¬𝑣1 = 𝑣0 ]𝑣1 /𝑣0 ,𝑣2 /𝑣1 , that is, to ∃𝑣2 ¬𝑣2 = 𝑣1 .
(2) Let 𝜑 be a formula and 𝑥1 , … , 𝑥𝑛 be distinct variables. One as-
sumes that 𝑠1 , … , 𝑠𝑛 do not contain any variables having an oc-
currence in 𝜑. Then 𝜑𝑠/𝑥 is the word obtained by simultane-
ously replacing every free occurrence of 𝑥𝑖 by 𝑠𝑖 .
We prove this by induction on ht(𝜑), the only non-trivial
case being when 𝜑 is of the form ∃𝑥𝜓. Let 𝑖1 < … < 𝑖𝑘 be
chosen as in the definition of 𝜑𝑠/𝑥 . By assumption, 𝑥 has no
occurrence in any of 𝑠𝑖1 , … , 𝑠𝑖𝑘 , and so by definition [∃𝑥𝜓]𝑠/𝑥
equals ∃𝑥𝜓𝑠𝑖 /𝑥𝑖 ,…,𝑠𝑖 /𝑥𝑖 . As the 𝑠𝑖𝑗 do not contain any vari-
1 1 𝑘 𝑘
ables occurring in 𝜓, 𝜓𝑠𝑖 /𝑥𝑖 ,…,𝑠𝑖 /𝑥𝑖 is inductively given by si-
1 1 𝑘 𝑘
multaneously replacing every free occurrence of 𝑥𝑖𝑗 by 𝑠𝑖𝑗 , for
𝑗 = 1, … , 𝑘. This proves the result.
Proof. The proof is by induction on ht(𝜑), the only non-trivial case be-
ing when 𝜑 is of the form ∃𝑧𝜓. If 𝑥 is not free in 𝜑, then [𝜑𝑦/𝑥 ]𝑥/𝑦 equals
𝜑𝑥/𝑦 by Example 2.4.3(2), and so is equal to 𝜑 by definition, as 𝑦 does
not occur in 𝜑 at all. We may thus assume that 𝑥 is free in ∃𝑧𝜓, so in
particular 𝑧 ≠ 𝑥 and 𝑧 ≠ 𝑦. Hence by definition [[∃𝑧𝜓]𝑦/𝑥 ]𝑥/𝑦 is equal to
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.5. Universally Valid Formulas 45
[∃𝑧[𝜓]𝑦/𝑥 ]𝑥/𝑦 , which is equal to ∃𝑧 [[𝜓]𝑦/𝑥 ]𝑥/𝑦 . But [𝜓𝑦/𝑥 ]𝑥/𝑦 equals 𝜓 by
the induction hypothesis. □
Notation. Let 𝑠1 , … , 𝑠𝑛 be terms. If 𝑡(𝑥1 , … , 𝑥𝑛 ) is a term, we shall often
write 𝑡(𝑠1 , … , 𝑠𝑛 ) for 𝑡𝑠1 /𝑥1 ,…,𝑠𝑛 /𝑥𝑛 , and 𝜑(𝑠1 , … , 𝑠𝑛 ) instead of 𝜑𝑠1 /𝑥1 ,…,𝑠𝑛 /𝑥𝑛
if 𝜑 is a formula of the form 𝜑(𝑥1 , … , 𝑥𝑛 ).
Proof. One may identify assignments with values in 𝔄 and those with
values in 𝔄′ , and one has 𝔄′ ⊧ 𝜑[𝛼] ⟺ 𝔄 ⊧ 𝜑[𝛼] for any assignment
𝛼. Thus it suffices to prove that any ℒ-structure 𝔄 has an expansion to
some ℒ′ -structure, which is clear. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
46 2. First-order Logic
Exercise 2.5.3. For any function 𝑔 ∶ {0, 1}𝑛 → {0, 1} there exists a propo-
sitional calculus formula 𝐹(𝑝1 , … , 𝑝𝑛 ) such that, for any assignment 𝛿,
one has 𝛿∗ (𝐹) = 𝑔(𝛿(𝑝1 ), … , 𝛿(𝑝𝑛 )).
Definition.
(1) One says that a formula 𝐹 ∈ Fml𝒫 is a tautology for the propo-
sitional calculus if 𝛿 ⊧ 𝐹 for any assignment 𝛿. This can be
rephrased by saying that 𝐹 = 𝐹(𝑞1 , … , 𝑞𝑛 ) is true for any choice
of truth values for the 𝑞𝑖 .
(2) An ℒ-formula 𝜑 is a tautology for the predicate calculus if there
exists 𝐹 = 𝐹(𝑞1 , … , 𝑞𝑛 ) a tautology for the propositional calcu-
lus and ℒ-formulas 𝜓1 , … , 𝜓𝑛 such that 𝜑 equals 𝐹𝜓1 /𝑞1 ,…,𝜓𝑛 /𝑞𝑛
(the word obtained by replacing the variables 𝑞𝑖 by 𝜓𝑖 ).
Lemma 2.5.4. Tautologies for the predicate calculus are universally valid
formulas.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.5. Universally Valid Formulas 47
Proof. Clear. □
Lemma 2.5.5 (Equality axioms). The following sentences are universally
valid:
• ∀𝑣0 𝑣0 = 𝑣0 (reflexivity, E1)
• ∀𝑣0 , 𝑣1 (𝑣0 = 𝑣1 → 𝑣1 = 𝑣0 ) (symmetry, E2)
• ∀𝑣0 , 𝑣1 , 𝑣2 ((𝑣0 = 𝑣1 ∧ 𝑣1 = 𝑣2 ) → 𝑣0 = 𝑣2 ) (transitivity, E3)
𝑛
• ∀𝑣1 , … , 𝑣2𝑛 (⋀𝑖=1 𝑣𝑖 = 𝑣𝑖+𝑛 → 𝑓𝑣1 ⋯ 𝑣𝑛 = 𝑓𝑣𝑛+1 ⋯ 𝑣2𝑛 )
for any 𝑓 ∈ ℱ𝑛ℒ (congruence for functions, E4)
𝑛
• ∀𝑣1 , … , 𝑣2𝑛 ((⋀𝑖=1 𝑣𝑖 = 𝑣𝑖+𝑛 ∧ 𝑅𝑣1 ⋯ 𝑣𝑛 ) → 𝑅𝑣𝑛+1 ⋯ 𝑣2𝑛 )
for any 𝑅 ∈ ℛ𝑛ℒ (congruence for relations, E5).
Proof. Clear. □
Remark. The sentences (E1-E5) express that = is a congruence relation,
that is, an equivalence relation compatible with the functions and the
relations of the language.
Lemma 2.5.6 (Quantifier axioms). Let 𝜑 and 𝜓 be ℒ-formulas.
(1) For every variable 𝑥 which is not free in 𝜑, the formula
(Q1) ∀𝑥 (𝜑 → 𝜓) → (𝜑 → ∀𝑥 𝜓)
is univerally valid.
(2) For every variable 𝑥 and every term 𝑡, the formula
(Q2) 𝜑𝑡/𝑥 → ∃𝑥 𝜑
is universally valid.
(3) For every variable 𝑥 the formula
(Q3) ∃𝑥 𝜑 ↔ ¬∀𝑥 ¬𝜑
is universally valid.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
48 2. First-order Logic
and for this we may assume that 𝔄 ⊧ 𝜑[𝛼]. But then 𝔄 ⊧ 𝜑[𝛼𝑎/𝑥 ] by
Proposition 2.3.2, as 𝑥 ∉ Free(𝜑), and so 𝔄 ⊧ 𝜓[𝛼𝑎/𝑥 ]. Since 𝑎 ∈ 𝐴 was
arbitrary, 𝔄 ⊧ ∀𝑥 𝜓[𝛼] follows. □
Remark. The restriction on the variable 𝑥 in (Q1) is necessary, as shown
by the following example. Let both 𝜑 and 𝜓 be equal to the formula
𝑥 = 𝑐, where 𝑐 is a constant symbol. Then ⊧ ∀𝑥(𝜑 → 𝜓), but in any
structure 𝔄 with a base set that contains at least 2 elements, one has
𝔄 ⊭ ∀𝑥 (𝜑 → ∀𝑥 𝜓).
Definition. An ℒ-theory is a set of ℒ-sentences.
Let 𝑇 be an ℒ-theory.
• One says that the ℒ-structure 𝔄 is a model of 𝑇, which we de-
note by 𝔄 ⊧ 𝑇, if 𝔄 ⊧ 𝜑 for any 𝜑 ∈ 𝑇.
• A sentence (or more generally a formula) 𝜑 is a logical conse-
quence of 𝑇, denoted by 𝑇 ⊧ 𝜑, if for any ℒ-structure 𝔄 which
is a model of 𝑇 we have 𝔄 ⊧ 𝜑 (that is, in case of a formula
𝜑(𝑥1 , … , 𝑥𝑛 ), we require 𝔄 ⊧ ∀𝑥1 , … , 𝑥𝑛 𝜑).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.6. Formal Proofs and Gödel’s Completeness Theorem 49
Definition.
(1) Let 𝜑 be an ℒ-formula and 𝑇 be an ℒ-theory. A formal proof
of 𝜑 in 𝑇 is a finite sequence of ℒ-formulas (𝜑0 , … , 𝜑𝑛 ) with 𝜑𝑛
equal to 𝜑 such that, for every 𝑖 ≤ 𝑛, either 𝜑𝑖 ∈ 𝑇, or 𝜑𝑖 is a
logical axiom, or it can be deduced by (MP) from some 𝜑𝑗 and
𝜑𝑘 with 𝑗, 𝑘 < 𝑖, or it can be obtained by generalization from a
formula 𝜑𝑗 with 𝑗 < 𝑖.
(2) One says that 𝜑 is provable in 𝑇, denoted by 𝑇 ⊢ℒ 𝜑, if there
exists a formal proof of 𝜑 in 𝑇. We write ⊢ℒ 𝜑 if 𝜑 is provable
in the empty theory.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
50 2. First-order Logic
Proof. The logical axioms are universally valid by Lemma 2.5.4, Lemma
2.5.5 and Lemma 2.5.6. Clearly, if 𝑇 ⊧ 𝜑 and 𝑇 ⊧ 𝜑 → 𝜓, then 𝑇 ⊧ 𝜓. It is
also easy to see that 𝑇 ⊧ 𝜑 implies 𝑇 ⊧ ∀𝑥 𝜑. By induction on the length
of a formal proof, we are done. □
Definition. Let 𝑇 be an ℒ-theory.
• 𝑇 is inconsistent if there exists an ℒ-sentence 𝜑 such that 𝑇 ⊢ℒ
𝜑 and 𝑇 ⊢ℒ ¬𝜑.
• 𝑇 is consistent if it is not inconsistent.
• 𝑇 is complete if it is consistent and for any ℒ-sentence 𝜑 either
𝑇 ⊢ℒ 𝜑 or 𝑇 ⊢ℒ ¬𝜑.
Example 2.6.3.
(1) Let 𝔄 be an ℒ-structure. Then the set
Th(𝔄) ∶= {𝜑 is ℒ-sentence ∣ 𝔄 ⊧ 𝜑}
is a theory, called the theory of 𝔄. It is a complete theory (its
consistency follows from Lemma 2.6.2).
(2) The theory of algebraically closed fields is the ℒ𝑟𝑖𝑛𝑔 -theory ACF
which is composed of the field axioms together with a sentence
𝜒𝑛 for any 𝑛 ≥ 1 expressing that any polynomial of degree 𝑛 has
a root. For instance, the formula 𝜒𝑛 given by ∀𝑧0 ,…,𝑧𝑛−1 ∃𝑥(𝑥𝑛 +
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.6. Formal Proofs and Gödel’s Completeness Theorem 51
Proof. Exercise. □
Corollary 2.6.5.
(1) Let 𝑇 be an ℒ-theory such that all finite subsets of 𝑇 are consis-
tent. Then 𝑇 is consistent, too.
(2) Let (𝑇𝑖 )𝑖∈𝐼 be a family of consistent ℒ-theories, with 𝑇𝑖 ⊆ 𝑇𝑗 or
𝑇𝑗 ⊆ 𝑇𝑖 for any 𝑖, 𝑗 ∈ 𝐼. Then 𝑇 = ⋃𝑖∈𝐼 𝑇𝑖 is consistent, too. □
Lemma 2.6.6 (Deduction Lemma). Let 𝜒 be an ℒ-sentence, 𝑇 an ℒ-
theory and 𝜑 an ℒ-formula. Then
𝑇 ∪ {𝜒} ⊢ℒ 𝜑 if and only if 𝑇 ⊢ℒ 𝜒 → 𝜑.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
52 2. First-order Logic
Proof. For ease of notation we shall assume 𝑇 = ∅; the proof for general
𝑇 is just the same. Let us start by proving (a).
(1)⇒(3) is clear since any ℒ-proof is an ℒ ∪ {𝑐}-proof.
(3)⇒(2). If ⊢ℒ∪{𝑐} 𝜓, then generalization yields ⊢ℒ∪{𝑐} ∀𝑥𝜓. Using
Example 2.6.1(2) and (MP), one deduces ⊢ℒ∪{𝑐} 𝜓𝑐/𝑥 .
(2)⇒(1). For 𝜑̃ an ℒ ∪ {𝑐}-formula and 𝑦 a variable not occurring
in 𝜑,̃ we denote by 𝜑 and also by 𝜑𝑦/𝑐 ̃ the word obtained by substituting
every occurrence of 𝑐 in 𝜑̃ by 𝑦.
Let 𝜑,̃ 𝜓 ̃ and 𝜒̃ be ℒ ∪ {𝑐}-formulas with no occurrence of 𝑦. Then
the following statements hold:
(i) 𝜑 is an ℒ-formula.
(ii) 𝜑𝑐/𝑦 is equal to 𝜑.̃
(iii) If 𝜑̃ is an equality axiom (respectively a tautology or a quanti-
fier axiom), then 𝜑 is so, too.
(iv) If 𝜑̃ is obtained using (MP) from 𝜓 ̃ and 𝜒,̃ then 𝜑 is obtained
using (MP) from 𝜓 and 𝜒.
(v) If 𝜑̃ is obtained using generalization from 𝜓,̃ then 𝜑 is obtained
using generalization from 𝜓.
One proves (i) by induction on the height of 𝜑, and (ii) follows from
Example 2.4.3(2). The statements (iv) and (v) are immediate, and also
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.6. Formal Proofs and Gödel’s Completeness Theorem 53
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
54 2. First-order Logic
Proof. The easy direction was already proved. To prove that any con-
sistent theory 𝑇 has a model, we will start by constructing an expansion
𝑇 + of 𝑇 in some language ℒ+ ⊇ ℒ which has better properties. Let us
begin with a definition.
Definition. Let ℒ be a language and 𝐶 a set of constant symbols with
ℒ ∩ 𝐶 = ∅. One says that an ℒ ∪ 𝐶-theory 𝑇 + admits Henkin witnesses
in 𝐶 if for any ℒ ∪ 𝐶-formula 𝜑(𝑥) there exists 𝑐 ∈ 𝐶 such that ∃𝑥𝜑 →
𝜑𝑐/𝑥 ∈ 𝑇 + .
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.6. Formal Proofs and Gödel’s Completeness Theorem 55
+
• For 𝑑 a constant symbol, we set 𝑑𝔄 ∶= 𝑎𝑐 if 𝑐 = 𝑑 ∈ 𝑇 + ,
where 𝑐 ∈ 𝐶. Note that such a 𝑐 always exists. Indeed, 𝑑 =
𝑑 → ∃𝑥 𝑥 = 𝑑 ∈ 𝑇 + by (Q2), thus ∃𝑥 𝑥 = 𝑑 ∈ 𝑇 + by (MP);
since 𝑇 + admits Henkin witnesses in 𝐶, there exists 𝑐 ∈ 𝐶 such
that ∃𝑥 𝑥 = 𝑑 → 𝑐 = 𝑑 ∈ 𝑇 + , whence 𝑐 = 𝑑 ∈ 𝑇 + by (MP).
+
Furthermore by the equality axioms 𝑑𝔄 does not depend on
the choice of 𝑐.
• For 𝑅 ∈ ℛ𝑛ℒ we set
+
(𝑎𝑐1 , … , 𝑎𝑐𝑛 ) ∈ 𝑅𝔄 ∶ ⟺ 𝑅𝑐1 ⋯ 𝑐𝑛 ∈ 𝑇 + .
This is well defined by the equality axioms (E5).
• For 𝑓 ∈ ℱ𝑛ℒ we set
+
𝑓𝔄 (𝑎𝑐1 , … , 𝑎𝑐𝑛 ) = 𝑎𝑐0 ∶ ⟺ 𝑓𝑐1 ⋯ 𝑐𝑛 = 𝑐0 ∈ 𝑇 + .
This is well defined by the equality axioms (E4). By an argu-
+
ment similar to the one given for constants one proves that 𝑓𝔄
is defined everywhere as a function.
The following statements then hold:
(I) If 𝑡 is an ℒ ∪ 𝐶-term without variables and 𝑐 ∈ 𝐶, then
+
𝑡 𝔄 = 𝑎𝑐 ⟺ 𝑡 = 𝑐 ∈ 𝑇 + .
(II) Let 𝜓 be an ℒ ∪ 𝐶-sentence. Then 𝔄+ ⊧ 𝜓 ⟺ 𝜓 ∈ 𝑇 + .
One proves (I) by induction on ht(𝑡), using the equality axioms.
To prove (II), first recall that ht(𝜓) = ht(𝜓𝑠/𝑥 ) (cf. Exercise 2.4.1).
One argues by induction on ht(𝜓).
If 𝜓 is of the form 𝑡1 = 𝑡2 , then (II) follows from (I). If 𝜓 is of the form
+
𝑅𝑡1 ⋯ 𝑡𝑛 , one chooses 𝑐𝑖 ∈ 𝐶 such that 𝑡𝑖𝔄 = 𝑎𝑐𝑖 . Since 𝑡𝑖 = 𝑐𝑖 ∈ 𝑇 + , one
has 𝔄+ ⊧ 𝜓 ⟺ 𝑅𝑐1 ⋯ 𝑐𝑛 ∈ 𝑇 + ⟺ 𝜓 ∈ 𝑇 + . The first equivalence
follows from the definition of 𝔄+ , the second from (E5).
If 𝜓 is equal to (𝜑1 ∧ 𝜑2 ) it is clear that (II) for 𝜓 follows from (II) for
both 𝜑1 and 𝜑2 . If 𝜓 is equal to ¬𝜑, one has
𝔄+ ⊧ 𝜓 ⟺ 𝔄 + ⊭ 𝜑 ⟺ 𝜑 ∉ 𝑇 + ⟺ 𝜓 ∈ 𝑇 + ,
since 𝑇 + is complete and deductively closed by hypothesis.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
56 2. First-order Logic
Proof. To any ℒ-formula with a free variable 𝜑(𝑥) one assigns a new
constant symbol 𝑐𝜑 . Let 𝐶1 be the set of all 𝑐𝜑 . One sets ℒ1 = ℒ ∪ 𝐶1 and
ℒ
𝑇1 ∶= 𝑇˜ ∶= 𝑇 ∪ {∃𝑥𝜑 → 𝜑𝑐𝜑 /𝑥 ∣ 𝜑(𝑥) ∈ Fml }.
Let us prove that the theory 𝑇1 is consistent. Since a theory is consis-
tent if and only if any finite subset is consistent, it suffices to prove that
the theory 𝑇˜′ = 𝑇 ∪ {∃𝑥𝑖 𝜑𝑖 → 𝜑𝑐𝑖 𝑖 /𝑥𝑖 } is consistent for any finite set of
𝜑
formulas {𝜑1 , … , 𝜑𝑛 }. The theory 𝑇 being consistent as an ℒ1 -theory by
Lemma 2.6.8(b), this follows from Lemma 2.6.9, by induction on 𝑛.
We iterate that construction, with 𝐶2 a set of new constant symbols,
ℒ2 ∶= ℒ1 ∪ 𝐶2 and the ℒ2 -theory 𝑇2 ∶= 𝑇˜1 . By the argument just given,
𝑇2 is consistent. By induction, 𝑇𝑛 being constructed, it gives rise to a set
of new constant symbols 𝐶𝑛+1 . One sets ℒ𝑛+1 = ℒ𝑛 ∪ 𝐶𝑛+1 , and the
ℒ𝑛+1 -theory 𝑇𝑛+1 ∶= 𝑇˜𝑛 is consistent. Set 𝐶 ∶= ⋃𝑛∈ℕ 𝐶𝑛 and ℒ+ ∶=
ℒ∪𝐶. Thus (𝑇𝑛 )𝑛∈ℕ is an increasing sequence of consistent ℒ+ -theories.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.6. Formal Proofs and Gödel’s Completeness Theorem 57
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
58 2. First-order Logic
2.7. Exercises
Exercise 2.7.1 (Compactness in propositional logic). Let Fml𝒫 be the
set of propositional formulas over an infinite set 𝒫 of propositional vari-
ables. A set Σ ⊆ Fml𝒫 is called satisfiable if there is an assignment
𝛿 ∶ 𝒫 → {0, 1} such that 𝛿∗ (𝐹) = 1 for all 𝐹 ∈ Σ; it is called finitely
satisfiable if every finite subset Σ0 ⊆ Σ is satisfiable.
The aim of this exercise is to prove the following result (Compact-
ness Theorem in propositional logic): A set Σ ⊆ Fml𝒫 of propositional
formulas is satisfiable if and only if it is finitely satisfiable.
(1) Prove the theorem in the special case when Σ is complete, that
is, when for every 𝑝 ∈ 𝒫 one has 𝑝 ∈ Σ or ¬𝑝 ∈ Σ.
(2) Prove that every finitely satisfiable set of propositional formu-
las is contained in a finitely satisfiable set which is complete.
(3) Conclude.
Application 1. Let 𝑘 be a natural number. A graph 𝒢 = (𝐺, 𝐸) is said to
be 𝑘-colorable if there is a coloring of its set of vertices 𝐺 with 𝑘 colors
such that any two vertices which are connected by an edge have differ-
ent colors. Prove that a graph 𝒢 is 𝑘-colorable if and only if every finite
subgraph of 𝒢 is 𝑘-colorable.
Application 2. For 𝑛 ∈ ℕ and a set 𝐴 let 𝒫𝑛 (𝐴) be the set of 𝑛-element
subsets of 𝐴.
(a) Prove Ramsey’s Theorem (infinite version): For any natural
numbers 𝑛, 𝑘 and any 𝑓 ∶ 𝒫𝑛 (ℕ) → {0, 1, … , 𝑘 − 1} there is an
infinite subset 𝐴 of ℕ such that the restriction of 𝑓 to 𝒫𝑛 (𝐴) is
constant.
[Hint: Argue by induction on 𝑛 ∈ ℕ. Given some function 𝑓 ∶
𝒫𝑛+1 (ℕ) → {0, 1, … , 𝑘−1} and some natural number 𝑎, consider
the induced map 𝑓𝑎 on 𝒫𝑛 (ℕ⧵{𝑎}) defined by 𝑓𝑎 (𝑆) = 𝑓(𝑆 ∪{𝑎}).
Inductively construct an increasing sequence 0 = 𝑎0 < 𝑎1 <
𝑎2 < ⋯ in ℕ and a sequence of infinite sets ℕ = 𝑋0 ⊋ 𝑋1 ⊋
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.7. Exercises 59
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
60 2. First-order Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.7. Exercises 61
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
62 2. First-order Logic
𝑄1 𝑥1 … 𝑄𝑚 𝑥𝑚 𝜑0 ,
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.7. Exercises 63
𝑗 𝑗
⊢ 𝜓(𝑡1 , … , 𝑡𝑛 ).
⋁
1≤𝑗≤𝑚
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
64 2. First-order Logic
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089/03
Chapter 3
Introduction
First-order model theory deals with the relationship between theories in
a first-order language and their models. It provides a way to treat prob-
lems from other areas of mathematics (like algebra or combinatorics)
with tools from mathematical logic. First-order logic has a rather lim-
ited expressive power: we will see for instance that an infinite structure
is never determined, up to isomorphism, by its first-order theory (Corol-
lary 3.2.4). In fact this apparent weakness is a strength and a reason for
its efficiency. As we will see it is sometimes quite useful to be able to
switch from one model of a theory to another.
One of the main themes of this chapter is quantifier elimination,
which in concrete examples often yields a particularly simple descrip-
tion of all definable sets in models of the theory under consideration. In
Theorem 3.4.4 we provide a very useful semantical criterion for a for-
mula to be equivalent to a quantifier-free formula in a given theory (a
syntactic condition). This applies in particular to the theory of alge-
braically closed fields which is studied in 3.5, and other examples are
considered in exercises. As a remarkable consequence of this study, we
provide a statement and a proof of the Lefschetz principle from algebraic
65
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
66 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.1. Some Fundamental Theorems 67
Remark.
(1) If 𝔐 ≼ 𝔑, then 𝔐 ≡ 𝔑.
(2) If 𝔐 ≅ 𝔑, then 𝔐 ≡ 𝔑. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
68 3. First Steps in Model Theory
Proof. (1) Let 𝑐 be a new constant symbol and ℒ ∶= ℒ𝑜.𝑟𝑖𝑛𝑔 ∪ {𝑐}. Let
𝑐 + … + 𝑐 < 1. One considers the ℒ-theory
𝜑𝑛 be the formula ⏟⎵⏟⎵⏟
𝑛 times
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.1. Some Fundamental Theorems 69
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
70 3. First Steps in Model Theory
𝜑𝑓𝑖𝑒𝑙𝑑𝑠 ∪ {¬ 1⏟⎵
+⎵⏟ +⏟1 = 0 ∣ 𝑝 prime and 𝑝 < 𝑁} ⊢ 𝜑0
…⎵⎵
𝑝 times
The last two examples make more precise what we said at the be-
ginning of Chapter 2.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.2. The Diagram Method 71
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
72 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.3. Expansions by Definition 73
and which satisfies 𝑀(𝜓) < 𝑀(𝜑). The case where 𝜑 is given by 𝑡1 = 𝑡2
is similar. □
Definition. Let 𝑇 be an ℒ-theory and 𝑇 ′ ⊇ 𝑇 an ℒ′ -theory for some
language ℒ′ ⊇ ℒ. One says that 𝑇 ′ is a conservative expansion of 𝑇 if for
any ℒ-sentence 𝜓 one has 𝑇 ⊧ 𝜓 if and only if 𝑇 ′ ⊧ 𝜓.
Proposition 3.3.2. Let 𝑇 ′ be an expansion by definition of 𝑇. Then the ex-
pansion 𝑇 ′ ⊇ 𝑇 is conservative. Furthermore, any ℒ′ -formula 𝜓′ is equiv-
alent in 𝑇 ′ to an ℒ-formula 𝜓.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
74 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.4. Quantifier Elimination 75
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
76 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.4. Quantifier Elimination 77
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
78 3. First Steps in Model Theory
Proof. (1) This is a special case of the easy implication in Theorem 3.4.1.
Indeed, any sentence 𝜑 is equivalent in 𝑇 to a quantifier-free formula
𝜓(𝑥). Let 𝔄 be a common substructure of 𝔐 and 𝔑. For any 𝑎 ∈ 𝐴, one
then has
𝔐 ⊧ 𝜑 ⟺ 𝔐 ⊧ 𝜓[𝑎] ⟺ 𝔄 ⊧ 𝜓[𝑎]
⟺ 𝔑 ⊧ 𝜓[𝑎] ⟺ 𝔑 ⊧ 𝜑.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.5. Algebraically Closed Fields 79
In the following fact we list some results from field theory which we
will need in this and the next section.
Fact 3.5.1. Let 𝐴 be an integral domain.
(1) There exists an algebraic closure of 𝐴.
(2) If 𝐾 and 𝐾 ′ are algebraic closures of 𝐴, then there exists an iso-
morphism 𝑓 ∶ 𝐾 ≅ 𝐾 ′ such that 𝑓 ↾ 𝐴 = id𝐴 .
(3) Assume 𝐴 is a subring of an algebraically closed field 𝐿. Then
𝑎𝑙𝑔
the subfield 𝐴𝐿 = {𝑏 ∈ 𝐿 ∣ 𝑏 is algebraic over 𝐴} is an algebraic
closure of 𝐴.
𝑎𝑙𝑔
(4) Let 𝔽𝑝 be an algebraic closure of the field with 𝑝 elements 𝔽𝑝 .
𝑎𝑙𝑔
Then 𝔽𝑝 is an increasing union of finite subfields 𝐹𝑁 , 𝑁 ∈ ℕ.
More precisely, for any integer 𝑘 ≥ 1, the set of roots of the poly-
𝑘 𝑎𝑙𝑔
nomial 𝑋 𝑝 − 𝑋 in 𝔽𝑝 is a subfield 𝔽𝑝𝑘 (with 𝑝𝑘 elements), and
𝑎𝑙𝑔
⋃𝑘∈ℕ 𝔽𝑝𝑘 = 𝔽𝑝 . Since furthermore 𝔽𝑝𝑘 ⊆ 𝔽𝑝𝑙 when 𝑘 ∣ 𝑙, it is
enough to take 𝐹𝑁 ∶= 𝔽𝑝𝑁! .
(5) Any algebraically closed field is infinite.
(6) Let 𝐾 ⊆ 𝐿 be a field extension with 𝐾 an algebraically closed
field, and let 𝑏 ∈ 𝐿 ⧵ 𝐾. Then 𝑏 is not algebraic over 𝐾.
Theorem 3.5.2 (Chevalley-Tarski). The theory ACF admits quantifier
elimination.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
80 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.6. Ax’s Theorem 81
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
82 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.7. Exercises 83
𝑃𝑛,𝑑 (𝑎, 𝑥) for some tuple 𝑎 of elements of 𝐾. The following sentence 𝜓𝑛,𝑑
is ∀∃ and expresses that any injective polynomial function 𝑓 ∶ 𝐾 𝑛 → 𝐾 𝑛 ,
with all polynomials 𝑓𝑖 of degree at most 𝑑, is surjective:
𝑛
′
∀𝑧1 , … , 𝑧𝑛 , 𝑢 ∃𝑥, 𝑥 [( 𝑃𝑛,𝑑 (𝑧𝑖 , 𝑥) = 𝑢𝑖 )
⋀
𝑖=1
𝑛 𝑛
′
∨( 𝑃𝑛,𝑑 (𝑧𝑖 , 𝑥) = 𝑃𝑛,𝑑 (𝑧𝑖 , 𝑥 ) ∧ ¬ 𝑥𝑖 = 𝑥𝑖′ )] .
⋀ ⋀
𝑖=1 𝑖=1
3.7. Exercises
Exercise 3.7.1. Let 𝔐1 and 𝔐2 be two ℒ-structures. Prove that 𝔐1 ≡
𝔐2 if and only there exist 𝔑1 , 𝔑2 and 𝔓 such that 𝔐𝑖 ≅ 𝔑𝑖 and 𝔑𝑖 ≼ 𝔓
for 𝑖 = 1, 2.
Exercise 3.7.2. Let 𝑇 = Th(𝔑), where 𝔑 denotes the ℒ𝑎𝑟 -structure
⟨ℕ; 𝑆, 0, +, ⋅, <⟩. Prove that there exists 𝔑′ ⊧ 𝑇 such that 𝑁 ′ contains
a non-standard prime number, that is, an element 𝑝′ such that one has
𝔑′ ⊧ ∀𝑥(∃𝑦 𝑥 ⋅ 𝑦 = 𝑝′ → (𝑥 = 1 ∨ 𝑥 = 𝑝′ )) and 𝔑′ ⊧ (𝑆⏟ ⋯ 𝑆 0) < 𝑝′ for
𝑛 times
any 𝑛 ∈ ℕ.
Exercise 3.7.3. Prove that any theory 𝑇 admits an expansion by defini-
tion that admits quantifier elimination.
Exercise 3.7.4 (Vaught’s Criterion). Let ℒ be a first-order language and
𝜅 an infinite cardinal. An ℒ-theory 𝑇 is said to be 𝜅-categorical if all its
models of cardinality 𝜅 are isomorphic.
We assume that 𝜅 is larger than or equal to the cardinality of ℒ.
(1) Let 𝑇 be an ℒ-theory. Prove that any infinite model of 𝑇 is
elementarily equivalent to a model of 𝑇 of cardinality 𝜅.
(2) Prove that if a consistent theory 𝑇 is 𝜅-categorical and has no
finite model then it is complete.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
84 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.7. Exercises 85
Exercise 3.7.6.
Exercise 3.7.7. Let 𝑇 be the ℒ𝑜𝑟𝑑 -theory of total discrete orders with-
out endpoints, that is, totally ordered sets such that any element has an
(immediate) predecessor and an (immediate) successor. Observe that
⟨ℤ; <⟩ ⊧ 𝑇.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
86 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.7. Exercises 87
all universal ℒ′ -sentences (that is, sentences of the form ∀𝑥1 , … , 𝑥𝑛 𝜓 for
𝜓 quantifier-free) which are consequences of 𝑇.
(1) Prove the Embedding Theorem: An ℒ′ -structure 𝔐′ embeds
into the ℒ′ -reduct of a model of 𝑇 if and only if 𝔐′ ⊧ 𝑇∀′ .
[Hint: Use the diagram method to establish the non-trivial im-
plication.]
(2) Application. A group 𝐺 is called left-orderable if there exists
a total order < on 𝐺 such that for all elements 𝑥, 𝑦, 𝑔 from 𝐺,
𝑥 < 𝑦 entails 𝑔 ⋅ 𝑥 < 𝑔 ⋅ 𝑦. Now let ℒ𝑔𝑝 = {𝑒, ⋅, (⋅)−1 } be the
language of groups.
(a) Prove that the class of left-orderable groups may be axiom-
atized by a universal ℒ𝑔𝑝 -theory.
(b) Give an explicit (universal) axiomatzation in the case of
commutative groups.
(3) (a) Prove the Preservation Theorem for universal theories: 𝑇
may be axiomatzed by universal sentences if and only if it is
preserved under substructures, that is, any substructure of
a model of 𝑇 is a model of 𝑇.
(b) Let 𝑇 be the theory of fields in ℒ𝑟𝑖𝑛𝑔 . Determine the mod-
els of 𝑇∀ .
Exercise 3.7.11 (Preservation Theorem for ∀∃-theories). The aim of this
exercise is to prove that the following conditions (i) and (ii) are equiva-
lent for a theory 𝑇 (Chang-Łoś-Suszko Theorem):
(i) 𝑇 is preserved under unions of chains, that is, if (𝔐𝑖 )𝑖∈ℕ is a
chain of ℒ-structures such that 𝔐𝑖 ⊧ 𝑇 for all 𝑖, then ⋃𝑖∈ℕ 𝔐𝑖 ⊧
𝑇.
(ii) 𝑇 may be axiomatzed by ∀∃-sentences.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
88 3. First Steps in Model Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089/04
Chapter 4
Recursive Functions
Introduction
In this chapter, we will develop a theory of ‘computable’ functions and
sets of natural numbers that will play a fundamental role in the study of
incompleteness of Peano arithmetic that will be undertaken in the next
chapter. The basic building block of computability is provided by the
notion of primitive recursive functions which we introduce in 4.1. Unfor-
tunately this notion is too restrictive since, as the example of the Ack-
ermann function shows (4.2), some obviously computable functions do
not belong to this class. A satisfactory definition of computable func-
tions is provided by the notion of general recursive functions which is
introduced in 4.3.
Another natural candidate for the class of computable functions are
the functions which are computable by a Turing machine that we in-
troduce in 4.4. It is a fundamental result that the two notions coincide:
a function is recursive if and only if it is Turing computable. One ad-
vantage of Turing computability is that it easily yields the existence of
universal recursive functions that play a major role in the theory.
We conclude this chapter with the study of recursively enumerable
sets (4.6). These are sets of natural numbers for which there exists an al-
gorithm that enumerates their members. A set is recursive if and only it
89
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
90 4. Recursive Functions
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.1. Primitive Recursive Functions 91
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
92 4. Recursive Functions
𝑧
⎧𝑓(𝑥, 𝑧) if ∑𝑡=0 𝟙𝑋 (𝑥, 𝑡) ≥ 1;
𝑧
𝑓(𝑥, 𝑧 + 1) = 𝑧 + 1 if ∑𝑡=0 𝟙𝑋 (𝑥, 𝑡) = 0 and (𝑥, 𝑧 + 1) ∈ 𝑋;
⎨
⎩0 else.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.1. Primitive Recursive Functions 93
Example 4.1.3.
(1) Let 𝑞 ∶ ℕ2 → ℕ be the function which to (𝑥, 𝑦) associates the
integer part of 𝑥/𝑦 if 𝑦 ≠ 0, and 0 else. Then 𝑞 is primitive
recursive. [Indeed, 𝑞(𝑥, 𝑦) = (𝜇𝑡 ≤ 𝑥) ((𝑡 + 1) ⋅ 𝑦 > 𝑥).]
(2) {(𝑥, 𝑦) ∈ ℕ2 ∶ 𝑦 ∣ 𝑥} is a primitive recursive set. [Indeed, one
has 𝑦 ∣ 𝑥 ⟺ ∃𝑧𝑧 ⋅ 𝑦 = 𝑥 ⟺ 𝑥 = 𝑞(𝑥, 𝑦) ⋅ 𝑦.]
(3) The set 𝑃 of prime numbers is primitive recursive. [Indeed,
𝑥 ∈ 𝑃 ⟺ 𝑥 ≥ 2∧(∀𝑦 ≤ 𝑥) (𝑦 ∣ 𝑥 → (𝑦 = 1 ∨ 𝑦 = 𝑥)). By the
closure properties stated in Lemma 4.1.2, 𝑃 is thus primitive
recursive.]
(4) The function 𝜋, which to 𝑥 associates the (𝑥 + 1)th prime num-
ber, is primitive recursive. [Indeed, one has 𝜋(0) = 2, 𝜋(𝑥 +
1) = (𝜇𝑧 ≤ 𝜋(𝑥)! +1) (𝑧 > 𝜋(𝑥) ∧ 𝑧 ∈ 𝑃).]
(5) A primitive recursive bijection between ℕ2 and ℕ is given by
1
the function 𝛼2 = 𝜆𝑥𝑦. (𝑥 + 𝑦 + 1)(𝑥 + 𝑦) + 𝑥. Moreover,
2
there are primitive recursive functions 𝛽12 , 𝛽22 ∈ ℱ1 such that
𝛼2 (𝛽12 , 𝛽22 ) = idℕ . [Indeed, as 𝛼2 (𝑥, 𝑦) ≥ min(𝑥, 𝑦), one has
𝛽12 (𝑥) = (𝜇𝑧 ≤ 𝑥)(∃𝑡 ≤ 𝑥)(𝛼2 (𝑧, 𝑡) = 𝑥)), and similarly for the
function 𝛽22 .]
By induction on 𝑝 ≥ 2, one defines a primitive recur-
sive bijection 𝛼𝑝 ∶ ℕ𝑝 → ℕ whose inverse has primitive re-
𝑝 𝑝
cursive components 𝛽1 , … , 𝛽𝑝 . For this, it suffices to set
𝛼𝑝+1 (𝑥1 , … , 𝑥𝑝+1 ) = 𝛼𝑝 (𝑥1 , … , 𝑥𝑝−1 , 𝛼2 (𝑥𝑝 , 𝑥𝑝+1 )).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
94 4. Recursive Functions
is primitve recursive.
(2) The length function, given by lg(⟨𝑥0 , … , 𝑥𝑛−1 ⟩) = 𝑛, is primitive
recursive.
(3) For any 𝑛 ∈ ℕ, ⟨ ⟩ ↾ ℕ𝑛 ∶ ℕ𝑛 → ℕ is primitive recursive.
(4) lg(𝑥) ≤ 𝑥 for any 𝑥, and if 𝑥 > 0, then (𝑥)𝑖 < 𝑥 for any 𝑖.
Proof. Part (4) is clear, and (3) follows from Example 4.1.3.
(2) One has lg(𝑥) = (𝜇𝑦 ≤ 𝑥) [(∀𝑧 ≤ 𝑥) (𝑦 ≤ 𝑧 → 𝜋(𝑧) ∤ (𝑥 + 1))] if
𝑥 > 0 and lg(0) = 0, so lg is primitive recursive by Lemma 4.1.2.
(1) The description
⎧0 if 𝑖 ≥ lg(𝑥),
(𝑥)𝑖 = (𝜇𝑦 ≤ 𝑥) (𝜋(𝑖)𝑦+2 ∤ (𝑥 + 1)) if 𝑖 + 1 = lg(𝑥),
⎨ 𝑦+1
⎩(𝜇𝑦 ≤ 𝑥) (𝜋(𝑖) ∤ (𝑥 + 1)) if 𝑖 + 1 < lg(𝑥)
of the component function yields its primitive recursiveness. □
Lemma 4.2.1.
(1) 𝜉𝑛 (𝑥) > 𝑥 for all 𝑛, 𝑥 ∈ ℕ.
(2) 𝜉𝑛 is strictly increasing for all 𝑛 ∈ ℕ.
(3) 𝜉𝑛+1 (𝑥) ≥ 𝜉𝑛 (𝑥) for all 𝑛, 𝑥 ∈ ℕ.
(4) 𝜉𝑛𝑘 is strictly increasing for all 𝑘, 𝑛 ∈ ℕ.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.2. The Ackermann Function 95
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
96 4. Recursive Functions
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.3. Partial Recursive Functions 97
(R0)∗ 𝐸 contains the basic functions (𝑆, 𝐶00 and all the projections
𝑃𝑖𝑛 ).
(R1)∗ 𝐸 is stable under composition (of partial functions): Given par-
tial functions 𝑓1 , … , 𝑓𝑛 ∈ ℱ𝑚∗ ∩ 𝐸 and ℎ ∈ ℱ𝑛∗ ∩ 𝐸, then
𝑔 = ℎ(𝑓1 , … , 𝑓𝑛 ) ∈ 𝐸, where 𝑔 is the partial function which
to 𝑥 assigns ℎ(𝑓1 (𝑥), … , 𝑓𝑛 (𝑥)) if 𝑥 ∈ dom(𝑓𝑖 ) for all 𝑖 and
(𝑓1 (𝑥), … , 𝑓𝑛 (𝑥)) ∈ dom(ℎ). Otherwise, 𝑔 is not defined for 𝑥.
(R2)∗ 𝐸 is stable under recursion (of partial functions): Given 𝑔 ∈
∗
ℱ𝑝∗ ∩ 𝐸 and ℎ ∈ ℱ𝑝+2 ∩ 𝐸, then 𝑓 ∈ 𝐸, where
• 𝑓(𝑥, 0) = 𝑔(𝑥) if 𝑥 ∈ dom(𝑔), and otherwise 𝑓 is not de-
fined for (𝑥, 0);
• 𝑓(𝑥, 𝑦 + 1) = ℎ(𝑥, 𝑦, 𝑓(𝑥, 𝑦)) if 𝑓 is defined for (𝑥, 𝑦) (this
property is defined simultaneously by recursion on 𝑦) and
if (𝑥, 𝑦, 𝑓(𝑥, 𝑦)) ∈ dom(ℎ), and otherwise 𝑓 is not defined
for (𝑥, 𝑦 + 1).
∗
(R3)∗ 𝐸 is stable under the 𝜇-operator: Given 𝑓 ∈ ℱ𝑛+1 ∩ 𝐸, then
∗
𝑔 ∈ 𝐸, where 𝑔 ∈ ℱ𝑛 , 𝑔(𝑥) = 𝜇𝑦 (𝑓(𝑥, 𝑦) = 0) is the partial
function defined as follows:
• if there is 𝑧 such that 𝑓(𝑥, 𝑧) = 0 and (𝑥, 𝑧′ ) ∈ dom(𝑓) for
all 𝑧′ ≤ 𝑧, then 𝑔(𝑥) is the minimal such 𝑧;
• otherwise, 𝑔 is not defined for 𝑥.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
98 4. Recursive Functions
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.4. Turing Computable Functions 99
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
100 4. Recursive Functions
may thus predict for every instant 𝑡 the position of the head, the state of
the machine and the content of the tape squares.
Definition.
(1) A tape represents (at a given instant) the natural number 𝑚 if
what is written on it equals ($, ∣,
⏟ … , ∣ , 𝑏, … , 𝑏, …).
𝑚 times
(2) A Turing machine ℳ computes 𝑓 ∈ ℱ𝑝∗ if 𝑛(ℳ) ≥ 𝑝 + 1 and if
for all 𝑚 ∈ ℕ𝑝 , when ℳ starts operating with the input where
for 𝑖 = 1, … , 𝑝, the tape 𝐵𝑖 represents 𝑚𝑖 and, for 𝑖 > 𝑝, the tape
𝐵𝑖 represents 0, then
• if 𝑚 ∈ dom(𝑓), then ℳ stops after some finite time,
and its tapes successively represent the natural numbers
(𝑚1 , … , 𝑚𝑝 , 𝑓(𝑚), 0, … , 0) (in this order);
• if 𝑚 ∉ dom(𝑓), ℳ either never stops, that is, 𝑞𝑓 is
never attained, or ℳ stops after some finite time, but
when it stops there is no 𝑛 ∈ ℕ such that the tapes of
the machine ℳ successively represent the natural num-
bers (𝑚1 , … , 𝑚𝑝 , 𝑛, 0, … , 0).
(3) The partial function 𝑓 is Turing computable if there is a Turing
machine ℳ which computes 𝑓.
Remarks.
(1) There are many variants of the model of a Turing machine (one
may for example work with tapes which are unbounded on the
left and on the right), all leading to the same notion of Turing
computability.
(2) Using unary code to represent natural numbers is of course
very inefficient, but it suffices for our purposes, since we are
not concerned with practical feasibility or complexity issues in
this book.
Lemma 4.4.1. The basic functions (𝑆, 𝐶00 and the projections 𝑃𝑖𝑛 ) are Tur-
ing computable.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.4. Turing Computable Functions 101
(Here, and in what follows, we only give the relevant part of the transi-
tion function 𝑀.)
𝑃𝑖𝑛 is computed by ℳ with 𝑛 + 1 tapes, a set of states 𝑄 = {𝑞𝑖 , 𝑞𝑓 },
and with a transition function 𝑀($, … , $, 𝑞𝑖 ) = ($, … , $, 𝑞𝑖 , +1) and
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
102 4. Recursive Functions
this computation, it uses the tapes on which are represented the 𝑓𝑖 (𝑚)
as input tapes and 𝐵𝑝+1 as an output tape. Renumbering the tapes, the
transition function of ℳ may thus be established using the transition
functions of ℳ1 ,. . . ,ℳ𝑛 and ℳ ′ .
Once ℎ(𝑓1 (𝑚), … , 𝑓𝑛 (𝑚)) is computed, instead of passing to the final
state of ℳ ′ , ℳ passes to state 𝑞𝑑 which serves to move its head to the
beginning of the tapes. Then, in state 𝑞𝑐 , it ‘clears’ the tapes on which
are represented the 𝑓𝑖 (𝑚), and finally it passes to the final state. □
Lemma 4.4.3. The set of partial Turing computable functions is stable
under the 𝜇-operator.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.4. Turing Computable Functions 103
(4) Copy the content of 𝐵𝑝+4 onto tape 𝐵𝑝+2 , then clear tape 𝐵𝑝+4
and increment the content of 𝐵𝑝+3 by one, that is, pass from 𝑦
to 𝑦 + 1. Then go back to step (2).
(5) Clear tape 𝐵𝑝+3 and stop. □
Theorem 4.4.5. Every partial recursive function is Turing computable.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
104 4. Recursive Functions
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.4. Turing Computable Functions 105
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
106 4. Recursive Functions
𝑝
Proof. The function 𝜆𝑖𝑥.ST (𝑖, 0, 𝑥) is primitive recursive. (This is easy
to see and is left as an exercise.)
𝑝 𝑝
Moreover, one has ST (𝑖, 𝑡 + 1, 𝑥) = 𝑔𝑝 (𝑖, ST (𝑖, 𝑡, 𝑥)), so the result
follows by Lemma 4.4.7. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.5. Universal Functions 107
Proposition 4.4.10.
(1) If 𝑓 is a total Turing computable function which may be com-
puted in a primitive recursive time, then 𝑓 is primitive recursive.
(2) The set of partial recursive functions is the smallest subset of ℱ ∗
which contains the primitive recursive functions and which is sta-
ble under composition and under application of the 𝜇-operator.
(3) The set of total recursive functions is the smallest subset of ℱ
which contains the primitive recursive functions and which is
stable under composition and under application of the total 𝜇-
operator. In other words, every total recursive function may be
obtained by a finite number of applications of the rules (R0)-
(R3). □
Let us observe that our arguments to prove that every Turing com-
putable function is recursive are not specific to Turing machines. This
justifies the following thesis.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
108 4. Recursive Functions
Setting 𝑖 ∶= 𝑠𝑚 𝑚 𝑚
1 (𝑎, 𝑎), one obtains 𝜑𝛼(𝑖) = 𝜑𝑖 . □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.6. Recursively Enumerable Sets 109
• 𝜃(𝑖, 𝑦, 𝑥) = 2𝑥 if 𝑦 = 0;
• 𝜃(𝑖, 𝑦, 𝑥) = 1 if 𝑥 = 0;
• 𝜃(𝑖, 𝑦, 𝑥) = 𝜑2 (𝑖, 𝑦−1,
̇ 𝜑2 (𝑖, 𝑦, 𝑥−1))
̇ otherwise.
By universality, there exists 𝑎 ∈ ℕ such that 𝜃 = 𝜑𝑎3 . By the s-m-n
Theorem, this yields
𝜃(𝑖, 𝑦, 𝑥) = 𝜑𝑠22 (𝑎,𝑖) (𝑦, 𝑥).
1
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
110 4. Recursive Functions
∃𝑦𝑅˜(𝑥, 𝑦) and 𝑆(𝑥) ⟺ ∃𝑦𝑆˜(𝑥, 𝑦). We then have the following equiva-
lences:
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.6. Recursively Enumerable Sets 111
Proof. We will prove that the domain of the function 𝑔 = 𝜆𝑥.𝜑1 (𝑥, 𝑥) is
not recursive. (In other words, one may not decide if a Turing machine
stops when operating on its own code.)
Let 𝐷 = ℕ ⧵ dom(𝑔). If 𝐷 were recursively enumerable, then 𝐷 =
dom(𝜑𝑖10 ) for some 𝑖0 ∈ ℕ by Corollary 4.6.3. In particular, we would get
𝑖0 ∈ 𝐷 if and only if 𝜑1 (𝑖0 , 𝑖0 ) is defined. But this is absurd, since the
definition of 𝑔 implies that 𝑖0 ∈ 𝐷 if and only if 𝜑1 (𝑖0 , 𝑖0 ) is not defined.
□
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
112 4. Recursive Functions
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.7. Elimination of Recursion 113
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
114 4. Recursive Functions
𝑓(𝑥, 𝑧) ∶= 𝜇𝑦 ((𝑥, 𝑦) ∈ 𝑋 or 𝑦 = 𝑧 + 1) .
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.8. Exercises 115
4.8. Exercises
Exercise 4.8.1. Describe a Turing machine which computes the addi-
tion function 𝜆𝑥𝑦.𝑥 + 𝑦.
Exercise 4.8.2. Let 𝑝 and 𝑞 be prime numbers. Then 𝑞 is called 𝑝-
𝑝𝑛 −1
Mersenne if 𝑞 = for some 𝑛 ∈ ℕ. Prove that the following set is
𝑝−1
primitive recursive:
{𝑁 ∈ ℕ | there is a prime 𝑝 such that 𝑁 is a 𝑝-Mersenne prime}.
Exercise 4.8.3. The Fibonacci function fib ∈ ℱ1 is defined via fib(0) ∶=
0, fib(1) ∶= 1, and fib(𝑛 + 2) ∶= fib(𝑛 + 1) + fib(𝑛) for all 𝑛 ∈ ℕ. Prove
that fib is primitive recursive.
Exercise 4.8.4 (Kalmár elementary functions). The set of elementary
(recursive) functions is the smallest subset 𝐸 of ℱ which satisfies the fol-
lowing properties:
• 𝐸 contains 𝐶00 , the projections 𝑃𝑖𝑛 for all 1 ≤ 𝑖 ≤ 𝑛, the addition,
the multiplication and 𝟙= ;
• if 𝑔 ∈ ℱ𝑘 ∩ 𝐸 and 𝑓1 , … , 𝑓𝑘 ∈ ℱ𝑛 ∩ 𝐸, then 𝑔(𝑓1 , … , 𝑓𝑘 ) ∈ 𝐸;
• if 𝑓 ∈ ℱ𝑛+1 ∩ 𝐸, then the bounded sum
𝑥
(𝑥1 , … , 𝑥𝑛 , 𝑥) ↦ ∑ 𝑓(𝑥1 , … , 𝑥𝑛 , 𝑖)
𝑖=0
are in 𝐸, too.
(1) Prove that for all 𝑛, 𝑘, the constant function 𝐶𝑘𝑛 is elementary.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
116 4. Recursive Functions
Exercise 4.8.5.
(1) Prove that the set of recursive bijections between ℕ and ℕ forms
a group.
(2) Prove that for every Turing machine ℳ which computes a to-
tal function, the graph of the computing time function 𝑇ℳ is
primitive recursive.
(3) Prove that 𝑓 ∈ ℱ𝑛 is primitive recursive if and only if its graph is
primitive recursive and 𝑓 is bounded from above by a primitive
recursive function.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.8. Exercises 117
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089/05
Chapter 5
Introduction
Our aim in this chapter is to study models of Peano arithmetic. We start
by describing a way to encode formulas and proofs in a finite signature
in a recursive way. This applies in particular to weak Peano arithmetic
PA0 and full Peano arithmetic PA which we introduce in 5.3. A key
result is the Representability Theorem 5.3.5 which asserts that total re-
cursive functions are represented by Σ1 -formulas. Using the diagonal
argument (Proposition 5.4.1), we prove the theorem of Tarski on the non-
definability of truth (Theorem 5.4.3) and the theorem of Church on the
undecidability of arithmetic (Theorem 5.4.5).
In the Section 5.5 we prove Gödel’s First Incompleteness Theorem.
The last two sections are devoted to a complete proof of Gödel’s cele-
brated second incompleteness theorem. This requires full Peano arith-
metic PA contrary to the previous results for which only weak Peano
arithmetic PA0 was needed. A key ingredient is the definability of satis-
fiability for Σ1 -formulas which is proved in Proposition 5.6.1.
119
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
120 5. Models of Arithmetic and Limitation Theorems
Proof. We use properties of the coding function ⟨…⟩ for finite sequences
(cf. Lemma 4.1.4) and the primitive recursive decoding function in
two arguments 𝜆𝑥𝑖.(𝑥)𝑖 . In particular, we use the inequality 𝑛 =
lg(⟨𝑠0 , … , 𝑠𝑛−1 ⟩) ≤ ⟨𝑠0 , … , 𝑠𝑛−1 ⟩.
By unique reading properties, we may not only argue by induction
on length, but also on height of terms and formulas. For instance, if 𝑥 is
the code of a word 𝑚 starting with ‘(’, then 𝑥 is the code of a formula if and
only if there exist 𝑦1 , 𝑦2 < 𝑥 such that 𝑦𝑖 = #𝜑𝑖 for some formulas 𝜑1 , 𝜑2
such that 𝑚 is the word (𝜑1 ∧ 𝜑2 ). The details are left as an exercise. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.1. Coding Formulas and Proofs 121
Lemma 5.1.2. There exist primitive recursive functions Subst𝑡 and Subst𝑓
in ℱ3 such that, for any 𝑛, if 𝑠 and 𝑡 are terms and 𝜑 is a formula, then
Subst𝑡 (𝑛, #𝑠, #𝑡) = #𝑡𝑠/𝑣𝑛 and Subst𝑓 (𝑛, #𝑠, #𝜑) = #𝜑𝑠/𝑣𝑛 . □
Lemma 5.1.3. The set Taut of codes of tautologies for the predicate cal-
culus is primitive recursive.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
122 5. Models of Arithmetic and Limitation Theorems
Similarly one checks that the set of codes of the equality axioms is
primitive recursive and also the set of codes of the quantifier axioms (tak-
ing into account Lemma 5.1.2). We have thus proved the following state-
ment.
Theorem 5.1.4. The set Ax of codes #𝜑 of logical axioms 𝜑 of ℒ is primi-
tive recursive. □
Proof. Given (𝑥, 𝑦), one first checks if 𝑦 ∈ Form, that is, if 𝑦 = #𝜑 for
some ℒ-formula 𝜑. If yes, it suffices to decode and to test whether all
components of 𝑥 are codes of ℒ-formulas 𝜑𝑖 , the last one being equal to
𝜑, and whether for every 𝑖, either 𝜑𝑖 is a logical axiom (which is a prim-
itive recursive property by Theorem 5.1.4) or it can be obtained using
deduction rules from previous formulas. □
Proposition 5.1.6. The set 𝑈 = {#𝜑 ∣ ⊢ 𝜑} is recursively enumerable.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.2. Decidable Theories 123
Proof. Exercise. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
124 5. Models of Arithmetic and Limitation Theorems
Example 5.2.5.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.3. Peano Arithmetic 125
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
126 5. Models of Arithmetic and Limitation Theorems
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.3. Peano Arithmetic 127
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
128 5. Models of Arithmetic and Limitation Theorems
Definition.
(1) Let 𝑓 ∈ ℱ𝑝 . One says that the formula 𝜑(𝑥1 , … , 𝑥𝑝+1 ) represents
𝑓 if for any 𝑛1 , … , 𝑛𝑝 ∈ ℕ one has
𝑛 ∈ 𝐴 ⇒ PA0 ⊧ 𝜑(𝑛1 , … , 𝑛𝑝 )
and
𝑛 ∉ 𝐴 ⇒ PA0 ⊧ ¬𝜑(𝑛1 , … , 𝑛𝑝 ).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.3. Peano Arithmetic 129
Item (i) is clear, since the basic functions are all represented by quantifier-
free formulas (which are Σ1 by definition).
If 𝑓1 , … , 𝑓𝑝 ∈ ℱ𝑚 are represented by the formulas 𝜑1 , … , 𝜑𝑝 and if
𝑔 ∈ ℱ𝑝 is represented by 𝜓, then ℎ = 𝑔(𝑓1 , … , 𝑓𝑝 ) ∈ ℱ𝑚 is represented by
𝑝
∃𝑦1 , … , ∃𝑦𝑝 𝜑𝑖 (𝑥, 𝑦𝑖 ) ∧ 𝜓(𝑦1 , … , 𝑦𝑝 , 𝑥𝑚+1 ).
⋀
𝑖=1
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
130 5. Models of Arithmetic and Limitation Theorems
Proof. All these properties are easily proved using the induction axioms
of PA. As examples, let us provide the arguments for associativity and
commutativity of addition. The proof of the remaining properties is sim-
ilar.
Associativity of addition.
Let 𝜑(𝑥, 𝑦, 𝑧) be the formula 𝑥 + (𝑦 + 𝑧) = (𝑥 + 𝑦) + 𝑧. In 𝔐, we have
𝑎 + (𝑏 + 0) = 𝑎 + 𝑏 = (𝑎 + 𝑏) + 0 by (A4), and hence 𝔐 ⊧ ∀𝑥, 𝑦 𝜑(𝑥, 𝑦, 0).
If 𝑎, 𝑏, 𝑐 ∈ 𝑀 verify (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐), then
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.4. The Theorems of Tarski and Church 131
and thus
𝔐 ⊧ 𝜑(#Δ𝜑 ) ⇔ 𝔐 ⊧ ∃𝑧 (𝐺(𝑛𝜑 , 𝑛𝜑 , 𝑧) ∧ 𝜑(𝑧)) ⇔ 𝔐 ⊧ ¬Δ𝜑
⏟⎵⎵⎵⎵⎵⎵⏟⎵⎵⎵⎵⎵⎵⏟
𝐻𝜑 (𝑛𝜑 )
Proof. One may take Δ¬𝜑 as 𝜓 and use the Diagonal Argument. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
132 5. Models of Arithmetic and Limitation Theorems
Corollary 5.4.4. There is no ℒ𝑎𝑟 -formula 𝑆𝔑st (𝑣) such that for any ℒ𝑎𝑟 -
sentence 𝜓 one has 𝔑st ⊧ 𝜓 if and only if 𝔑st ⊧ 𝑆𝔑st (#𝜓). In particular,
Th(𝔑st ) is undecidable.
Proof. The first part is a special case of Theorem 5.4.3. Assume now, for
contradiction, that 𝑇 = Th(𝔑st ) is decidable. This means that #Thm(𝑇)
is a recursive set and thus representable by a Σ1 -formula 𝜑(𝑣) by Theo-
rem 5.3.5. For any ℒ𝑎𝑟 -sentence 𝜓 we then have 𝔑st ⊧ 𝜓 if and only if
𝔑st ⊧ 𝜑(#𝜓), contradicting the first part. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.5. Gödel’s First Incompleteness Theorem 133
Remark. One can prove that the corollary already holds for ℒ consist-
ing only of a binary relation symbol, that is, ℒ𝑠𝑒𝑡 = {∈}. Examples of
simpler languages for which this no longer holds are discussed in Exer-
cise 5.8.3.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
134 5. Models of Arithmetic and Limitation Theorems
Proof. The proof is similar to that of Theorem 5.5.2 and left as an exer-
cise. □
Proposition 5.6.1. There exists a Σ1 -formula SatΣ1 (𝑣) such that for any
Σ1 -sentence 𝜑 one has
PA ⊢ 𝜑 ↔ SatΣ1 (#𝜑).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.6. Definability of Satisfiability for Σ1 -formulas 135
PA ⊢ ∀𝑥1 , … , 𝑥𝑛 ∃! 𝑦𝜒𝑓 .
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
136 5. Models of Arithmetic and Limitation Theorems
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.7. Gödel’s Second Incompleteness Theorem 137
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
138 5. Models of Arithmetic and Limitation Theorems
that 𝛿 is obtained from 𝜑 and 𝜓 by modus ponens, and the set of pairs
(#𝜑, #𝜓) with 𝜑 and 𝜓 such that 𝜓 is obtained from 𝜑 by generalization.
We shall also use Gödel’s 𝛽-function to code sequences. We consider
the following formula 𝐵(𝑎, 𝑏, 𝑛):
∀𝑖 < 𝑛[Ax𝑇 (𝛽(𝑎, 𝑏, 𝑖)) ∨ (∃𝑗, 𝑘 < 𝑖) MP(𝛽(𝑎, 𝑏, 𝑗), 𝛽(𝑎, 𝑏, 𝑘), 𝛽(𝑎, 𝑏, 𝑖))
∀𝑖 < 𝑛[Ax𝑇 (𝛽(𝑎, 𝑏, 𝑖)) ∨ (∃𝑗, 𝑘 < 𝑖) MP(𝛽(𝑎, 𝑏, 𝑗), 𝛽(𝑎, 𝑏, 𝑘), 𝛽(𝑎, 𝑏, 𝑖))
˜ 𝑇 (𝑚) by
and Pr
˜ 𝑇 (#𝜑).
Finally, if 𝜑 is a sentence we write □𝑇 𝜑 for Pr
By construction the following properties hold:
Proposition 5.7.1.
(1) If 𝜑 is a Σ1 -sentence,
PA ⊢ 𝜑 → □𝑇 𝜑.
𝔑st ⊧ □𝑇 𝜓 ⟺ 𝑇 ⊢ 𝜓.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.7. Gödel’s Second Incompleteness Theorem 139
Proof. There exists a formula 𝐹(𝑥) such that for any sentence 𝜃, 𝐹(#𝜃)
is equal to the sentence □𝑇 𝜃 → 𝜑. By Corollary 5.4.2, there exists a
sentence 𝜓 such that
(∗) 𝑇 ⊢ 𝜓 ↔ (□𝑇 𝜓 → 𝜑).
In particular,
𝑇 ⊢ 𝜓 → (□𝑇 𝜓 → 𝜑);
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
140 5. Models of Arithmetic and Limitation Theorems
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.8. Exercises 141
5.8. Exercises
Exercise 5.8.1 (Presburger arithmetic). We consider the language
ℒPres = {0, +, <, 1, ≡𝑛 , 𝑛 ≥ 1}, where ≡𝑛 is a binary relation for all 𝑛.
Presburger arithmetic is the ℒPres -theory 𝑇Pres which is given by the fol-
lowing axioms:
• the axioms of ordered abelian groups (cf. Exercise 3.7.9);
• an axiom stating that 1 is the smallest positive element;
• for any 𝑛 ≥ 1, an axiom 𝜑𝑛 of the form
∀𝑥, 𝑦 (𝑥 ≡𝑛 𝑦 ↔ ∃𝑧 𝑥 + 𝑛𝑧 = 𝑦)
and an axiom 𝜓𝑛 of the form
𝑛−1
∀𝑥 𝑥 ≡𝑛 1⏟+
⎵⎵⋯ +⏟1 .
⏟⎵⎵
⋁
𝑖=0 𝑖 times
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
142 5. Models of Arithmetic and Limitation Theorems
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.8. Exercises 143
𝔐 ⊧ [∀𝑥(∃𝑧 > 𝑥)(∃𝑣 < 𝑎)𝜃(𝑣, 𝑧)] → (∃𝑣 < 𝑎)∀𝑥(∃𝑧 > 𝑥)𝜃(𝑣, 𝑧).
(2) Let 𝔐 ⊧ PA. Let 𝑐 be a constant symbol which is not in ℒ𝑎𝑟 (𝑀),
and set ℒ = ℒ𝑎𝑟 (𝑀) ∪ {𝑐}. We now consider the ℒ-theory 𝑇 ∶=
𝐷(𝔐) ∪ {𝑐 > 𝑚 ∣ 𝑚 ∈ 𝑀}, where 𝐷(𝔐) is the complete diagram
of 𝔐 (cf. Section 3.2).
(a) Check that 𝑇 is consistent.
(b) Let 𝑎 ∈ 𝑀 and let 𝜃(𝑣, 𝑧) be an ℒ-formula such that 𝑇 ⊢
∀𝑣(𝜃(𝑣, 𝑐) → 𝑣 < 𝑎) and such that 𝑇 ∪ {∃𝑣𝜃(𝑣, 𝑐)} is con-
sistent.
Prove that there exists 𝑚 ∈ 𝑀 with 𝑚 < 𝑎 and such that
𝔐 ⊧ ∀𝑥(∃𝑧 > 𝑥)𝜃(𝑚, 𝑧).
(c) Let 𝑎 ∈ 𝑀 be a non-standard element. Consider the set of
formulas
𝐴 = {𝑛 ∈ ℕ ∣ 𝔐 ⊧ 𝜂(𝑛, 𝑎)}.
Denote by 𝑆(𝔐) the union of all 𝑆𝜂 (𝔐), where 𝜂 runs over the set of
ℒ𝑎𝑟 -formulas with two free variables.
(1) Let 𝜂0 (𝑥, 𝑦) be an ℒ𝑎𝑟 -formula such that for any pair of disjoint
finite subsets 𝐴 and 𝐵 of ℕ, the sentence
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
144 5. Models of Arithmetic and Limitation Theorems
(2) Prove that there is a Σ1 -formula 𝜂0 with two free variables such
that for all 𝑛 ∈ ℕ the sentence
𝜂0 (𝑛, 𝑥) ↔ ∃𝑦(𝜋(𝑛) ⋅ 𝑦 = 𝑥)
is provable in PA. Here, 𝜋(𝑛) denotes the (𝑛 + 1)th prime num-
ber. Prove that 𝑆𝜂0 (𝔐) = 𝑆(𝔐).
(3) Let 𝐴 and 𝐵 be two disjoint recursively enumerable subsets of
ℕ.
(a) The set of Δ0 -formulas is defined as the smallest set of
ℒ𝑎𝑟 -formulas containing the atomic formulas and which
is stable under ∧, ¬ and under bounded quantification
(∃𝑥 < 𝑡) and (∀𝑥 < 𝑡), with 𝑡 a term not depending on
the variable 𝑥.
Observe that there are Δ0 -formulas 𝛼(𝑥, 𝑦) and 𝛽(𝑥, 𝑦)
such that in 𝔑st , 𝐴 is defined by ∃𝑦𝛼(𝑥, 𝑦) and 𝐵 by
∃𝑦𝛽(𝑥, 𝑦).
(b) Prove that for any 𝑘 ∈ ℕ,
𝔐 ⊧ (∀𝑥, 𝑦, 𝑧 < 𝑘) ¬(𝛼(𝑥, 𝑦) ∧ 𝛽(𝑥, 𝑧)),
and that there is 𝜁 ∈ 𝑀 non-standard such that
𝔐 ⊧ (∀𝑥, 𝑦, 𝑧 < 𝜁) ¬(𝛼(𝑥, 𝑦) ∧ 𝛽(𝑥, 𝑧)).
(c) Consider 𝐴 and 𝐵 as in Exercise 4.8.7 (that is, infinite and
recursively inseparable) to deduce that 𝑆(𝔐) contains a
non-recursive set.
(4) If 𝑀 is countable and ℎ ∶ ℕ → 𝑀 is a bijection, one may trans-
port the ℒ𝑎𝑟 -structure of 𝔐 via ℎ−1 on ℕ, defining 𝑥 +′ 𝑦 ∶=
ℎ−1 (ℎ(𝑥) + ℎ(𝑦)), 𝑥 ⋅′ 𝑦 ∶= ℎ−1 (ℎ(𝑥) ⋅ ℎ(𝑦)), etc.
We now assume that the structure 𝔐 is recursive, that is,
there exists a bijection ℎ as above such that +′ and ⋅′ are recur-
sive functions.
(a) For any fixed integer 𝑐 ∈ ℕ, prove that the function 𝑓 ∶
ℕ2 → ℕ given by 𝑓(𝑛, 𝑚) = 1 if 𝑚 ⏟⎵+ ′⋯+
⎵⎵⏟⎵ ′ 𝑚 = 𝑐 and
⎵⎵⏟
𝜋(𝑛) times
𝑓(𝑛, 𝑚) = 0 otherwise, is recursive.
(b) Deduce from this that 𝑆(𝔐) does only contain recursive
sets.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.8. Exercises 145
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10.1090/stml/089/06
Chapter 6
Introduction
In this final chapter, we will formalize set theory within the first-order
logic framework we have developed in former chapters. The language
of set theory ℒ∈ has only one non-logical symbol, the binary relation
symbol ∈. We start by discussing in detail the Zermelo-Fraenkel axioms
and the Axiom of Choice. In 6.3 we are finally in a position to prove the
equivalence of the Axiom of Choice, of Zorn’s Lemma and the existence
of well-orderings.
Section 6.4 is devoted to the Axiom of Foundation and its connection
with the von Neumann hierarchy. We are then able to prove some in-
dependence and relative consistency results in 6.5, like the relative con-
sistency of the Axiom of Foundation or the relative consistency of the
negation of the existence of inaccessible cardinals. In the final section
we discuss a few famous independence and relative consistency results
whose proofs are outside the scope of this book, like the independence
of the continuum hypothesis.
147
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
148 6. Axiomatic Set Theory
Note that any set 𝑎 defines a class 𝐶𝑎 , which is given by the formula
𝜑(𝑥) equal to 𝑥 ∈ 𝑎. By the Extensionality Axiom (which is not yet
defined!), two sets 𝑎 and 𝑏 are equal if and only if 𝐶𝑎 = 𝐶𝑏 .
By abuse of notation, we sometimes use ∈ to denote membership
(in the naive sense) in a class, writing 𝑐 ∈ 𝐷 instead of 𝒰 ⊧ 𝜑[𝑐], where
𝐷 = 𝜑[𝒰]. This should not create any confusion.
It expresses that two sets having the same elements are equal.
Notation. We write 𝑥 ⊆ 𝑦 as an abbreviation for ∀𝑧(𝑧 ∈ 𝑥 → 𝑧 ∈ 𝑦).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.2. The Zermelo-Fraenkel Axioms 149
Proof. Exercise. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
150 6. Axiomatic Set Theory
It expresses that for every set 𝑎, the following class is given by a set:
⋃ 𝑎 ∶= {𝑧 ∣ ∃𝑤(𝑧 ∈ 𝑤 ∧ 𝑤 ∈ 𝑎)}.
Note that, by combining the Pairing Axiom and the Union Axiom,
one gets that the union 𝑎 ∪ 𝑏 of two sets 𝑎 and 𝑏 is given by a set.
Power Set Axiom. ∀𝑦∃𝑥∀𝑧(𝑧 ∈ 𝑥 ↔ 𝑧 ⊆ 𝑦).
It postulates the existence of the set of subsets of a set, that is, for
any set 𝑎 the class 𝒫(𝑎) = {𝑏 ∣ 𝑏 ⊆ 𝑎} is given by a set.
Lemma 6.2.3. The axioms stated so far imply the existence of the carte-
sian product of two sets 𝑎 and 𝑏: 𝑎 × 𝑏 = {(𝑥, 𝑦) ∣ 𝑥 ∈ 𝑎 ∧ 𝑦 ∈ 𝑏} is a
set.
Proof. If 𝑥 ∈ 𝑎 and 𝑦 ∈ 𝑏, then one has {𝑥}, {𝑥, 𝑦} ∈ 𝒫(𝑎 ∪ 𝑏), whence
(𝑥, 𝑦) ∈ 𝒫(𝒫(𝑎 ∪ 𝑏)). One may conclude by Comprehension, using
Lemma 6.2.2. □
One may also define triples (𝑥, 𝑦, 𝑧) ∶= ((𝑥, 𝑦), 𝑧) and more gener-
ally 𝑛-tuples, via (𝑥1 , … , 𝑥𝑛+1 ) ∶= ((𝑥1 , … , 𝑥𝑛 ), 𝑥𝑛+1 ), inductively. One
obtains 𝑎 × 𝑏 × 𝑐, and more generally 𝑎1 × ⋯ × 𝑎𝑛 .
Definition.
• A (binary) relation 𝑅 is a set of ordered pairs. One sets
dom(𝑅) ∶= {𝑥 ∣ ∃𝑦(𝑥, 𝑦) ∈ 𝑅}, called the domain of 𝑅, and
im(𝑅) ∶= {𝑦 ∣ ∃𝑥(𝑥, 𝑦) ∈ 𝑅}, called the image of 𝑅.
• A function 𝑓 is a relation which is unique on the right, that is,
which satisfies ∀𝑥, 𝑦, 𝑧 ((𝑥, 𝑦) ∈ 𝑓 ∧ (𝑥, 𝑧) ∈ 𝑓 → 𝑦 = 𝑧).
Remark.
• Note that if 𝑅 is a relation, then dom(𝑅) and im(𝑅) are sets.
Indeed, for (𝑥, 𝑦) ∈ 𝑅 one has 𝑥, 𝑦 ∈ ⋃ (⋃ 𝑅).
• By definition, a function is identified with its graph.
Notation. When 𝑓 is a function, we usually write 𝑓(𝑥) = 𝑦 instead of
(𝑥, 𝑦) ∈ 𝑓. Sometimes, for 𝑥 ∉ dom(𝑓), we set 𝑓(𝑥) ∶= ∅. If 𝑎 = dom(𝑓)
and im(𝑓) ⊆ 𝑏, we write 𝑓 ∶ 𝑎 → 𝑏.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.2. The Zermelo-Fraenkel Axioms 151
Lemma 6.2.4. Let 𝑎 and 𝑏 be two sets. With the axioms we have stated so
far, one then gets the following:
(1) {𝑅 ∣ 𝑅 is a relation with dom(𝑅) ⊆ 𝑎 and im(𝑅) ⊆ 𝑏} is a set.
(2) {𝑓 ∣ 𝑓 ∶ 𝑎 → 𝑏} is a set.
(3) The collection of functions forms a class. We denote by Fn(𝑥) an
ℒ∈ -formula which defines this class.
Proof. Exercise. □
Note that a functional class gives rise to a function in the naive sense,
with domain Dom(𝐹). One may also consider functional classes which
correspond to naive functions between a class 𝐷 ⊆ 𝑈 𝑛 and 𝑈 that are
definable in ℒ∈,𝑈 .
Replacement Axiom Scheme. For each formula 𝜑(𝑥, 𝑦, 𝑣1 , … , 𝑣𝑛 ) in
the language ℒ∈ , one puts an axiom of the form
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
152 6. Axiomatic Set Theory
Lemma 6.2.5.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.2. The Zermelo-Fraenkel Axioms 153
Observe that (AF), together with the Pairing Axiom, implies that no
set 𝑎 contains itself as an element, since otherwise {𝑎} would contradict
(AF).
Notation. We denote by ZF− the axioms of ZF without (AF), and by
−
ZFC the axioms of ZFC without (AF).
Remark 6.2.6.
(1) In any model of ZF− , the ordinals satisfy the same properties
as we have seen in Chapter 1. Similarly for the cardinals in
−
models of ZFC .
(2) The class of ordinals is not a set. Indeed, if Ord were given by
the set 𝑎, then 𝑎 would be transitive and well-ordered by ∈,
so an ordinal and thus 𝑎 ∈ 𝑎. But 𝑎 ∉ 𝑎 for all ordinals by
Proposition 1.6.1.
Similarly, Card is not a set. Indeed, if it were given by the
set 𝑎, then Ord would be given by the set ⋃ 𝑎.
Lemma 6.2.7 (Transfinite induction). Let 𝒰 ⊧ ZF− , and let 𝜑(𝑥) be an
ℒ∈,𝑈 -formula. Then 𝒰 satisfies the following induction property:
Proof. If 𝒰 satisfies
𝜑(0) ∧ ∀𝛾(𝜑(𝛾) → 𝜑(𝛾 + 1)) ∧ ∀𝛾[(Lim(𝛾) ∧ ∀𝛿(𝛿 < 𝛾 → 𝜑(𝛿))) → 𝜑(𝛾)]
and 𝒰 ⊧ ¬𝜑[𝛼] for some ordinal 𝛼, it is enough to choose a minimal such
𝛼 to get a contradiction. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
154 6. Axiomatic Set Theory
If 𝛽 = 0, set 𝑓𝑤,𝛽 = ∅.
If 𝛽 = 𝛽 ′ + 1 and 𝑓𝑤,𝛽′ is a function which satisfies (∗)𝑤,𝛽′ , one may
simply set 𝑓𝑤,𝛽 = 𝑓𝑤,𝛽′ ∪ {(𝛽 ′ , 𝐺(𝑤, {𝑤} × 𝑓𝑤,𝛽′ ))}.
Finally, if 𝛽 is a limit ordinal, we consider the set 𝑋𝑤,𝛽 of all functions
𝑓 such that there exists 𝛽′ < 𝛽 with dom(𝑓) = 𝛽 ′ and 𝑓 satisfies (∗)𝑤,𝛽′ .
By Replacement and uniqueness, 𝑋𝑤,𝛽 is indeed a set. Then, again by
uniqueness, ⋃𝑓′ ∈𝑋 𝑓′ is a function, and it clearly satisfies (∗)𝑤,𝛽 .
𝑤,𝛽
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.3. The Axiom of Choice 155
Proof. Exercise. □
Proof. Suppose (AC). For any set 𝑎, we then have ∏𝐴∈𝒫(𝑎)′ 𝐴 ≠ ∅. Any
element of this product is a choice function on 𝑎.
Conversely, let (𝑎𝑖 )𝑖∈𝐼 be a family of sets with 𝑎𝑖 ≠ ∅ for all 𝑖 ∈ 𝐼.
Let 𝑎 = ⋃𝑖∈𝐼 𝑎𝑖 and ℎ ∶ 𝒫(𝑎)′ → 𝑎 be a choice function on 𝑎. Then
ℎ ∘ 𝑓 ∈ ∏𝑖∈𝐼 𝑎𝑖 , where 𝑓 ∶ 𝐼 → 𝒫(𝑎)′ , 𝑓(𝑖) ∶= 𝑎𝑖 . □
Theorem 6.3.2. The following are equivalent in the theory ZF− :
(1) (AC).
(2) Zorn’s Lemma.
(3) Zermelo’s Theorem (Wohlordnungssatz).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
156 6. Axiomatic Set Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.4. The von Neumann Hierarchy 157
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
158 6. Axiomatic Set Theory
Proof. (1) and (2) are clear. To prove (3), one shows by induction that
𝑎𝑛 ⊆ 𝑡 for all 𝑛 ∈ 𝜔. (4) follows from (1-3).
(5) One has 𝑏 ∈ 𝑎 ⇒ 𝑏 ∈ tcl(𝑎) ⇒ 𝑏 ⊆ tcl(𝑎) ⇒ tcl(𝑏) ⊆ tcl(𝑎),
where the first implication follows from (1), the second from (2), and
the last one from (3).
(6) One has tcl(𝑎) ⊇ 𝑎 ∪ ⋃𝑏∈𝑎 tcl(𝑏) by (1) and (5). To prove the
other inclusion, it suffices by (3) to prove that 𝑎∪⋃𝑏∈𝑎 tcl(𝑏) is transitive,
which is clear. □
Lemma 6.4.2.
(1) 𝑉𝛼 is a transitive set for any ordinal 𝛼.
(2) 𝛽 ≤ 𝛼 ⇒ 𝑉𝛽 ⊆ 𝑉𝛼 .
(3) 𝑉𝛼 = {𝑥 ∈ 𝑉 ∣ rk(𝑥) < 𝛼}.
(4) If 𝑥 ∈ 𝑉 and 𝑦 ∈ 𝑥, then 𝑦 ∈ 𝑉 and rk(𝑦) < rk(𝑥).
(5) If 𝑥 ∈ 𝑉, then rk(𝑥) = sup{rk(𝑦) + 1 ∣ 𝑦 ∈ 𝑥}.
(6) If 𝑥 ∈ 𝑉 is transitive, then {rk(𝑦) ∣ 𝑦 ∈ 𝑥} is an ordinal 𝛼.
(7) One has rk(𝛼) = 𝛼 for every 𝛼. In particular, 𝛼 ∈ 𝑉 and {𝛽 ∈
𝑉𝛼 ∣ 𝛽 ∈ Ord} = 𝛼.
(8) Let 𝑥 be a set. Then 𝑥 ∈ 𝑉 if and only if 𝑥 ⊆ 𝑉.
(9) Assume (AC). If 𝑥 ∈ 𝑉 is transitive, then 𝑥 ∈ 𝑉card(𝑥)+ .
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.4. The von Neumann Hierarchy 159
Proof. (1) & (2) By transfinite induction on 𝛼, one shows that 𝑉𝛼 is tran-
sitive and that 𝑉𝛽 ⊆ 𝑉𝛼 for all 𝛽 ≤ 𝛼. The cases 𝛼 = 0 and 𝛼 a limit ordinal
are clear. Now suppose 𝛼 = 𝛾+1. Since 𝑉𝛾 is a transitive set by the induc-
tion hypothesis, 𝒫(𝑉𝛾 ) = 𝑉𝛼 is transitive, too. If 𝛽 < 𝛼, then 𝛽 ≤ 𝛾 and so
inductively 𝑉𝛽 ⊆ 𝑉𝛾 , whence 𝑉𝛽 ∈ 𝑉𝛼 and finally 𝑉𝛽 ⊆ 𝑉𝛼 by transitivity.
(3) If 𝑥 ∈ 𝑉, then rk(𝑥) < 𝛼 ⇔ (∃𝛽 < 𝛼)𝑥 ∈ 𝑉𝛽+1 ⇔ 𝑥 ∈ 𝑉𝛼 .
(4) Let 𝛼 = rk(𝑥). Then 𝑥 ∈ 𝑉𝛼+1 = 𝒫(𝑉𝛼 ). For 𝑦 ∈ 𝑥, one obtains
𝑦 ∈ 𝑉𝛼 and hence 𝑦 ∈ 𝑉 and rk(𝑦) < 𝛼 by (3).
(5) For 𝑥 ∈ 𝑉, set 𝛼 = sup{rk(𝑦) + 1 ∣ 𝑦 ∈ 𝑥}. By (4), one has
𝛼 ≤ rk(𝑥). Since rk(𝑦) < 𝛼 for any 𝑦 ∈ 𝑥, it follows from (3) that 𝑥 ⊆ 𝑉𝛼 ,
whence 𝑥 ∈ 𝑉𝛼+1 and finally 𝛼 ≥ rk(𝑥) by definition.
(6) Suppose 𝑥 ∈ 𝑉 is transitive and 𝛽 < rk(𝑥) is given. By (5) there
exists 𝑦 ∈ 𝑥 such that 𝛽 ≤ rk(𝑦). Choose such an element 𝑦 with min-
imal rank. If 𝑧 ∈ 𝑦, then 𝑧 ∈ 𝑥 (by transitivity of 𝑥) and rk(𝑧) < rk(𝑦)
by (4), so rk(𝑧) < 𝛽 by minimality of rk(𝑦). This proves that 𝑦 ⊆ 𝑉𝛽 , and
thus 𝑦 ∈ 𝑉𝛽+1 , and hence rk(𝑦) ≤ 𝛽. It follows that rk(𝑦) = 𝛽.
(7) We prove by transfinite induction that 𝛼 ∈ 𝑉 and rk(𝛼) = 𝛼, the
case 𝛼 = 0 being clear. Suppose that the result holds for all 𝛽 < 𝛼. Then
𝛽 ∈ 𝑉𝛽+1 ⊆ 𝑉𝛼 for all 𝛽 < 𝛼, so 𝛼 ⊆ 𝑉𝛼 and thus 𝛼 ∈ 𝑉𝛼+1 . We get
rk(𝛼) = sup{𝛽 + 1 ∣ 𝛽 < 𝛼} = 𝛼 by (5).
(8) 𝑥 ∈ 𝑉 ⇒ 𝑥 ⊆ 𝑉 follows from (4). Conversely, if 𝑥 is a set such
that 𝑥 ⊆ 𝑉, then {rk(𝑦) + 1 ∣ 𝑦 ∈ 𝑥} is given by a set by Replacement. For
𝛼 = sup{rk(𝑦) + 1 ∣ 𝑦 ∈ 𝑥} we thus infer that 𝑥 ⊆ 𝑉𝛼 , and so 𝑥 ∈ 𝑉𝛼+1 .
(9) By (6), the set {rk(𝑦) ∣ 𝑦 ∈ 𝑥} is equal to an ordinal 𝛼. Since
𝛼 = sup{𝛽 + 1 ∣ 𝛽 < 𝛼}, by (5) we get rk(𝑥) = 𝛼. Thus 𝑥 ∈ 𝑉card(𝑥)+ by
(3), as card(𝛼) ≤ card(𝑥) and hence 𝛼 < card(𝑥)+ . □
(1) 𝒰 ⊧ (AF).
(2) 𝒰 ⊧ ∀𝑥𝑉(𝑥).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
160 6. Axiomatic Set Theory
Proof. (1)⇒(2): (This implication does not use (AC).) If (𝑎𝑖 )𝑖∈𝜔 is a se-
quence of sets, consider 𝑎 = {𝑎𝑖 ∣ 𝑖 ∈ 𝜔}. By (AF), there exists 𝑏 ∈ 𝑎
such that 𝑏 ∩ 𝑎 = ∅. Hence for some 𝑛 ∈ 𝜔 one has 𝑎𝑛 ∩ 𝑎 = ∅, so in
particular 𝑎𝑛+1 ∉ 𝑎𝑛 .
(2)⇒(1): Let 𝑎 ≠ ∅ be a set which contradicts (AF). This means that
for every 𝑏 ∈ 𝑎 one has 𝑏 ∩ 𝑎 ≠ ∅. By (AC) there exists a function
𝑓 ∶ 𝑎 → 𝑎 such that 𝑓(𝑏) ∈ 𝑏 for every 𝑏 ∈ 𝑎. Choose 𝑎0 ∈ 𝑎, and
define recursively a sequence (𝑎𝑖 )𝑖∈𝜔 , putting 𝑎𝑛+1 = 𝑓(𝑎𝑛 ). □
Lemma 6.4.5.
(1) If 𝑥 ∈ 𝑉, then ⋃ 𝑥, 𝒫(𝑥) and {𝑥} are in 𝑉. The rank of these sets
is strictly smaller than rk(𝑥) + 𝜔.
(2) If 𝑥, 𝑦 ∈ 𝑉, then 𝑥 × 𝑦, 𝑥 ∪ 𝑦, 𝑥 ∩ 𝑦, {𝑥, 𝑦}, (𝑥, 𝑦) and 𝑥𝑦 are in
𝑉, too. Moreover, the rank of these sets is strictly smaller than
max{rk(𝑥), rk(𝑦)} + 𝜔.
Proof. Exercise. □
Remark. As the Extensionality Axiom (which expresses in some sense
that there are only sets), the Axiom of Foundation restricts the universe
of sets to the place where the usual mathematics take place:
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.5. Independence and Relative Consistency 161
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
162 6. Axiomatic Set Theory
A relative consistency result has the following form: given two the-
ories 𝑇1 and 𝑇2 , the consistency of 𝑇1 is proved to imply the consistency
of 𝑇2 . The proof method will be to construct a model of 𝑇2 from a model
of 𝑇1 .
Let us start with a result which establishes a relation between set
theory and arithmetic. One verifies without difficulty that the proof of
Proposition 6.2.10 may be done in ZF− . As the structure ⟨𝜔; +, ×, 𝑆, 0, <⟩
is a set in 𝒰, Lemma 6.5.3 entails the following result.
Proposition 6.5.4. One has ZF− ⊢ Con(PA). In particular, if ZF− is
consistent, then Peano arithmetic PA is consistent, too. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.5. Independence and Relative Consistency 163
Proof. (1) The proof is an easy induction on ht(𝜑) and left as an exercise.
(2) The proof is by induction on ht(𝜑), the only non-trivial case being
the case when 𝜑 is of the form ∃𝑥0 𝜓. In this case, one has
𝒰 ⊧ 𝜑𝑋 [𝑎1 , … , 𝑎𝑛 ] ⟺ 𝒰 ⊧ ∃𝑥0 (𝐹(𝑥0 ) ∧ 𝜓𝑋 )[𝑎1 , … , 𝑎𝑛 ]
⟺ there exists 𝑏 ∈ 𝑈 such that 𝒰 ⊧ 𝐹[𝑏] and 𝒰 ⊧ 𝜓𝑋 [𝑏, 𝑎]
⟺ there exists 𝑏 ∈ 𝑋 such that 𝒰 ⊧ 𝜓𝑋 [𝑏, 𝑎]
⟺ there exists 𝑏 ∈ 𝑋 such that 𝑋 ⊧ 𝜓[𝑏, 𝑎] ⟺ 𝑋 ⊧ 𝜑[𝑎]. □
Definition. Let 𝑋 be a class defined by an ℒ∈ -formula 𝐹(𝑣0 ). One
says that an ℒ∈ -formula 𝜑(𝑥1 , … , 𝑥𝑛 ) is absolute for 𝑋 if one has 𝒰 ⊧
𝑛
∀𝑥1 , … , 𝑥𝑛 (⋀𝑖=1 𝐹(𝑥𝑖 ) → (𝜑 ↔ 𝜑𝑋 )).
Definition. The set of Δ0 -formulas is the smallest set of ℒ∈ -formulas
which contains the atomic formulas and which is stable under boolean
combinations and bounded quantification (if 𝜑 is a Δ0 -formula and 𝑥, 𝑦
are two distinct variables, then ∃𝑥(𝑥 ∈ 𝑦 ∧ 𝜑) and ∀𝑥(𝑥 ∈ 𝑦 → 𝜑) are
Δ0 -formulas, too).
Lemma 6.5.6.
(1) Assume that 𝑋 is a non-empty class which is transitive (that is,
𝑧 ∈ 𝑦 ∈ 𝑋 ⇒ 𝑧 ∈ 𝑋). Then all Δ0 -formulas are absolute for 𝑋.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
164 6. Axiomatic Set Theory
Proof. (1) Atomic formulas are absolute for every non-empty class.
Moreover, for any class 𝑋, the set of formulas which are absolute for
𝑋 is stable under boolean combinations. We now prove that if 𝑋 is a
transitive (non-empty) class and if 𝜑(𝑥, 𝑦, 𝑣1 , … , 𝑣𝑛 ) is absolute for 𝑋,
then the formula ∃𝑥(𝑥 ∈ 𝑦 ∧ 𝜑) is absolute for 𝑋, too. For elements
𝑏, 𝑐1 , … , 𝑐𝑛 ∈ 𝑋, one has the following equivalences:
𝑋
𝒰 ⊧ (∃𝑥(𝑥 ∈ 𝑦 ∧ 𝜑)) [𝑏, 𝑐]
⟺ 𝒰 ⊧ (∃𝑥(𝐹(𝑥) ∧ 𝑥 ∈ 𝑦 ∧ 𝜑𝑋 )) [𝑏, 𝑐]
⟺ there exists 𝑎 ∈ 𝑏 ∩ 𝑋 such that 𝒰 ⊧ 𝜑𝑋 [𝑎, 𝑏, 𝑐]
⟺ there exists 𝑎 ∈ 𝑏 ∩ 𝑋 such that 𝒰 ⊧ 𝜑[𝑎, 𝑏, 𝑐]
⟺ there exists 𝑎 ∈ 𝑏 such that 𝒰 ⊧ 𝜑[𝑎, 𝑏, 𝑐]
⟺ 𝒰 ⊧ (∃𝑥(𝑥 ∈ 𝑦 ∧ 𝜑)) [𝑏, 𝑐].
The first equivalence holds by definition, the third one follows from
the induction hypothesis and the fourth one from the transitiviy of 𝑋.
Stability under bounded universal quantification follows as well, since
∀𝑥(𝑥 ∈ 𝑦 → 𝜑) is equivalent to ¬∃𝑥(𝑥 ∈ 𝑦 ∧ ¬𝜑).
The proof of (2) is straightforward. For example, the transitivity of
𝑥 is expressed by the Δ0 -formula: ∀𝑦 (𝑦 ∈ 𝑥 → ∀𝑧(𝑧 ∈ 𝑦 → 𝑧 ∈ 𝑥)) . □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.5. Independence and Relative Consistency 165
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
166 6. Axiomatic Set Theory
Proof. We first consider Ord(𝑥). The transitivity of 𝑥 and the fact that
∈↾ 𝑥 defines a total order are expressed by Δ0 -formulas and are thus ab-
solute in both cases. The items (2) and (5) of Lemma 6.5.8 entail that the
following formula is absolute:
∀𝑧 (𝑧 ∈ 𝒫(𝑥) ∧ 𝑧 ≠ ∅ → ∃𝑢(𝑢 ∈ 𝑧 ∧ ∀𝑤(𝑤 ∈ 𝑧 → 𝑤 ∉ 𝑢))) .
This establishes the absoluteness of well-foundedness.
The formula Ord(𝑥) ∧ ∀𝑦(𝑦 ∈ 𝑥 → ¬∃𝑓 ∈ 𝒫(𝑥 × 𝑦) 𝑓 ∶ 𝑥 ≅ 𝑦)
is equivalent to Card(𝑥). One proves easily that the formula 𝑓 ∶ 𝑥 ≅ 𝑦
(in the three variables 𝑓, 𝑥, 𝑦) is absolute for 𝑉 and for 𝑉𝜆 if 𝜆 is a limit
ordinal, and that the functional class 𝑧 = 𝑥 × 𝑦 is an absolute functional
class in both cases (exercise). This proves the absoluteness of Card(𝑥) in
both cases, using Lemma 6.5.8(2) and Remark 6.5.7. □
Definition. We work in ZF− . Let 𝜅 be a cardinal.
• We say 𝜅 is a strong limit cardinal if for all 𝜇 < 𝜅 one has 2𝜇 < 𝜅.
• We say 𝜅 is inaccessible (strongly) if it is strong limit, regular
and > ℵ0 .
Example. By transfinite recursion, one defines a cardinal hierarchy as
follows: ℶ0 ∶= ℵ0 , ℶ𝛼+1 ∶= 2ℶ𝛼 , and ℶ𝜆 ∶= sup𝛼<𝜆 ℶ𝛼 for 𝜆 a limit
ordinal.
For any limit ordinal 𝜆, ℶ𝜆 is then a strong limit cardinal. But as
cof(ℶ𝜆 ) = cof(𝜆) in this case, ℶ𝜆 is singular in general.
Lemma 6.5.10. Let 𝒰 ⊧ ZF− , and let 𝑋 = 𝑉 or 𝑋 = 𝑉𝜔 , or 𝑋 = 𝑉𝜅
for 𝜅 an inaccessible cardinal. In the last case, we assume in addition that
𝒰 ⊧ (AC). Then 𝑋 satisfies the Replacement Axiom Scheme and the Axiom
of Foundation.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.5. Independence and Relative Consistency 167
Lemma 6.5.11. One has 𝑉 ⊧ (AI), 𝑉𝜆 ⊧ (AI) for any limit ordinal 𝜆 > 𝜔,
and 𝑉𝜔 ⊧ ¬(AI).
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
168 6. Axiomatic Set Theory
−
Proof. All axioms of ZFC hold in 𝑉𝜅 by the preceding lemmas. □
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.6. A Glimpse of Further Independence Results 169
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
170 6. Axiomatic Set Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.6. A Glimpse of Further Independence Results 171
away, and then that the same absoluteness statement holds for
the functional class 𝛼 ↦ 𝐿𝛼 .
• In order to prove that 𝐿 ⊧ (AC), one uses transfinite recursion
to construct a well-ordering on 𝐿𝛼 such that if 𝛼 ≤ 𝛽, then 𝐿𝛼
is an initial segment of 𝐿𝛽 . In the successor step, one uses the
well-ordering 𝐿𝛼 to construct a well-ordering on 𝐿<𝜔 𝛼 (the set
of finite sequences in 𝐿𝛼 ), then on 𝐿𝛼+1 , also enumerating the
(codes) of ℒ∈ -formulas.
• Finally, 𝐿 ⊧ (GCH) is established as follows. One proves first
that, in any model of ZF− , one has card(𝐿𝛼 ) = card(𝛼) for every
infinite ordinal 𝛼. Then, one proves that, in 𝐿, one has 𝐿𝜅 =
{𝑥 ∣ card(tcl(𝑥)) < 𝜅} for every infinite cardinal 𝜅. Thus, 𝐿 ⊧
𝒫(𝜅) ⊆ 𝐿𝜅+ , and so 𝐿 ⊧ (GCH).
Cantor had formulated (CH) and thus raised the problem of the car-
dinality of the continuum in 1878. It was then put forward by Hilbert
as the first problem of his list of 23 important problems in mathematics
which he presented at the International Congress of Mathematicians in
Paris in 1900.
Contrary to the constructions of models of set theory we have seen
so far (and to the ones which will be treated in the exercises), Cohen’s
construction is not done inside the ground model 𝒰. The method Cohen
introduced in 1964 to prove his results, termed forcing, allows for con-
structions of models which extend a given model.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
172 6. Axiomatic Set Theory
Let us mention a theorem which is more difficult (its proof uses forc-
ing).
Theorem 6.6.7 (Solovay, 1970). If ZFC+(IC) is consistent, then the theory
ZF + (DC) + ‘every subset of ℝ is Lebesgue measurable’ is consistent, too.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.7. Exercises 173
6.7. Exercises
Exercise 6.7.1. We work in 𝒰 ⊧ ZF− , and we suppose that the sets
ℕ, ℤ, … are defined in the usual manner.
(1) Prove that the sets ℕ, ℤ, ℝ, ℂ, 𝐶 0 ([0, 1], ℂ) are in 𝑉𝜔⋅2 .
(2) Compute the ranks of the sets in (1).
Exercise 6.7.2 (Mostowski Collapse). We work in 𝒰 ⊧ ZF− . Let 𝑋 be a
class and 𝑅 ⊆ 𝑋 × 𝑋 a definable relation on 𝑋.
We say 𝑅 is set-like if for any 𝑎 in 𝑋, the class pred𝑅 (𝑎) of
𝑅-predecessors of 𝑎, defined by 𝑅(𝑥, 𝑎), is given by a set; 𝑅 is well-founded
if any non-empty subset 𝑎 of 𝑋 contains an 𝑅-minimal element; finally,
𝑅 is extensional if pred𝑅 (𝑎) = pred𝑅 (𝑏) implies 𝑎 = 𝑏.
(1) Assume that 𝑅 ⊆ 𝑋 ×𝑋 is set-like. By induction on 𝛼, for 𝑥 ∈ 𝑋,
define the relation rk𝑅 (𝑥) ≥ 𝛼 as follows:
• rk𝑅 (𝑥) ≥ 0 for all 𝑥 ∈ 𝑋;
• rk𝑅 (𝑥) ≥ 𝛼 + 1 if and only if there is 𝑦 ∈ pred𝑅 (𝑥) such
that rk𝑅 (𝑦) ≥ 𝛼;
• if 𝜆 is a limit, then rk𝑅 (𝑥) ≥ 𝜆 if and only if rk𝑅 (𝑥) ≥ 𝛼 for
all 𝛼 < 𝜆.
Set rk𝑅 (𝑥) ∶= ∞ if rk𝑅 (𝑥) ≥ 𝛼 for all 𝛼; otherwise, rk𝑅 (𝑥)
is defined as the least 𝛼 such that rk𝑅 (𝑥) ≱ 𝛼 + 1. (rk𝑅 is called
the foundation rank.)
Prove that 𝑅 is well-founded if and only if rk𝑅 takes ordinal
values on 𝑋.
(2) Assume now that 𝑅 is well-founded and set-like.
(a) Prove that if 𝐹 is a functional class with Domain 𝑋 and
Image contained in Ord such that 𝑅(𝑎, 𝑏) implies 𝐹(𝑎) <
𝐹(𝑏), then rk𝑅 (𝑥) ≤ 𝐹(𝑥) for all 𝑥 ∈ 𝑋.
(b) Prove that the Image of rk𝑅 is either an ordinal or the
whole of Ord.
(c) Prove that there is a unique functional class 𝜋 with
Dom(𝜋) = 𝑋 such that for every 𝑎 in 𝑋 one has 𝜋(𝑎) =
𝜋[pred𝑅 (𝑎)]. This 𝜋 is called the Mostowski Collapse of
(𝑋, 𝑅). Moreover, prove that Im(𝜋) is a transitive subclass
of 𝑉.
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
174 6. Axiomatic Set Theory
𝑛
𝒰 ⊧ ∀𝑥1 , … , 𝑥𝑛 ( 𝑥𝑖 ∈ 𝑊𝛼 → (𝜑𝑊 (𝑥) ↔ 𝜑𝑊𝛼 (𝑥))) .
⋀
𝑖=1
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.7. Exercises 175
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
176 6. Axiomatic Set Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.7. Exercises 177
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
178 6. Axiomatic Set Theory
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Bibliography
[1] S. Barry Cooper, Computability theory, Chapman & Hall/CRC, Boca Raton, FL, 2004. MR2017461
[2] René Cori and Daniel Lascar, Mathematical logic, Part 1, Oxford University Press, 2010.
[3] René Cori and Daniel Lascar, Mathematical logic, Oxford University Press, Oxford, 2001. A course
with exercises. Part II; Recursion theory, Gödel’s theorems, set theory, model theory; Translated
from the 1993 French original by Donald H. Pelletier; With a foreword to the original French edi-
tion by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges. MR1830848
[4] H.-D. Ebbinghaus, J. Flum, and W. Thomas, Mathematical logic, 2nd ed., Undergraduate Texts in
Mathematics, Springer-Verlag, New York, 1994. Translated from the German by Margit Meßmer.
MR1278260
[5] Thomas Jech, Set theory: The third millennium edition, revised and expanded, Springer Monographs
in Mathematics, Springer-Verlag, Berlin, 2003. MR1940513
[6] Jean-Louis Krivine, Théorie des ensembles, Nouvelle bibliothèque mathématique, Cassini, 1998.
[7] Kenneth Kunen, Set theory: An introduction to independence proofs, Studies in Logic and the Foun-
dations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980.
MR597342
[8] David Marker, Model theory: An introduction, Graduate Texts in Mathematics, vol. 217, Springer-
Verlag, New York, 2002. MR1924282
[9] Bruno Poizat, A course in model theory: An introduction to contemporary mathematical logic, Uni-
versitext, Springer-Verlag, New York, 2000. Translated from the French by Moses Klein and revised
by the author. MR1757487
[10] Hartley Rogers Jr., Theory of recursive functions and effective computability, 2nd ed., MIT Press,
Cambridge, MA, 1987. MR886890
[11] Robert I. Soare, Recursively enumerable sets and degrees: A study of computable functions and
computably generated sets, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.
MR882921
[12] Katrin Tent and Martin Ziegler, A course in model theory, Lecture Notes in Logic, vol. 40, Associa-
tion for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012. MR2908005
[13] Martin Ziegler, Mathematische Logik (German), Mathematik Kompakt. [Compact Mathematics],
Birkhäuser Verlag, Basel, 2010. MR2683672
179
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index
¬, 34 ⟨𝑋⟩𝔄 , 41
∧, 34 ⟨𝑥0 , … , 𝑥𝑛−1 ⟩, 93
∨, 38 ⟨𝜑⟩, 66
→, 38 (𝑥)𝑖 , 93
↔, 38 𝑥−𝑦,̇ 91
∃𝑥, 34 (A1)-(A8), 125
∀𝑥, 38 (AC), 14, 155
∃!𝑥, 72 (AF), 153
≅, 35 (AI), 152
≡, 66 (CC), 172
𝐴 ⊆ 𝐵, 2 (CH), 19
𝔅 ⊆ 𝔄, 41 (DC), 172
≼, 66 (E1)-(E5), 47
𝔄 ⊧ 𝜑[𝛼], 39 (GCH), 19
𝔄 ⊧ 𝜑[𝑎1 , … , 𝑎𝑛 ], 40 (L1)-(L3), 139
⊧ 𝜑, 45 (Q1)-(Q3), 47
𝛿 ⊧ 𝐹, 46 (R0)∗ -(R3)∗ , 97
𝔄 ⊧ 𝑇, 48 (R0)-(R2), 90
𝑇 ⊧ 𝜑, 48 (R3), 98
𝑇 ⊢ℒ 𝜑, 49 𝟙𝑋 , 90
⊢ℒ 𝜑, 49 ℵ0 , 14
𝑇 ⊢ 𝜑, 53 ℵ𝛼 , 16
∼𝑇 , 77 ℶ𝛼 , 166
□𝑇 𝜑, 138 𝑛, 9
⌜ℳ⌝, 103 𝑡(𝑠1 , … , 𝑠𝑛 ), 45
#𝜑, 120 𝑡𝔄 [𝛼], 39
##𝑑, 122 ℕ, 2
181
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
182 Index
𝐶𝑚𝑛 , 90 Free(𝜑), 38
𝐷(𝔐), 70 HOAD, 178
𝐸 ∗ , 36 HOD, 176
𝐹[𝑎], 151 IC, 168
𝐼𝑝 , 104 Im(𝐹), 151
𝐿, 170 Lim(𝑥), 153
𝐿𝛼 , 170 MP, 49
𝑃𝑖𝑛 , 90 Neg, 133
𝑆, 90 OAD, 178
𝑇Pres , 141 OD, 176
𝑉, 158 Ord(𝑥), 152
𝑉𝛼 , 155 PA, 125
𝑍 𝔄 , 35 PA0 , 125
𝔄 ↾ ℒ , 45 Prf, 122
ℭ, 35 SatΣ1 (𝑣), 134
𝔑, 35 Taut, 121
𝔑st , 125 Term, 120
ℜ, 35, 68 Thm(𝑇), 122
𝒞 ℒ , 34 Th(𝔄), 50
ℱ, 90 ZFC, 148
ℱ ∗ , 97 ZFC− , 153
ℱ𝑛∗ , 97 ZF, 148
ℱ𝑛 , 90 ZF− , 153
ℱ𝑛ℒ , 34 Z, 175
ℒ𝑟𝑖𝑛𝑔 , 35 card(ℒ), 67
ℒOAG , 86 card(𝑋), 14
ℒPres , 141 cof(𝛼), 20
ℒ𝑎𝑟 , 35 dom(𝑅), 150
ℒ𝑜𝑟𝑑 , 35 dom(𝑓), 97
ℒ𝑜.𝑟𝑖𝑛𝑔 , 35 ht(𝑡), 36
ℒ𝑠𝑒𝑡 , 35 ht(𝜑), 37
𝒫(𝐴), 2 im(𝑅), 150
ℛ𝑛ℒ , 34 lg(𝑛), 94
𝒯 ℒ , 36 rk(𝑎), 158
𝒰, 147 rk𝐿 (𝑎), 170
ACF, 50, 78 rk𝑅 (𝑎), 173
ACF𝑝 , 80 subst, 131
Ax, 122 sup, 8
Card(𝑥), 152 tcl(𝑎), 157
Con𝑇 , 140 𝛼 + 𝛽, 11
DLO, 85 𝛼+ , 7
DOAG, 86 𝛼𝛽 , 11
Dom(𝐹), 151 𝛼𝑝 , 93
Form, 120 𝛼𝑎/𝑥 , 40
ℒ
Fml , 37 𝛼𝛽, 11
𝑝
Fml𝒫 , 46 𝛽𝑖 , 93
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index 183
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
184 Index
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index 185
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Selected Published Titles in This Series
89 Martin Hils and François Loeser, A First Journey through Logic, 2019
88 M. Ram Murty and Brandon Fodden, Hilbert’s Tenth Problem, 2019
87 Matthew Katz and Jan Reimann, An Introduction to Ramsey Theory,
2018
86 Peter Frankl and Norihide Tokushige, Extremal Problems for Finite
Sets, 2018
85 Joel H. Shapiro, Volterra Adventures, 2018
84 Paul Pollack, A Conversational Introduction to Algebraic Number
Theory, 2017
83 Thomas R. Shemanske, Modern Cryptography and Elliptic Curves, 2017
82 A. R. Wadsworth, Problems in Abstract Algebra, 2017
81 Vaughn Climenhaga and Anatole Katok, From Groups to Geometry
and Back, 2017
80 Matt DeVos and Deborah A. Kent, Game Theory, 2016
79 Kristopher Tapp, Matrix Groups for Undergraduates, Second Edition,
2016
78 Gail S. Nelson, A User-Friendly Introduction to Lebesgue Measure and
Integration, 2015
77 Wolfgang Kühnel, Differential Geometry: Curves — Surfaces —
Manifolds, Third Edition, 2015
76 John Roe, Winding Around, 2015
75 Ida Kantor, Jiřı́ Matoušek, and Robert Šámal, Mathematics++,
2015
74 Mohamed Elhamdadi and Sam Nelson, Quandles, 2015
73 Bruce M. Landman and Aaron Robertson, Ramsey Theory on the
Integers, Second Edition, 2014
72 Mark Kot, A First Course in the Calculus of Variations, 2014
71 Joel Spencer, Asymptopia, 2014
70 Lasse Rempe-Gillen and Rebecca Waldecker, Primality Testing for
Beginners, 2014
69 Mark Levi, Classical Mechanics with Calculus of Variations and Optimal
Control, 2014
68 Samuel S. Wagstaff, Jr., The Joy of Factoring, 2013
67 Emily H. Moore and Harriet S. Pollatsek, Difference Sets, 2013
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
The aim of this book is to present
mathematical logic to students
who are interested in what this
field is but have no intention of
specializing in it. The point of
view is to treat logic on an equal
footing to any other topic in the
mathematical curriculum. The book starts with a presentation of naive set
theory, the theory of sets that mathematicians use on a daily basis. Each
subsequent chapter presents one of the main areas of mathematical logic:
first order logic and formal proofs, model theory, recursion theory, Gödel’s
incompleteness theorem, and, finally, the axiomatic set theory. Each chapter
includes several interesting highlights — outside of logic when possible —
either in the main text, or as exercises or appendices. Exercises are an essential
component of the book, and a good number of them are designed to provide
an opening to additional topics of interest.
STML/89
Licensed to Mathematisches Forschungsinstitut. Prepared on Thu Sep 30 04:18:29 EDT 2021for download from IP 188.1.230.74.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms