arithmetic, set theory, and their models...arithmetic, set theory, and their models part one: end...
TRANSCRIPT
![Page 1: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/1.jpg)
ARITHMETIC, SET THEORY, AND THEIRMODELS
PART ONE: END EXTENSIONS
Ali Enayat
YOUNG SET THEORY WORKSHOP
KONIGSWINTER, MARCH 21-25, 2011
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 2: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/2.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW
(1) [Koepke-Koerwien] SO ≈ ZFC.
SO = Second Order Theory of Ordinals.
T−∞ := T\{Infinity} ∪ {¬Infinity}.
(2) [Mostowski] Z2 + Π1∞-AC =
(Second Order Arithmetic + Choice Scheme) ≈
ZFC\{Power}+ V = H(ℵ1) ≈
KMC−.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 3: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/3.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW
(1) [Koepke-Koerwien] SO ≈ ZFC.
SO = Second Order Theory of Ordinals.
T−∞ := T\{Infinity} ∪ {¬Infinity}.
(2) [Mostowski] Z2 + Π1∞-AC =
(Second Order Arithmetic + Choice Scheme) ≈
ZFC\{Power}+ V = H(ℵ1) ≈
KMC−.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 4: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/4.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW
(1) [Koepke-Koerwien] SO ≈ ZFC.
SO = Second Order Theory of Ordinals.
T−∞ := T\{Infinity} ∪ {¬Infinity}.
(2) [Mostowski] Z2 + Π1∞-AC =
(Second Order Arithmetic + Choice Scheme) ≈
ZFC\{Power}+ V = H(ℵ1) ≈
KMC−.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 5: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/5.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW
(1) [Koepke-Koerwien] SO ≈ ZFC.
SO = Second Order Theory of Ordinals.
T−∞ := T\{Infinity} ∪ {¬Infinity}.
(2) [Mostowski] Z2 + Π1∞-AC =
(Second Order Arithmetic + Choice Scheme) ≈
ZFC\{Power}+ V = H(ℵ1) ≈
KMC−.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 6: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/6.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW
(1) [Koepke-Koerwien] SO ≈ ZFC.
SO = Second Order Theory of Ordinals.
T−∞ := T\{Infinity} ∪ {¬Infinity}.
(2) [Mostowski] Z2 + Π1∞-AC =
(Second Order Arithmetic + Choice Scheme) ≈
ZFC\{Power}+ V = H(ℵ1) ≈
KMC−.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 7: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/7.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW (CONT’D)
(3) [Ackermann, Mycielski, Kaye-Wong]
ACA0 ≈ GBC−∞ + TC.
PA ≈ ZF−∞ + TC.
(4) [Gaifman-Dimitracopoulos]
EFA (Elementary Function Arithmetic)≈ Mac−∞.
(5) [Szmielew-Tarski]
Robinson’s Q ≈ AST (Adjunctive Set Theory).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 8: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/8.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW (CONT’D)
(3) [Ackermann, Mycielski, Kaye-Wong]
ACA0 ≈ GBC−∞ + TC.
PA ≈ ZF−∞ + TC.
(4) [Gaifman-Dimitracopoulos]
EFA (Elementary Function Arithmetic)≈ Mac−∞.
(5) [Szmielew-Tarski]
Robinson’s Q ≈ AST (Adjunctive Set Theory).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 9: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/9.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW (CONT’D)
(3) [Ackermann, Mycielski, Kaye-Wong]
ACA0 ≈ GBC−∞ + TC.
PA ≈ ZF−∞ + TC.
(4) [Gaifman-Dimitracopoulos]
EFA (Elementary Function Arithmetic)≈ Mac−∞.
(5) [Szmielew-Tarski]
Robinson’s Q ≈ AST (Adjunctive Set Theory).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 10: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/10.jpg)
SET THEORETICAL TWINS OF ARITHMETICALTHEORIES: THE GLOBAL VIEW (CONT’D)
(3) [Ackermann, Mycielski, Kaye-Wong]
ACA0 ≈ GBC−∞ + TC.
PA ≈ ZF−∞ + TC.
(4) [Gaifman-Dimitracopoulos]
EFA (Elementary Function Arithmetic)≈ Mac−∞.
(5) [Szmielew-Tarski]
Robinson’s Q ≈ AST (Adjunctive Set Theory).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 11: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/11.jpg)
FAMILIAR INTERPRETATIONS
Example A: Poincare’s interpretation of hyperbolic geometryin euclidean geometry.
Example B: Hamilton’s interpretation of ACF0 in RCF.
Example C: von Neumann’s interpretation of PA in ZF.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 12: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/12.jpg)
FAMILIAR INTERPRETATIONS
Example A: Poincare’s interpretation of hyperbolic geometryin euclidean geometry.
Example B: Hamilton’s interpretation of ACF0 in RCF.
Example C: von Neumann’s interpretation of PA in ZF.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 13: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/13.jpg)
FAMILIAR INTERPRETATIONS
Example A: Poincare’s interpretation of hyperbolic geometryin euclidean geometry.
Example B: Hamilton’s interpretation of ACF0 in RCF.
Example C: von Neumann’s interpretation of PA in ZF.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 14: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/14.jpg)
FAMILIAR INTERPRETATIONS
Example A: Poincare’s interpretation of hyperbolic geometryin euclidean geometry.
Example B: Hamilton’s interpretation of ACF0 in RCF.
Example C: von Neumann’s interpretation of PA in ZF.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 15: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/15.jpg)
INTERPRETATIONS, THE OFFICIAL DEFINITION
An interpretation of a theory S in a theory T, written,I : S → T consists of a translation of each formula ϕ of Sinto a formula ϕI in the language of T such that
(S ` ϕ) =⇒ T ` ϕI .
The translation ϕ 7−→ ϕI is induced by the following:(a) A universe of discourse designated by a first order formulaU of T ;(b) A distinguished definable equivalence relation E on tointerpret equality on U;(c) A T -formula ϕR(x0, · · ·, xn−1) for each n-ary relationsymbol of S .
We write S ≤I T if S can be interpreted in T .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 16: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/16.jpg)
INTERPRETATIONS, THE OFFICIAL DEFINITION
An interpretation of a theory S in a theory T, written,I : S → T consists of a translation of each formula ϕ of Sinto a formula ϕI in the language of T such that
(S ` ϕ) =⇒ T ` ϕI .
The translation ϕ 7−→ ϕI is induced by the following:(a) A universe of discourse designated by a first order formulaU of T ;(b) A distinguished definable equivalence relation E on tointerpret equality on U;(c) A T -formula ϕR(x0, · · ·, xn−1) for each n-ary relationsymbol of S .
We write S ≤I T if S can be interpreted in T .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 17: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/17.jpg)
INTERPRETATIONS, THE OFFICIAL DEFINITION
An interpretation of a theory S in a theory T, written,I : S → T consists of a translation of each formula ϕ of Sinto a formula ϕI in the language of T such that
(S ` ϕ) =⇒ T ` ϕI .
The translation ϕ 7−→ ϕI is induced by the following:(a) A universe of discourse designated by a first order formulaU of T ;(b) A distinguished definable equivalence relation E on tointerpret equality on U;(c) A T -formula ϕR(x0, · · ·, xn−1) for each n-ary relationsymbol of S .
We write S ≤I T if S can be interpreted in T .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 18: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/18.jpg)
INTERPRETATIONS, THE OFFICIAL DEFINITION
An interpretation of a theory S in a theory T, written,I : S → T consists of a translation of each formula ϕ of Sinto a formula ϕI in the language of T such that
(S ` ϕ) =⇒ T ` ϕI .
The translation ϕ 7−→ ϕI is induced by the following:(a) A universe of discourse designated by a first order formulaU of T ;(b) A distinguished definable equivalence relation E on tointerpret equality on U;(c) A T -formula ϕR(x0, · · ·, xn−1) for each n-ary relationsymbol of S .
We write S ≤I T if S can be interpreted in T .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 19: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/19.jpg)
INTERPRETATIONS AND MODELS
In model theoretic terms: if S ≤I T , then one can uniformlyinterpret a model BA of S in every model A of T .
S and T are said to be bi-interpretable if
(1) T can verify that A ∼= ABA , and
(2) S can verify that B ∼= BAB .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 20: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/20.jpg)
INTERPRETATIONS AND MODELS
In model theoretic terms: if S ≤I T , then one can uniformlyinterpret a model BA of S in every model A of T .
S and T are said to be bi-interpretable if
(1) T can verify that A ∼= ABA , and
(2) S can verify that B ∼= BAB .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 21: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/21.jpg)
INTERPRETATIONS AND MODELS
In model theoretic terms: if S ≤I T , then one can uniformlyinterpret a model BA of S in every model A of T .
S and T are said to be bi-interpretable if
(1) T can verify that A ∼= ABA , and
(2) S can verify that B ∼= BAB .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 22: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/22.jpg)
INTERPRETATIONS AND MODELS
In model theoretic terms: if S ≤I T , then one can uniformlyinterpret a model BA of S in every model A of T .
S and T are said to be bi-interpretable if
(1) T can verify that A ∼= ABA , and
(2) S can verify that B ∼= BAB .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 23: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/23.jpg)
INTERPRETATIONS AND MODELS
In model theoretic terms: if S ≤I T , then one can uniformlyinterpret a model BA of S in every model A of T .
S and T are said to be bi-interpretable if
(1) T can verify that A ∼= ABA , and
(2) S can verify that B ∼= BAB .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 24: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/24.jpg)
INTERPRETATIONS AND RELATIVE CONSISTENCY
Theorem. Suppose S and T are axiomatizable theories. ThenS ≤I T ⇒ Con(T )→ Con(S).
But the converse of the above can be false, e.g., for S = GB,and T = ZF.
Therefore “interpretability strength”is a refinement of“consistency strength”.
Theorem. [Mostowski-Robinson-Tarski] If T is axiomatizableand Q ≤I T , then T is essentially undecidable.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 25: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/25.jpg)
INTERPRETATIONS AND RELATIVE CONSISTENCY
Theorem. Suppose S and T are axiomatizable theories. ThenS ≤I T ⇒ Con(T )→ Con(S).
But the converse of the above can be false, e.g., for S = GB,and T = ZF.
Therefore “interpretability strength”is a refinement of“consistency strength”.
Theorem. [Mostowski-Robinson-Tarski] If T is axiomatizableand Q ≤I T , then T is essentially undecidable.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 26: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/26.jpg)
INTERPRETATIONS AND RELATIVE CONSISTENCY
Theorem. Suppose S and T are axiomatizable theories. ThenS ≤I T ⇒ Con(T )→ Con(S).
But the converse of the above can be false, e.g., for S = GB,and T = ZF.
Therefore “interpretability strength”is a refinement of“consistency strength”.
Theorem. [Mostowski-Robinson-Tarski] If T is axiomatizableand Q ≤I T , then T is essentially undecidable.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 27: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/27.jpg)
INTERPRETATIONS AND RELATIVE CONSISTENCY
Theorem. Suppose S and T are axiomatizable theories. ThenS ≤I T ⇒ Con(T )→ Con(S).
But the converse of the above can be false, e.g., for S = GB,and T = ZF.
Therefore “interpretability strength”is a refinement of“consistency strength”.
Theorem. [Mostowski-Robinson-Tarski] If T is axiomatizableand Q ≤I T , then T is essentially undecidable.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 28: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/28.jpg)
INTERPRETATIONS AND RELATIVE CONSISTENCY
Theorem. Suppose S and T are axiomatizable theories. ThenS ≤I T ⇒ Con(T )→ Con(S).
But the converse of the above can be false, e.g., for S = GB,and T = ZF.
Therefore “interpretability strength”is a refinement of“consistency strength”.
Theorem. [Mostowski-Robinson-Tarski] If T is axiomatizableand Q ≤I T , then T is essentially undecidable.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 29: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/29.jpg)
INTERPRETATIONS AND SET THEORETICINDEPENDENCE RESULTS
Theorem. EFA ` Con(ZF)→ Con(ZF + V = L).
Proof: Syntactically unwind the usual proof!
The above works since Godel’s L has a uniform definitionacross all model of ZF, and ZF ` (ZF + V = L)L.
Theorem. EFA ` Con(ZF)→ Con(ZF + ¬CH).
Proof: Move within L and build LB, where B =c.b.a foradding ℵ2 Cohen reals; then mod out LB by the L-leastultrafilter on B.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 30: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/30.jpg)
INTERPRETATIONS AND SET THEORETICINDEPENDENCE RESULTS
Theorem. EFA ` Con(ZF)→ Con(ZF + V = L).
Proof: Syntactically unwind the usual proof!
The above works since Godel’s L has a uniform definitionacross all model of ZF, and ZF ` (ZF + V = L)L.
Theorem. EFA ` Con(ZF)→ Con(ZF + ¬CH).
Proof: Move within L and build LB, where B =c.b.a foradding ℵ2 Cohen reals; then mod out LB by the L-leastultrafilter on B.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 31: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/31.jpg)
INTERPRETATIONS AND SET THEORETICINDEPENDENCE RESULTS
Theorem. EFA ` Con(ZF)→ Con(ZF + V = L).
Proof: Syntactically unwind the usual proof!
The above works since Godel’s L has a uniform definitionacross all model of ZF, and ZF ` (ZF + V = L)L.
Theorem. EFA ` Con(ZF)→ Con(ZF + ¬CH).
Proof: Move within L and build LB, where B =c.b.a foradding ℵ2 Cohen reals; then mod out LB by the L-leastultrafilter on B.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 32: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/32.jpg)
INTERPRETATIONS AND SET THEORETICINDEPENDENCE RESULTS
Theorem. EFA ` Con(ZF)→ Con(ZF + V = L).
Proof: Syntactically unwind the usual proof!
The above works since Godel’s L has a uniform definitionacross all model of ZF, and ZF ` (ZF + V = L)L.
Theorem. EFA ` Con(ZF)→ Con(ZF + ¬CH).
Proof: Move within L and build LB, where B =c.b.a foradding ℵ2 Cohen reals; then mod out LB by the L-leastultrafilter on B.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 33: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/33.jpg)
INTERPRETATIONS AND SET THEORETICINDEPENDENCE RESULTS
Theorem. EFA ` Con(ZF)→ Con(ZF + V = L).
Proof: Syntactically unwind the usual proof!
The above works since Godel’s L has a uniform definitionacross all model of ZF, and ZF ` (ZF + V = L)L.
Theorem. EFA ` Con(ZF)→ Con(ZF + ¬CH).
Proof: Move within L and build LB, where B =c.b.a foradding ℵ2 Cohen reals; then mod out LB by the L-leastultrafilter on B.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 34: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/34.jpg)
INTERPRETATIONS AND SET THEORETICINDEPENDENCE RESULTS
Theorem. EFA ` Con(ZF)→ Con(ZF + V = L).
Proof: Syntactically unwind the usual proof!
The above works since Godel’s L has a uniform definitionacross all model of ZF, and ZF ` (ZF + V = L)L.
Theorem. EFA ` Con(ZF)→ Con(ZF + ¬CH).
Proof: Move within L and build LB, where B =c.b.a foradding ℵ2 Cohen reals; then mod out LB by the L-leastultrafilter on B.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 35: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/35.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Second order arithmetic (Z2) is a two-sorted theory; onesort for numbers, and the other sort for reals. Models of Z2
are of the form (M,A), where A ⊆ P(M), such that
(1) For each X ∈ A, (M,X ) |= PA(X), and
(2) If X ⊆ M is parametrically definable in (M,A), thenX ∈ A.
The Choice Scheme Π1∞-AC consists of the universal closure
of formulae of the form
∀n ∃X ϕ(n,X )→ ∃Y ∀n ϕ(n, (Y )n)
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 36: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/36.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Second order arithmetic (Z2) is a two-sorted theory; onesort for numbers, and the other sort for reals. Models of Z2
are of the form (M,A), where A ⊆ P(M), such that
(1) For each X ∈ A, (M,X ) |= PA(X), and
(2) If X ⊆ M is parametrically definable in (M,A), thenX ∈ A.
The Choice Scheme Π1∞-AC consists of the universal closure
of formulae of the form
∀n ∃X ϕ(n,X )→ ∃Y ∀n ϕ(n, (Y )n)
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 37: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/37.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Second order arithmetic (Z2) is a two-sorted theory; onesort for numbers, and the other sort for reals. Models of Z2
are of the form (M,A), where A ⊆ P(M), such that
(1) For each X ∈ A, (M,X ) |= PA(X), and
(2) If X ⊆ M is parametrically definable in (M,A), thenX ∈ A.
The Choice Scheme Π1∞-AC consists of the universal closure
of formulae of the form
∀n ∃X ϕ(n,X )→ ∃Y ∀n ϕ(n, (Y )n)
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 38: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/38.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Tanalysis := Z2 + Π1∞-AC, and
Tset := ZFC\{Power}+ V = H(ℵ1) are bi-interpretable.
In particular, there is a canonical one-to-one correspondencebetween models of Tanalysis and Tset; ω-models of Tanalysis
correspond to ω-models of Tset.
To interpret an model A � Tset within a model(N∗,A) � Tanalysis, one defines the notion of “suitable trees”,and an equivalence relation =∗ among suitable trees, and abinary relation ∈∗ among the equivalence classes of =∗ Thisyields a model A = (A,E ) of Tset; where A is the set ofequivalence classes of =∗ and E = ∈∗ .Conversely, if A is a model of Tset, then the “standard modelof second order arithmetic” in the sense of A is a model ofTanalysis.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 39: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/39.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Tanalysis := Z2 + Π1∞-AC, and
Tset := ZFC\{Power}+ V = H(ℵ1) are bi-interpretable.
In particular, there is a canonical one-to-one correspondencebetween models of Tanalysis and Tset; ω-models of Tanalysis
correspond to ω-models of Tset.
To interpret an model A � Tset within a model(N∗,A) � Tanalysis, one defines the notion of “suitable trees”,and an equivalence relation =∗ among suitable trees, and abinary relation ∈∗ among the equivalence classes of =∗ Thisyields a model A = (A,E ) of Tset; where A is the set ofequivalence classes of =∗ and E = ∈∗ .Conversely, if A is a model of Tset, then the “standard modelof second order arithmetic” in the sense of A is a model ofTanalysis.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 40: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/40.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Tanalysis := Z2 + Π1∞-AC, and
Tset := ZFC\{Power}+ V = H(ℵ1) are bi-interpretable.
In particular, there is a canonical one-to-one correspondencebetween models of Tanalysis and Tset; ω-models of Tanalysis
correspond to ω-models of Tset.
To interpret an model A � Tset within a model(N∗,A) � Tanalysis, one defines the notion of “suitable trees”,and an equivalence relation =∗ among suitable trees, and abinary relation ∈∗ among the equivalence classes of =∗ Thisyields a model A = (A,E ) of Tset; where A is the set ofequivalence classes of =∗ and E = ∈∗ .Conversely, if A is a model of Tset, then the “standard modelof second order arithmetic” in the sense of A is a model ofTanalysis.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 41: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/41.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Tanalysis := Z2 + Π1∞-AC, and
Tset := ZFC\{Power}+ V = H(ℵ1) are bi-interpretable.
In particular, there is a canonical one-to-one correspondencebetween models of Tanalysis and Tset; ω-models of Tanalysis
correspond to ω-models of Tset.
To interpret an model A � Tset within a model(N∗,A) � Tanalysis, one defines the notion of “suitable trees”,and an equivalence relation =∗ among suitable trees, and abinary relation ∈∗ among the equivalence classes of =∗ Thisyields a model A = (A,E ) of Tset; where A is the set ofequivalence classes of =∗ and E = ∈∗ .
Conversely, if A is a model of Tset, then the “standard modelof second order arithmetic” in the sense of A is a model ofTanalysis.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 42: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/42.jpg)
SET THEORETICAL COUNTERPART OF SECONDORDER ARITHMETIC-PART II
Tanalysis := Z2 + Π1∞-AC, and
Tset := ZFC\{Power}+ V = H(ℵ1) are bi-interpretable.
In particular, there is a canonical one-to-one correspondencebetween models of Tanalysis and Tset; ω-models of Tanalysis
correspond to ω-models of Tset.
To interpret an model A � Tset within a model(N∗,A) � Tanalysis, one defines the notion of “suitable trees”,and an equivalence relation =∗ among suitable trees, and abinary relation ∈∗ among the equivalence classes of =∗ Thisyields a model A = (A,E ) of Tset; where A is the set ofequivalence classes of =∗ and E = ∈∗ .Conversely, if A is a model of Tset, then the “standard modelof second order arithmetic” in the sense of A is a model ofTanalysis.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 43: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/43.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.Theorem. Z2 + Π1
∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 44: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/44.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.Theorem. Z2 + Π1
∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 45: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/45.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.Theorem. Z2 + Π1
∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 46: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/46.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.Theorem. Z2 + Π1
∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 47: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/47.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.Theorem. Z2 + Π1
∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 48: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/48.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.
Theorem. Z2 + Π1∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 49: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/49.jpg)
ACKERMANN’S EPSILON RELATION
Theorem. [Ackermann, 1940] Let E be defined by aEb iff thea-th component of the base-2 expansion of b is 1. Then
(ω,E) ∼= (Vω,∈).
Theorem. PA is bi-interpretable with ZFfin.
Models of ZFfin all “believe” that V = H(ℵ0).
Theorem. ACA0 is bi-interpretable with GBC−∞.
Models of ACA0 are of the form (M,A), where A ⊆ P(M),such that(1) For each X ∈ A, (M,X ) |= PA(X), and(2) Given A1, · · ·,An in A, if X ⊆ M is parametrically firstorder definable in (M,A1, · · ·,An), then X ∈ A.Theorem. Z2 + Π1
∞-AC is bi-interpretable with KMC−∞.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 50: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/50.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 51: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/51.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 52: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/52.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 53: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/53.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 54: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/54.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 55: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/55.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 56: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/56.jpg)
MODELS OF SET THEORY-PART I
Models of set theory are of the form M = (M,E ), where E =∈M .
M is standard if E is well-founded.
M is ω-standard if (ω,<)M ∼= (ω,<).
Proposition. Suppose M |= ZF±∞ + TC. M is nonstandardiff (Ord,∈)M is not well-founded.
Proposition. Every M has a elementary extension that isnot ω-standard.
Theorem [Keisler-Morely]. Every ω-standard countableM |= ZF has a nonstandard elementary extension that isω-standard.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 57: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/57.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 58: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/58.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 59: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/59.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 60: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/60.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 61: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/61.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 62: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/62.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 63: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/63.jpg)
MODELS OF SET THEORY-PART II
For M = (M,E ), and m ∈ M,
mE := {x ∈ M : xEm}.
X⊆ M is coded in M if X = mE for some m ∈ M.
Suppose M⊆ N = (N,F ) with m ∈ M. N is said to fix m ifmE = mF , else N enlarges m.
M⊆end N , if mE = mF for every m ∈ M.
M⊆rank N for every x ∈ N\M, and every y ∈ M,N � ρ(x) > ρ(y).
M⊆cons N if the intersection of any parametrically definablesubset of N with M is also parametrically definable in M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 64: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/64.jpg)
MODEL THEORETIC PRELIMINARIES -PART III
Proposition.(a) Rank extensions are end extensions, but not vice versa.
(b) If M�end N |= ZFC , then M⊆rank N .
(c) If M |= ZFfin and M�cons N , then M⊆end N .
Theorem [Splitting Theorem]. Suppose M ≺ N where Mis a model of ZF±∞ . There exist a model N ∗ such that
M�cofinal N ∗ �end N .
Theorem [E]. If M�cons N |= ZFC and N fixes ωM, thenM is cofinal in N .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 65: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/65.jpg)
MODEL THEORETIC PRELIMINARIES -PART III
Proposition.(a) Rank extensions are end extensions, but not vice versa.
(b) If M�end N |= ZFC , then M⊆rank N .
(c) If M |= ZFfin and M�cons N , then M⊆end N .
Theorem [Splitting Theorem]. Suppose M ≺ N where Mis a model of ZF±∞ . There exist a model N ∗ such that
M�cofinal N ∗ �end N .
Theorem [E]. If M�cons N |= ZFC and N fixes ωM, thenM is cofinal in N .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 66: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/66.jpg)
MODEL THEORETIC PRELIMINARIES -PART III
Proposition.(a) Rank extensions are end extensions, but not vice versa.
(b) If M�end N |= ZFC , then M⊆rank N .
(c) If M |= ZFfin and M�cons N , then M⊆end N .
Theorem [Splitting Theorem]. Suppose M ≺ N where Mis a model of ZF±∞ . There exist a model N ∗ such that
M�cofinal N ∗ �end N .
Theorem [E]. If M�cons N |= ZFC and N fixes ωM, thenM is cofinal in N .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 67: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/67.jpg)
MODEL THEORETIC PRELIMINARIES -PART III
Proposition.(a) Rank extensions are end extensions, but not vice versa.
(b) If M�end N |= ZFC , then M⊆rank N .
(c) If M |= ZFfin and M�cons N , then M⊆end N .
Theorem [Splitting Theorem]. Suppose M ≺ N where Mis a model of ZF±∞ . There exist a model N ∗ such that
M�cofinal N ∗ �end N .
Theorem [E]. If M�cons N |= ZFC and N fixes ωM, thenM is cofinal in N .
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 68: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/68.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 69: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/69.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 70: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/70.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 71: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/71.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 72: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/72.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 73: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/73.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 74: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/74.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 75: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/75.jpg)
KAPPA ELEMENTARY END EXTENSIONS
Theorem [Keisler-Tarski; Scott] κ is a measurable cardinal iffV ≺κ-end N for some N (note: κ = ω allowed!).
Suppose κ is a cardinal in M |= ZFC.
(a) M≺κ-end N if M≺ N and κ is end extended in thepassage from M to N , i.e., N enlarges κ but N fixes everyelement of κE (where E =∈M).
(b) M≺κ-cons-end N if M≺κ-end N , and the intersection ofany parametrically definable (or equivalently: coded) subset ofN with the ”old” elements of κ is coded in M.
(c) An ultrafilter U over the Boolean algebra PM(κ) is saidto be M-complete if for each f : κ→ λ < κ in M, f isconstant on some member of U .
(d) An M-complete ultrafilter U is M-normal if for eachregressive f : κ→ κ in M ∃α < κ f −1{α} ∈ U .
(e) An M-complete ultrafilter U is M-iterable if for eachf : κ→ κ in M {α < κ : f −1{α} ∈ U} ∈ M.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 76: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/76.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 77: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/77.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 78: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/78.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 79: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/79.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 80: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/80.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .
Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 81: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/81.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 82: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/82.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 83: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/83.jpg)
KAPPA ELEMENTARY END EXTENSIONS:KEISLER-MORLEY, KUNEN
Theorem Suppose M is a model of ZFC, κ is a cardinal ofM, and U is a nonprincipal ultrafilter over PM(κ), andMU :=Mκ/U .
(1) U is M-complete iff M≺κ-endMU .
(2) U is M-normal iff M≺κ-endMU and [id]U is the leastnew ordinal.
(3) U is M-iterable iff M≺κ-cons-end MU .Theorem. Suppose M is a countable model of ZFC and κ isa cardinal in M.
(1) κ is a regular cardinal in M iff there is an M-completeultrafilter U over PM(κ).
(2) κ is weakly compact in M iff there is an M-iterableultrafilter U over PM(κ).
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 84: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/84.jpg)
KAPPA ELEMENTARY END EXTENSIONS, CONT’D
Theorem. Suppose M is a model of ZFC, κ is a regularcardinal of M, and
∣∣PM(κ)∣∣ = ℵ0.Then M has a proper
κ-e.e.e.
Moreover, if κ is weakly compact in M, then the extensioncan be arranged to be κ-conservative.
Theorem [Kleinberg] Suppose Mis a countablewell-founded model of ZFC. κ is completely ineffable in Miff there is an ultrafilter U on PM(κ) such that U is both M-iterable and M-normal.
Theorem [E] There is no set Φ of first order sentences in thelanguage {∈, κ} such that for all countable models M ofZFC, M |= Φ iff there is an ultrafilter U on PM(κ) such thatU is both M-iterable and M-normal.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 85: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/85.jpg)
KAPPA ELEMENTARY END EXTENSIONS, CONT’D
Theorem. Suppose M is a model of ZFC, κ is a regularcardinal of M, and
∣∣PM(κ)∣∣ = ℵ0.Then M has a proper
κ-e.e.e.
Moreover, if κ is weakly compact in M, then the extensioncan be arranged to be κ-conservative.
Theorem [Kleinberg] Suppose Mis a countablewell-founded model of ZFC. κ is completely ineffable in Miff there is an ultrafilter U on PM(κ) such that U is both M-iterable and M-normal.
Theorem [E] There is no set Φ of first order sentences in thelanguage {∈, κ} such that for all countable models M ofZFC, M |= Φ iff there is an ultrafilter U on PM(κ) such thatU is both M-iterable and M-normal.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 86: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/86.jpg)
KAPPA ELEMENTARY END EXTENSIONS, CONT’D
Theorem. Suppose M is a model of ZFC, κ is a regularcardinal of M, and
∣∣PM(κ)∣∣ = ℵ0.Then M has a proper
κ-e.e.e.
Moreover, if κ is weakly compact in M, then the extensioncan be arranged to be κ-conservative.
Theorem [Kleinberg] Suppose Mis a countablewell-founded model of ZFC. κ is completely ineffable in Miff there is an ultrafilter U on PM(κ) such that U is both M-iterable and M-normal.
Theorem [E] There is no set Φ of first order sentences in thelanguage {∈, κ} such that for all countable models M ofZFC, M |= Φ iff there is an ultrafilter U on PM(κ) such thatU is both M-iterable and M-normal.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 87: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/87.jpg)
KAPPA ELEMENTARY END EXTENSIONS, CONT’D
Theorem. Suppose M is a model of ZFC, κ is a regularcardinal of M, and
∣∣PM(κ)∣∣ = ℵ0.Then M has a proper
κ-e.e.e.
Moreover, if κ is weakly compact in M, then the extensioncan be arranged to be κ-conservative.
Theorem [Kleinberg] Suppose Mis a countablewell-founded model of ZFC. κ is completely ineffable in Miff there is an ultrafilter U on PM(κ) such that U is both M-iterable and M-normal.
Theorem [E] There is no set Φ of first order sentences in thelanguage {∈, κ} such that for all countable models M ofZFC, M |= Φ iff there is an ultrafilter U on PM(κ) such thatU is both M-iterable and M-normal.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 88: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/88.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWS
Theorem [MacDowell-Specker, Gaifman, Phillips]
(a) Every model M of ZF−∞ + TC has an e.e.e N .
(b) Moreover, N can be required to be a minimal andconservative extension of M.
Theorem [Keisler-Morley] Every model of ZF of countablecofinality has an e.e.e of any prescribed cardinality.
Theorem [Knight, Schmerl-Kossak, E] Every countablemodel of ZF−∞ + TC has continuum-many superminimale.e.e.’s.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 89: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/89.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWS
Theorem [MacDowell-Specker, Gaifman, Phillips]
(a) Every model M of ZF−∞ + TC has an e.e.e N .
(b) Moreover, N can be required to be a minimal andconservative extension of M.
Theorem [Keisler-Morley] Every model of ZF of countablecofinality has an e.e.e of any prescribed cardinality.
Theorem [Knight, Schmerl-Kossak, E] Every countablemodel of ZF−∞ + TC has continuum-many superminimale.e.e.’s.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 90: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/90.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWS
Theorem [MacDowell-Specker, Gaifman, Phillips]
(a) Every model M of ZF−∞ + TC has an e.e.e N .
(b) Moreover, N can be required to be a minimal andconservative extension of M.
Theorem [Keisler-Morley] Every model of ZF of countablecofinality has an e.e.e of any prescribed cardinality.
Theorem [Knight, Schmerl-Kossak, E] Every countablemodel of ZF−∞ + TC has continuum-many superminimale.e.e.’s.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 91: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/91.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWS
Theorem [MacDowell-Specker, Gaifman, Phillips]
(a) Every model M of ZF−∞ + TC has an e.e.e N .
(b) Moreover, N can be required to be a minimal andconservative extension of M.
Theorem [Keisler-Morley] Every model of ZF of countablecofinality has an e.e.e of any prescribed cardinality.
Theorem [Knight, Schmerl-Kossak, E] Every countablemodel of ZF−∞ + TC has continuum-many superminimale.e.e.’s.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 92: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/92.jpg)
ELEMENTARY END EXTENSIONS: ”BAD” NEWS
Theorem [Keisler-Silver] If κ is the first inaccessible cardinal,then (Vκ,∈) has no e.e.e.
Theorem [Kaufmann-E] No model of ZFC has a conservativee.e.e.
Theorem [Kaufmann-E] Every consistent extension of ZFChas a model M of power ℵ1 such that M has no e.e.e.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 93: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/93.jpg)
ELEMENTARY END EXTENSIONS: ”BAD” NEWS
Theorem [Keisler-Silver] If κ is the first inaccessible cardinal,then (Vκ,∈) has no e.e.e.
Theorem [Kaufmann-E] No model of ZFC has a conservativee.e.e.
Theorem [Kaufmann-E] Every consistent extension of ZFChas a model M of power ℵ1 such that M has no e.e.e.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 94: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/94.jpg)
ELEMENTARY END EXTENSIONS: ”BAD” NEWS
Theorem [Keisler-Silver] If κ is the first inaccessible cardinal,then (Vκ,∈) has no e.e.e.
Theorem [Kaufmann-E] No model of ZFC has a conservativee.e.e.
Theorem [Kaufmann-E] Every consistent extension of ZFChas a model M of power ℵ1 such that M has no e.e.e.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 95: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/95.jpg)
ELEMENTARY END EXTENSIONS: ”BAD” NEWS
Theorem [Keisler-Silver] If κ is the first inaccessible cardinal,then (Vκ,∈) has no e.e.e.
Theorem [Kaufmann-E] No model of ZFC has a conservativee.e.e.
Theorem [Kaufmann-E] Every consistent extension of ZFChas a model M of power ℵ1 such that M has no e.e.e.
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 96: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/96.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWSREGAINED
Theorem [Kaufmann-E] The following are equivalent for aconsistent complete extension T of ZF C :(a) T can be expanded to a consistent theory T ∗ in anextended countable language L such that ZFC(L) ⊆ T ∗ andevery model of T ∗has an e.e.e.(b) For each natural number n,T ` ∃κ(κ is n-Mahlo and Vκ ≺Σn V).
Levy Scheme:Λ := {(∃κ(κ is n−Mahlo and Vκ ≺Σn V) :n < ω}SLOGAN: ZFC + Λ is the weakest extension of ZFC thatallows infinite set theory to model-theoretically catch-up withfinite set theory!
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 97: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/97.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWSREGAINED
Theorem [Kaufmann-E] The following are equivalent for aconsistent complete extension T of ZF C :(a) T can be expanded to a consistent theory T ∗ in anextended countable language L such that ZFC(L) ⊆ T ∗ andevery model of T ∗has an e.e.e.(b) For each natural number n,T ` ∃κ(κ is n-Mahlo and Vκ ≺Σn V).
Levy Scheme:Λ := {(∃κ(κ is n−Mahlo and Vκ ≺Σn V) :n < ω}SLOGAN: ZFC + Λ is the weakest extension of ZFC thatallows infinite set theory to model-theoretically catch-up withfinite set theory!
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 98: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/98.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWSREGAINED
Theorem [Kaufmann-E] The following are equivalent for aconsistent complete extension T of ZF C :(a) T can be expanded to a consistent theory T ∗ in anextended countable language L such that ZFC(L) ⊆ T ∗ andevery model of T ∗has an e.e.e.(b) For each natural number n,T ` ∃κ(κ is n-Mahlo and Vκ ≺Σn V).
Levy Scheme:Λ := {(∃κ(κ is n−Mahlo and Vκ ≺Σn V) :n < ω}
SLOGAN: ZFC + Λ is the weakest extension of ZFC thatallows infinite set theory to model-theoretically catch-up withfinite set theory!
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS
![Page 99: ARITHMETIC, SET THEORY, AND THEIR MODELS...ARITHMETIC, SET THEORY, AND THEIR MODELS PART ONE: END EXTENSIONS Ali Enayat YOUNG SET THEORY WORKSHOP KONIGSWINTER, MARCH 21-25, 2011 Ali](https://reader036.vdocuments.net/reader036/viewer/2022063018/5fdb15d5946e34395b739e93/html5/thumbnails/99.jpg)
ELEMENTARY END EXTENSIONS: ”GOOD” NEWSREGAINED
Theorem [Kaufmann-E] The following are equivalent for aconsistent complete extension T of ZF C :(a) T can be expanded to a consistent theory T ∗ in anextended countable language L such that ZFC(L) ⊆ T ∗ andevery model of T ∗has an e.e.e.(b) For each natural number n,T ` ∃κ(κ is n-Mahlo and Vκ ≺Σn V).
Levy Scheme:Λ := {(∃κ(κ is n−Mahlo and Vκ ≺Σn V) :n < ω}SLOGAN: ZFC + Λ is the weakest extension of ZFC thatallows infinite set theory to model-theoretically catch-up withfinite set theory!
Ali Enayat ARITHMETIC, SET THEORY, AND THEIR MODELS