the tennenbaum phenomenon for computable quotient
TRANSCRIPT
![Page 1: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/1.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The Tennenbaum phenomenon forcomputable quotient presentations of models
of arithmetic and set theory
Joel David HamkinsProfessor of Logic
Sir Peter Strawson Fellow
University of OxfordUniversity College, Oxford
Model Theory and Philosophy of MathematicsFudan University, Shanghai
21-24 August 2021
Computable quotient presentations Joel David Hamkins
![Page 2: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/2.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
This is joint work with Michał Tomasz Godziszewski, a fun littleproject.
[GH17] M. T. Godziszewski and J. D. Hamkins, “Computable QuotientPresentations of Models of Arithmetic and Set Theory,” in ProceedingsWoLLIC 2017, Springer, 2017, p. 140–152.10.1007/978-3-662-55386-2 10, arXiv:1702.08350, blog post.
Computable quotient presentations Joel David Hamkins
![Page 3: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/3.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The Tennenbaum phenomenonTennenbaum famously answered a very natural question.
Natural Question
Is there a computable nonstandard model of arithmetic?
We would seek computable operations ⊕ and � for which
〈N,⊕,�〉
is a nonstandard model of PA.
Nonstandard analysis, but computably.
There answer is no, there is no such model.
Computable quotient presentations Joel David Hamkins
![Page 4: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/4.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The Tennenbaum phenomenonTennenbaum famously answered a very natural question.
Natural Question
Is there a computable nonstandard model of arithmetic?
We would seek computable operations ⊕ and � for which
〈N,⊕,�〉
is a nonstandard model of PA.
Nonstandard analysis, but computably.
There answer is no, there is no such model.
Computable quotient presentations Joel David Hamkins
![Page 5: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/5.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The Tennenbaum phenomenonTennenbaum famously answered a very natural question.
Natural Question
Is there a computable nonstandard model of arithmetic?
We would seek computable operations ⊕ and � for which
〈N,⊕,�〉
is a nonstandard model of PA.
Nonstandard analysis, but computably.
There answer is no, there is no such model.
Computable quotient presentations Joel David Hamkins
![Page 6: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/6.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The Tennenbaum phenomenonTennenbaum famously answered a very natural question.
Natural Question
Is there a computable nonstandard model of arithmetic?
We would seek computable operations ⊕ and � for which
〈N,⊕,�〉
is a nonstandard model of PA.
Nonstandard analysis, but computably.
There answer is no, there is no such model.
Computable quotient presentations Joel David Hamkins
![Page 7: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/7.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets. Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 8: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/8.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets. Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 9: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/9.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets.
Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 10: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/10.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets. Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 11: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/11.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets. Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 12: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/12.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets. Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 13: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/13.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum’s theorem
Theorem (Tennenbaum)
There is no computable nonstandard model of PA.
Proof.
Suppose M = 〈N,⊕,�〉 is a computable nonstandard model of PA.
Let A and B be computably inseparable c.e. sets. Interpret inside M.
By overspill, exists nonstandard time t with AMt and BM
t disjoint.
Can compute n ∈ AMt for standard n.
The set of standard n in AMt is a computable separation of A and B,
contradiction.
Computable quotient presentations Joel David Hamkins
![Page 14: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/14.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theory
Natural Question
Is there a computable model of ZFC?
We would seek a computable relation ε such that 〈N, ε〉 |= ZFC.
Again the answer is no.
And there is no nonstandardness requirement for the set theorycase.
Computable quotient presentations Joel David Hamkins
![Page 15: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/15.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theory
Natural Question
Is there a computable model of ZFC?
We would seek a computable relation ε such that 〈N, ε〉 |= ZFC.
Again the answer is no.
And there is no nonstandardness requirement for the set theorycase.
Computable quotient presentations Joel David Hamkins
![Page 16: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/16.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theory
Natural Question
Is there a computable model of ZFC?
We would seek a computable relation ε such that 〈N, ε〉 |= ZFC.
Again the answer is no.
And there is no nonstandardness requirement for the set theorycase.
Computable quotient presentations Joel David Hamkins
![Page 17: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/17.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 18: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/18.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 19: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/19.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 20: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/20.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 21: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/21.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 22: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/22.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 23: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/23.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Tennenbaum for set theoryTheorem (Tennenbaum)
There is no computable model of ZF set theory.
Proof.
Suppose M = 〈N, ε〉 is a computable model of ZF.
Fix A and B computable inseparable c.e. sets.
Interpret in M.
In M, let C be the set of n put into AM before BM .
Subtle issue: the map n 7→ nM is computable.
So C provides a computable separation, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 24: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/24.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Generalizing Tennenbaum
We are interested in various generalizations of theTennenbaum phenomenon.
Computable quotient presentations Joel David Hamkins
![Page 25: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/25.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computable quotient presentations
A computable quotient presentation of a structure A is acomputable structure 〈N, ?, ∗, · · · 〉 together with an equivalencerelation E such that
A ∼= 〈N, ?, ∗, · · · 〉/E .
We do not insist that E is computable.
We may consider computable quotient presentations of graphs,groups, orders, and so on.
In a language with relations, it is natural to consider computablyenumerable quotient presentations, which allow thepre-quotient relation to be merely c.e.
Computable quotient presentations Joel David Hamkins
![Page 26: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/26.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computable quotient presentations
A computable quotient presentation of a structure A is acomputable structure 〈N, ?, ∗, · · · 〉 together with an equivalencerelation E such that
A ∼= 〈N, ?, ∗, · · · 〉/E .
We do not insist that E is computable.
We may consider computable quotient presentations of graphs,groups, orders, and so on.
In a language with relations, it is natural to consider computablyenumerable quotient presentations, which allow thepre-quotient relation to be merely c.e.
Computable quotient presentations Joel David Hamkins
![Page 27: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/27.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computable quotient presentations
A computable quotient presentation of a structure A is acomputable structure 〈N, ?, ∗, · · · 〉 together with an equivalencerelation E such that
A ∼= 〈N, ?, ∗, · · · 〉/E .
We do not insist that E is computable.
We may consider computable quotient presentations of graphs,groups, orders, and so on.
In a language with relations, it is natural to consider computablyenumerable quotient presentations, which allow thepre-quotient relation to be merely c.e.
Computable quotient presentations Joel David Hamkins
![Page 28: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/28.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computable quotient presentations
A computable quotient presentation of a structure A is acomputable structure 〈N, ?, ∗, · · · 〉 together with an equivalencerelation E such that
A ∼= 〈N, ?, ∗, · · · 〉/E .
We do not insist that E is computable.
We may consider computable quotient presentations of graphs,groups, orders, and so on.
In a language with relations, it is natural to consider computablyenumerable quotient presentations, which allow thepre-quotient relation to be merely c.e.
Computable quotient presentations Joel David Hamkins
![Page 29: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/29.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Khoussainov’s Program
Bakhadyr Khoussainov [Kho16] outlined a sweeping vision forcomputable quotient presentations.
He proposes them as a fruitful alternative approach tocomputable model theory.
Computable quotient presentations Joel David Hamkins
![Page 30: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/30.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Khoussainov’s Program
Bakhadyr Khoussainov [Kho16] outlined a sweeping vision forcomputable quotient presentations.
He proposes them as a fruitful alternative approach tocomputable model theory.
Computable quotient presentations Joel David Hamkins
![Page 31: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/31.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Philosophical attitude to identityQuotient presentations offer a different attitude toward identity.
Computable presentations
In computable structures 〈N, . . .〉, we get automatic computability ofthe identity relation a = b.
Distinct numbers n,m represent distinct elements of the structure.
Computable quotient presentation
In quotient structures 〈N, . . .〉/E , however, we can’t necessarily tellwhether n and m will represent the same or different objects in thequotient.
Part of the attraction of quotient presentations is to loosen thecomputational grip on the identity relation.
Computable quotient presentations Joel David Hamkins
![Page 32: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/32.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Philosophical attitude to identityQuotient presentations offer a different attitude toward identity.
Computable presentations
In computable structures 〈N, . . .〉, we get automatic computability ofthe identity relation a = b.
Distinct numbers n,m represent distinct elements of the structure.
Computable quotient presentation
In quotient structures 〈N, . . .〉/E , however, we can’t necessarily tellwhether n and m will represent the same or different objects in thequotient.
Part of the attraction of quotient presentations is to loosen thecomputational grip on the identity relation.
Computable quotient presentations Joel David Hamkins
![Page 33: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/33.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Philosophical attitude to identityQuotient presentations offer a different attitude toward identity.
Computable presentations
In computable structures 〈N, . . .〉, we get automatic computability ofthe identity relation a = b.
Distinct numbers n,m represent distinct elements of the structure.
Computable quotient presentation
In quotient structures 〈N, . . .〉/E , however, we can’t necessarily tellwhether n and m will represent the same or different objects in thequotient.
Part of the attraction of quotient presentations is to loosen thecomputational grip on the identity relation.
Computable quotient presentations Joel David Hamkins
![Page 34: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/34.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Philosophical attitude to identityQuotient presentations offer a different attitude toward identity.
Computable presentations
In computable structures 〈N, . . .〉, we get automatic computability ofthe identity relation a = b.
Distinct numbers n,m represent distinct elements of the structure.
Computable quotient presentation
In quotient structures 〈N, . . .〉/E , however, we can’t necessarily tellwhether n and m will represent the same or different objects in thequotient.
Part of the attraction of quotient presentations is to loosen thecomputational grip on the identity relation.
Computable quotient presentations Joel David Hamkins
![Page 35: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/35.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Philosophical attitude to identityQuotient presentations offer a different attitude toward identity.
Computable presentations
In computable structures 〈N, . . .〉, we get automatic computability ofthe identity relation a = b.
Distinct numbers n,m represent distinct elements of the structure.
Computable quotient presentation
In quotient structures 〈N, . . .〉/E , however, we can’t necessarily tellwhether n and m will represent the same or different objects in thequotient.
Part of the attraction of quotient presentations is to loosen thecomputational grip on the identity relation.
Computable quotient presentations Joel David Hamkins
![Page 36: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/36.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Philosophical attitude to identityQuotient presentations offer a different attitude toward identity.
Computable presentations
In computable structures 〈N, . . .〉, we get automatic computability ofthe identity relation a = b.
Distinct numbers n,m represent distinct elements of the structure.
Computable quotient presentation
In quotient structures 〈N, . . .〉/E , however, we can’t necessarily tellwhether n and m will represent the same or different objects in thequotient.
Part of the attraction of quotient presentations is to loosen thecomputational grip on the identity relation.
Computable quotient presentations Joel David Hamkins
![Page 37: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/37.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Khoussainov ConjecturesKhoussainov made two conjectures at 2016 RIMS in Kyoto.
Conjecture (Khoussainov)
1 No nonstandard model of arithmetic admits a computablequotient presentation by a computably enumerableequivalence relation on the natural numbers.
2 Some nonstandard model of arithmetic admits acomputable quotient presentation by a co-c.e. equivalencerelation.
In this talk, I shall prove the first conjecture and refute severalnatural variations of the second conjecture, including thenatural analogues in set theory.
Some variations remains open.
Computable quotient presentations Joel David Hamkins
![Page 38: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/38.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Khoussainov ConjecturesKhoussainov made two conjectures at 2016 RIMS in Kyoto.
Conjecture (Khoussainov)
1 No nonstandard model of arithmetic admits a computablequotient presentation by a computably enumerableequivalence relation on the natural numbers.
2 Some nonstandard model of arithmetic admits acomputable quotient presentation by a co-c.e. equivalencerelation.
In this talk, I shall prove the first conjecture and refute severalnatural variations of the second conjecture, including thenatural analogues in set theory.
Some variations remains open.
Computable quotient presentations Joel David Hamkins
![Page 39: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/39.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Khoussainov ConjecturesKhoussainov made two conjectures at 2016 RIMS in Kyoto.
Conjecture (Khoussainov)
1 No nonstandard model of arithmetic admits a computablequotient presentation by a computably enumerableequivalence relation on the natural numbers.
2 Some nonstandard model of arithmetic admits acomputable quotient presentation by a co-c.e. equivalencerelation.
In this talk, I shall prove the first conjecture and refute severalnatural variations of the second conjecture, including thenatural analogues in set theory.
Some variations remains open.
Computable quotient presentations Joel David Hamkins
![Page 40: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/40.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Khoussainov ConjecturesKhoussainov made two conjectures at 2016 RIMS in Kyoto.
Conjecture (Khoussainov)
1 No nonstandard model of arithmetic admits a computablequotient presentation by a computably enumerableequivalence relation on the natural numbers.
2 Some nonstandard model of arithmetic admits acomputable quotient presentation by a co-c.e. equivalencerelation.
In this talk, I shall prove the first conjecture and refute severalnatural variations of the second conjecture, including thenatural analogues in set theory.
Some variations remains open.Computable quotient presentations Joel David Hamkins
![Page 41: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/41.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 42: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/42.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 43: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/43.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 44: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/44.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 45: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/45.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 46: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/46.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 47: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/47.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Every theory has quotient presentations
Background observation
Every consistent c.e. theory T in a functional language admits acomputable quotient presentation by an equivalence relation E of lowTuring degree.
Proof.
Consider Henkin construction, the effective completeness theorem.
Add Henkin witnesses, build tree of attempts to complete the theory.
Key point: the term algebra is computable.
The equivalence E is determined by the path through the tree.
Slogan: the Henkin model is a quotient of the term algegra.
Computable quotient presentations Joel David Hamkins
![Page 48: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/48.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Fundamental fact of universal algebra
Every algebraic structure is a quotient of the associated termalgebra on a sufficient number of generators.
Every countable group is a quotient of the free group oncountably many generators.Every countable algebra is quotient of the term algebra.
For this reason, quotient presentations are often especiallyrelevant for universal algebra, that is, in purely functionallanguages.
Computable quotient presentations Joel David Hamkins
![Page 49: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/49.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Fundamental fact of universal algebra
Every algebraic structure is a quotient of the associated termalgebra on a sufficient number of generators.
Every countable group is a quotient of the free group oncountably many generators.
Every countable algebra is quotient of the term algebra.
For this reason, quotient presentations are often especiallyrelevant for universal algebra, that is, in purely functionallanguages.
Computable quotient presentations Joel David Hamkins
![Page 50: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/50.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Fundamental fact of universal algebra
Every algebraic structure is a quotient of the associated termalgebra on a sufficient number of generators.
Every countable group is a quotient of the free group oncountably many generators.Every countable algebra is quotient of the term algebra.
For this reason, quotient presentations are often especiallyrelevant for universal algebra, that is, in purely functionallanguages.
Computable quotient presentations Joel David Hamkins
![Page 51: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/51.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Fundamental fact of universal algebra
Every algebraic structure is a quotient of the associated termalgebra on a sufficient number of generators.
Every countable group is a quotient of the free group oncountably many generators.Every countable algebra is quotient of the term algebra.
For this reason, quotient presentations are often especiallyrelevant for universal algebra, that is, in purely functionallanguages.
Computable quotient presentations Joel David Hamkins
![Page 52: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/52.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The term algebra
In a functional language, the term algebra is computable:applying a function to a term produces another term.
The difficulty is identity—to decide when two terms are equal.
The domain problem (Khoussainov)
For which equivalence relations E can a structure have acomputable presentation on domain N/E?
Problems arrive when the language has relation symbols.
Computable quotient presentations Joel David Hamkins
![Page 53: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/53.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The term algebra
In a functional language, the term algebra is computable:applying a function to a term produces another term.
The difficulty is identity—to decide when two terms are equal.
The domain problem (Khoussainov)
For which equivalence relations E can a structure have acomputable presentation on domain N/E?
Problems arrive when the language has relation symbols.
Computable quotient presentations Joel David Hamkins
![Page 54: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/54.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The term algebra
In a functional language, the term algebra is computable:applying a function to a term produces another term.
The difficulty is identity—to decide when two terms are equal.
The domain problem (Khoussainov)
For which equivalence relations E can a structure have acomputable presentation on domain N/E?
Problems arrive when the language has relation symbols.
Computable quotient presentations Joel David Hamkins
![Page 55: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/55.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
The term algebra
In a functional language, the term algebra is computable:applying a function to a term produces another term.
The difficulty is identity—to decide when two terms are equal.
The domain problem (Khoussainov)
For which equivalence relations E can a structure have acomputable presentation on domain N/E?
Problems arrive when the language has relation symbols.
Computable quotient presentations Joel David Hamkins
![Page 56: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/56.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable equivalence relations
We prove that Khoussainov’s first conjecture is true.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic has a computable quotientpresentation by a c.e. equivalence relation.
We shall prove this even in the restricted (but fully expressive)language {+, ·}.
There is no computable structure 〈N,⊕,�〉 and a c.e. relation Efor which 〈N,⊕,�〉/E is a nonstandard model of arithmetic.
Computable quotient presentations Joel David Hamkins
![Page 57: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/57.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable equivalence relations
We prove that Khoussainov’s first conjecture is true.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic has a computable quotientpresentation by a c.e. equivalence relation.
We shall prove this even in the restricted (but fully expressive)language {+, ·}.
There is no computable structure 〈N,⊕,�〉 and a c.e. relation Efor which 〈N,⊕,�〉/E is a nonstandard model of arithmetic.
Computable quotient presentations Joel David Hamkins
![Page 58: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/58.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable equivalence relations
We prove that Khoussainov’s first conjecture is true.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic has a computable quotientpresentation by a c.e. equivalence relation.
We shall prove this even in the restricted (but fully expressive)language {+, ·}.
There is no computable structure 〈N,⊕,�〉 and a c.e. relation Efor which 〈N,⊕,�〉/E is a nonstandard model of arithmetic.
Computable quotient presentations Joel David Hamkins
![Page 59: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/59.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 60: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/60.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 61: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/61.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 62: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/62.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 63: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/63.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 64: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/64.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 65: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/65.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 66: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/66.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof
Suppose 〈N,⊕,�〉/E is a computable quotient presentation of anonstandard model of PA, with E c.e.
Let 0̄, 1̄ represent 0, 1. We can compute n̄ = 1̄⊕ · · · ⊕ 1̄.
Fix A, B computably inseparable c.e. sets.
Run the programs inside the model. So there is finite set C in themodel containing actual A, disjoint from actual B.
Code C with c via prime-product coding. So n ∈ C ↔ pn | c.
Let b code the complement of C up to a nonstandard height.
For any n, we search for x such that x � p̄n E c or x � p̄n E b.
This is a computable separation of A and B, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 67: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/67.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Only need ⊕ computable
By replacing x � p̄n with x ⊕ x ⊕ · · · ⊕ x , using pn many factors,we may deduce Tennenbaum-style that ⊕ is not computable.
That is, we only require ⊕ to be computable, not both � and ⊕.
Computable quotient presentations Joel David Hamkins
![Page 68: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/68.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Only need ⊕ computable
By replacing x � p̄n with x ⊕ x ⊕ · · · ⊕ x , using pn many factors,we may deduce Tennenbaum-style that ⊕ is not computable.
That is, we only require ⊕ to be computable, not both � and ⊕.
Computable quotient presentations Joel David Hamkins
![Page 69: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/69.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proofConsider the standard system of nonstandard model M, thecollection of sets A ⊆ N arising as standard part of a set codedin M.
For example, all the sets Ac = {n ∈ N | M |= p̄n | c }.
Dana Scott observed that every standard system has everycomputable set, is closed under relative computability, and forevery infinite binary tree coded by a set in the system, there isan infinite branch also in the system.
It follows that every standard system must have some non-c.e.sets.
But our argument above showed that if E is c.e., then every setin the standard system is c.e., contradiction.
Computable quotient presentations Joel David Hamkins
![Page 70: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/70.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proofConsider the standard system of nonstandard model M, thecollection of sets A ⊆ N arising as standard part of a set codedin M.
For example, all the sets Ac = {n ∈ N | M |= p̄n | c }.
Dana Scott observed that every standard system has everycomputable set, is closed under relative computability, and forevery infinite binary tree coded by a set in the system, there isan infinite branch also in the system.
It follows that every standard system must have some non-c.e.sets.
But our argument above showed that if E is c.e., then every setin the standard system is c.e., contradiction.
Computable quotient presentations Joel David Hamkins
![Page 71: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/71.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proofConsider the standard system of nonstandard model M, thecollection of sets A ⊆ N arising as standard part of a set codedin M.
For example, all the sets Ac = {n ∈ N | M |= p̄n | c }.
Dana Scott observed that every standard system has everycomputable set, is closed under relative computability, and forevery infinite binary tree coded by a set in the system, there isan infinite branch also in the system.
It follows that every standard system must have some non-c.e.sets.
But our argument above showed that if E is c.e., then every setin the standard system is c.e., contradiction.
Computable quotient presentations Joel David Hamkins
![Page 72: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/72.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proofConsider the standard system of nonstandard model M, thecollection of sets A ⊆ N arising as standard part of a set codedin M.
For example, all the sets Ac = {n ∈ N | M |= p̄n | c }.
Dana Scott observed that every standard system has everycomputable set, is closed under relative computability, and forevery infinite binary tree coded by a set in the system, there isan infinite branch also in the system.
It follows that every standard system must have some non-c.e.sets.
But our argument above showed that if E is c.e., then every setin the standard system is c.e., contradiction.
Computable quotient presentations Joel David Hamkins
![Page 73: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/73.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proofConsider the standard system of nonstandard model M, thecollection of sets A ⊆ N arising as standard part of a set codedin M.
For example, all the sets Ac = {n ∈ N | M |= p̄n | c }.
Dana Scott observed that every standard system has everycomputable set, is closed under relative computability, and forevery infinite binary tree coded by a set in the system, there isan infinite branch also in the system.
It follows that every standard system must have some non-c.e.sets.
But our argument above showed that if E is c.e., then every setin the standard system is c.e., contradiction.
Computable quotient presentations Joel David Hamkins
![Page 74: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/74.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Full language of arithmetic
Let us now consider the problem in the usual language ofarithmetic {+, ·,0,1, < }.
For computable quotient presentations, it is much too strong toinsist that < is computable, for then we could compute =.
So we shall consider weaker notions, such as c.e. quotientpresentations 〈N,⊕,�,0,1,C〉/E , where C is merely c.e.
We shall also consider the language with the reflexive order{+, ·,0,1,≤}.
Computable quotient presentations Joel David Hamkins
![Page 75: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/75.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Full language of arithmetic
Let us now consider the problem in the usual language ofarithmetic {+, ·,0,1, < }.
For computable quotient presentations, it is much too strong toinsist that < is computable, for then we could compute =.
So we shall consider weaker notions, such as c.e. quotientpresentations 〈N,⊕,�,0,1,C〉/E , where C is merely c.e.
We shall also consider the language with the reflexive order{+, ·,0,1,≤}.
Computable quotient presentations Joel David Hamkins
![Page 76: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/76.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Full language of arithmetic
Let us now consider the problem in the usual language ofarithmetic {+, ·,0,1, < }.
For computable quotient presentations, it is much too strong toinsist that < is computable, for then we could compute =.
So we shall consider weaker notions, such as c.e. quotientpresentations 〈N,⊕,�,0,1,C〉/E , where C is merely c.e.
We shall also consider the language with the reflexive order{+, ·,0,1,≤}.
Computable quotient presentations Joel David Hamkins
![Page 77: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/77.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Full language of arithmetic
Let us now consider the problem in the usual language ofarithmetic {+, ·,0,1, < }.
For computable quotient presentations, it is much too strong toinsist that < is computable, for then we could compute =.
So we shall consider weaker notions, such as c.e. quotientpresentations 〈N,⊕,�,0,1,C〉/E , where C is merely c.e.
We shall also consider the language with the reflexive order{+, ·,0,1,≤}.
Computable quotient presentations Joel David Hamkins
![Page 78: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/78.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Automatic c.e. or co-c.e.
Lemma
Suppose that E is an equivalence relation on the naturalnumbers.
1 If C is computable and 〈N,C〉/E is a strict linear order,then E is computable.
2 If C is c.e. and 〈N,C〉/E is a strict linear order, then E isco-c.e.
3 If E is computable 〈N,E〉/E is linear order, then E iscomputable.
4 If E is c.e. and 〈N,E〉/E is linear order, then E is c.e.
Computable quotient presentations Joel David Hamkins
![Page 79: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/79.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Automatic c.e. or co-c.e.
Lemma
Suppose that E is an equivalence relation on the naturalnumbers.
1 If C is computable and 〈N,C〉/E is a strict linear order,then E is computable.
2 If C is c.e. and 〈N,C〉/E is a strict linear order, then E isco-c.e.
3 If E is computable 〈N,E〉/E is linear order, then E iscomputable.
4 If E is c.e. and 〈N,E〉/E is linear order, then E is c.e.
Computable quotient presentations Joel David Hamkins
![Page 80: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/80.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Automatic c.e. or co-c.e.
Lemma
Suppose that E is an equivalence relation on the naturalnumbers.
1 If C is computable and 〈N,C〉/E is a strict linear order,then E is computable.
2 If C is c.e. and 〈N,C〉/E is a strict linear order, then E isco-c.e.
3 If E is computable 〈N,E〉/E is linear order, then E iscomputable.
4 If E is c.e. and 〈N,E〉/E is linear order, then E is c.e.
Computable quotient presentations Joel David Hamkins
![Page 81: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/81.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Automatic c.e. or co-c.e.
Lemma
Suppose that E is an equivalence relation on the naturalnumbers.
1 If C is computable and 〈N,C〉/E is a strict linear order,then E is computable.
2 If C is c.e. and 〈N,C〉/E is a strict linear order, then E isco-c.e.
3 If E is computable 〈N,E〉/E is linear order, then E iscomputable.
4 If E is c.e. and 〈N,E〉/E is linear order, then E is c.e.
Computable quotient presentations Joel David Hamkins
![Page 82: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/82.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable quotient presentations
Theorem (Godziszewski, Hamkins)
No nonstandard model of PA in the language {+, ·,0,1, < }admits a c.e. quotient presentation by a c.e. relation E.
Proof.
Suppose E is c.e. and 〈N,⊕,�, 0̄, 1̄,C〉/E is a c.e. quotientpresentation of nonstandard model of PA.
By the lemma, E is also co-c.e., hence computable. Now pickrepresentatives, violate Tennenbaum.
Alternative: ignore < and apply earlier theorem.
Computable quotient presentations Joel David Hamkins
![Page 83: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/83.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable quotient presentations
Theorem (Godziszewski, Hamkins)
No nonstandard model of PA in the language {+, ·,0,1, < }admits a c.e. quotient presentation by a c.e. relation E.
Proof.
Suppose E is c.e. and 〈N,⊕,�, 0̄, 1̄,C〉/E is a c.e. quotientpresentation of nonstandard model of PA.
By the lemma, E is also co-c.e., hence computable. Now pickrepresentatives, violate Tennenbaum.
Alternative: ignore < and apply earlier theorem.
Computable quotient presentations Joel David Hamkins
![Page 84: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/84.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable quotient presentations
Theorem (Godziszewski, Hamkins)
No nonstandard model of PA in the language {+, ·,0,1, < }admits a c.e. quotient presentation by a c.e. relation E.
Proof.
Suppose E is c.e. and 〈N,⊕,�, 0̄, 1̄,C〉/E is a c.e. quotientpresentation of nonstandard model of PA.
By the lemma, E is also co-c.e., hence computable. Now pickrepresentatives, violate Tennenbaum.
Alternative: ignore < and apply earlier theorem.
Computable quotient presentations Joel David Hamkins
![Page 85: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/85.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable quotient presentations
Theorem (Godziszewski, Hamkins)
No nonstandard model of PA in the language {+, ·,0,1, < }admits a c.e. quotient presentation by a c.e. relation E.
Proof.
Suppose E is c.e. and 〈N,⊕,�, 0̄, 1̄,C〉/E is a c.e. quotientpresentation of nonstandard model of PA.
By the lemma, E is also co-c.e., hence computable. Now pickrepresentatives, violate Tennenbaum.
Alternative: ignore < and apply earlier theorem.
Computable quotient presentations Joel David Hamkins
![Page 86: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/86.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Refuting Khoussainov’s second conjectureThe conjecture: some nonstandard model of arithmetic hascomputable quotient presentation with co-c.e. E .
Let us refute this for PA in the language {+, ·,≤}, even forc.e. quotient presentations.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic in {+, ·,≤} has a c.e. quotientpresentation by any equivalence relation, of any complexity.
Proof.
Suppose 〈N,⊕,�,E〉/E works.
By the lemma, E must be c.e.
So this reduces to the first theorem.
Computable quotient presentations Joel David Hamkins
![Page 87: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/87.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Refuting Khoussainov’s second conjectureThe conjecture: some nonstandard model of arithmetic hascomputable quotient presentation with co-c.e. E .
Let us refute this for PA in the language {+, ·,≤}, even forc.e. quotient presentations.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic in {+, ·,≤} has a c.e. quotientpresentation by any equivalence relation, of any complexity.
Proof.
Suppose 〈N,⊕,�,E〉/E works.
By the lemma, E must be c.e.
So this reduces to the first theorem.
Computable quotient presentations Joel David Hamkins
![Page 88: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/88.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Refuting Khoussainov’s second conjectureThe conjecture: some nonstandard model of arithmetic hascomputable quotient presentation with co-c.e. E .
Let us refute this for PA in the language {+, ·,≤}, even forc.e. quotient presentations.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic in {+, ·,≤} has a c.e. quotientpresentation by any equivalence relation, of any complexity.
Proof.
Suppose 〈N,⊕,�,E〉/E works.
By the lemma, E must be c.e.
So this reduces to the first theorem.
Computable quotient presentations Joel David Hamkins
![Page 89: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/89.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Refuting Khoussainov’s second conjectureThe conjecture: some nonstandard model of arithmetic hascomputable quotient presentation with co-c.e. E .
Let us refute this for PA in the language {+, ·,≤}, even forc.e. quotient presentations.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic in {+, ·,≤} has a c.e. quotientpresentation by any equivalence relation, of any complexity.
Proof.
Suppose 〈N,⊕,�,E〉/E works.
By the lemma, E must be c.e.
So this reduces to the first theorem.
Computable quotient presentations Joel David Hamkins
![Page 90: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/90.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Refuting Khoussainov’s second conjectureThe conjecture: some nonstandard model of arithmetic hascomputable quotient presentation with co-c.e. E .
Let us refute this for PA in the language {+, ·,≤}, even forc.e. quotient presentations.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic in {+, ·,≤} has a c.e. quotientpresentation by any equivalence relation, of any complexity.
Proof.
Suppose 〈N,⊕,�,E〉/E works.
By the lemma, E must be c.e.
So this reduces to the first theorem.
Computable quotient presentations Joel David Hamkins
![Page 91: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/91.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Refuting Khoussainov’s second conjectureThe conjecture: some nonstandard model of arithmetic hascomputable quotient presentation with co-c.e. E .
Let us refute this for PA in the language {+, ·,≤}, even forc.e. quotient presentations.
Theorem (Godziszewski, Hamkins)
No nonstandard model of arithmetic in {+, ·,≤} has a c.e. quotientpresentation by any equivalence relation, of any complexity.
Proof.
Suppose 〈N,⊕,�,E〉/E works.
By the lemma, E must be c.e.
So this reduces to the first theorem.
Computable quotient presentations Joel David Hamkins
![Page 92: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/92.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. equivalence relations
Perhaps cheating to include < or ≤ in the language.
So let’s return to the language {+, · }.
Consider true arithmetic = theory of the standard model.
We refute the conjecture in this case. (We shall sharpen.)
Theorem (Godziszewski, Hamkins)
No nonstandard model of true arithmetic has a computablequotient presentation 〈N,⊕,�〉 using a co-c.e. equivalencerelation E.
Computable quotient presentations Joel David Hamkins
![Page 93: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/93.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. equivalence relations
Perhaps cheating to include < or ≤ in the language.
So let’s return to the language {+, · }.
Consider true arithmetic = theory of the standard model.
We refute the conjecture in this case. (We shall sharpen.)
Theorem (Godziszewski, Hamkins)
No nonstandard model of true arithmetic has a computablequotient presentation 〈N,⊕,�〉 using a co-c.e. equivalencerelation E.
Computable quotient presentations Joel David Hamkins
![Page 94: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/94.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. equivalence relations
Perhaps cheating to include < or ≤ in the language.
So let’s return to the language {+, · }.
Consider true arithmetic = theory of the standard model.
We refute the conjecture in this case. (We shall sharpen.)
Theorem (Godziszewski, Hamkins)
No nonstandard model of true arithmetic has a computablequotient presentation 〈N,⊕,�〉 using a co-c.e. equivalencerelation E.
Computable quotient presentations Joel David Hamkins
![Page 95: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/95.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. equivalence relations
Perhaps cheating to include < or ≤ in the language.
So let’s return to the language {+, · }.
Consider true arithmetic = theory of the standard model.
We refute the conjecture in this case. (We shall sharpen.)
Theorem (Godziszewski, Hamkins)
No nonstandard model of true arithmetic has a computablequotient presentation 〈N,⊕,�〉 using a co-c.e. equivalencerelation E.
Computable quotient presentations Joel David Hamkins
![Page 96: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/96.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. equivalence relations
Perhaps cheating to include < or ≤ in the language.
So let’s return to the language {+, · }.
Consider true arithmetic = theory of the standard model.
We refute the conjecture in this case. (We shall sharpen.)
Theorem (Godziszewski, Hamkins)
No nonstandard model of true arithmetic has a computablequotient presentation 〈N,⊕,�〉 using a co-c.e. equivalencerelation E.
Computable quotient presentations Joel David Hamkins
![Page 97: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/97.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
First proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of true arithmetic,where E is a co-c.e. equivalence relation.
Let 1̄ = 1M , and compute n̄ = nM .
Let h code halting problem up to some nonstandard height.
Let A and B be 0′-computably inseparable.
Let C be numbers enumerated into AM using h as (fake) oracle,before into BM .
This separates, and is ∆2, hence computable from 0′, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 98: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/98.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
First proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of true arithmetic,where E is a co-c.e. equivalence relation.
Let 1̄ = 1M , and compute n̄ = nM .
Let h code halting problem up to some nonstandard height.
Let A and B be 0′-computably inseparable.
Let C be numbers enumerated into AM using h as (fake) oracle,before into BM .
This separates, and is ∆2, hence computable from 0′, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 99: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/99.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
First proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of true arithmetic,where E is a co-c.e. equivalence relation.
Let 1̄ = 1M , and compute n̄ = nM .
Let h code halting problem up to some nonstandard height.
Let A and B be 0′-computably inseparable.
Let C be numbers enumerated into AM using h as (fake) oracle,before into BM .
This separates, and is ∆2, hence computable from 0′, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 100: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/100.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
First proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of true arithmetic,where E is a co-c.e. equivalence relation.
Let 1̄ = 1M , and compute n̄ = nM .
Let h code halting problem up to some nonstandard height.
Let A and B be 0′-computably inseparable.
Let C be numbers enumerated into AM using h as (fake) oracle,before into BM .
This separates, and is ∆2, hence computable from 0′, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 101: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/101.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
First proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of true arithmetic,where E is a co-c.e. equivalence relation.
Let 1̄ = 1M , and compute n̄ = nM .
Let h code halting problem up to some nonstandard height.
Let A and B be 0′-computably inseparable.
Let C be numbers enumerated into AM using h as (fake) oracle,before into BM .
This separates, and is ∆2, hence computable from 0′, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 102: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/102.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
First proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of true arithmetic,where E is a co-c.e. equivalence relation.
Let 1̄ = 1M , and compute n̄ = nM .
Let h code halting problem up to some nonstandard height.
Let A and B be 0′-computably inseparable.
Let C be numbers enumerated into AM using h as (fake) oracle,before into BM .
This separates, and is ∆2, hence computable from 0′, contradiction.
Computable quotient presentations Joel David Hamkins
![Page 103: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/103.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of truearithmetic, E is co-c.e.
0′ is in the standard system.
Now, argue every set coded in M is computable from 0′, usingfact E is co-c.e.
This violates Scott’s theorem that the standard system will havesets of higher complexity.
Computable quotient presentations Joel David Hamkins
![Page 104: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/104.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of truearithmetic, E is co-c.e.
0′ is in the standard system.
Now, argue every set coded in M is computable from 0′, usingfact E is co-c.e.
This violates Scott’s theorem that the standard system will havesets of higher complexity.
Computable quotient presentations Joel David Hamkins
![Page 105: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/105.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of truearithmetic, E is co-c.e.
0′ is in the standard system.
Now, argue every set coded in M is computable from 0′, usingfact E is co-c.e.
This violates Scott’s theorem that the standard system will havesets of higher complexity.
Computable quotient presentations Joel David Hamkins
![Page 106: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/106.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative proof
Suppose M = 〈N,⊕,�〉/E is nonstandard model of truearithmetic, E is co-c.e.
0′ is in the standard system.
Now, argue every set coded in M is computable from 0′, usingfact E is co-c.e.
This violates Scott’s theorem that the standard system will havesets of higher complexity.
Computable quotient presentations Joel David Hamkins
![Page 107: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/107.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Sharper result
Theorem (Godziszewski, Hamkins)
No Σ1-sound nonstandard model of PA in language {+, · }admits a computable quotient presentation by a co-c.e.equivalence relation.
The proof we gave shows it is enough if merely 0′ is in thestandard system.
This is weaker than Σ1-sound, since a simple compactnessargument enables us to insert any particular set into standardsystem.
Computable quotient presentations Joel David Hamkins
![Page 108: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/108.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Sharper result
Theorem (Godziszewski, Hamkins)
No Σ1-sound nonstandard model of PA in language {+, · }admits a computable quotient presentation by a co-c.e.equivalence relation.
The proof we gave shows it is enough if merely 0′ is in thestandard system.
This is weaker than Σ1-sound, since a simple compactnessargument enables us to insert any particular set into standardsystem.
Computable quotient presentations Joel David Hamkins
![Page 109: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/109.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Sharper result
Theorem (Godziszewski, Hamkins)
No Σ1-sound nonstandard model of PA in language {+, · }admits a computable quotient presentation by a co-c.e.equivalence relation.
The proof we gave shows it is enough if merely 0′ is in thestandard system.
This is weaker than Σ1-sound, since a simple compactnessargument enables us to insert any particular set into standardsystem.
Computable quotient presentations Joel David Hamkins
![Page 110: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/110.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Another variation
Corollary
No nonstandard model of arithmetic in the language{+, ·,0,1, < } and with 0′ in its standard system has acomputably enumerable quotient presentation by anyequivalence relation, of any complexity.
Proof.
If 〈N,⊕,�, 0̄, 1̄,C〉/E is c.e. quotient presentation, then by thelemma, E must be co-c.e., and so this is ruled out by previoustheorem.
Computable quotient presentations Joel David Hamkins
![Page 111: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/111.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Another variation
Corollary
No nonstandard model of arithmetic in the language{+, ·,0,1, < } and with 0′ in its standard system has acomputably enumerable quotient presentation by anyequivalence relation, of any complexity.
Proof.
If 〈N,⊕,�, 0̄, 1̄,C〉/E is c.e. quotient presentation, then by thelemma, E must be co-c.e., and so this is ruled out by previoustheorem.
Computable quotient presentations Joel David Hamkins
![Page 112: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/112.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Central case still open
Question
Is there a nonstandard model of PA in language {+, ·,0,1, <}with a computably enumerable quotient presentation by someco-c.e. equivalence relation? Equivalently, is there anonstandard model of PA in that language with a computablyenumerable quotient presentation by any equivalence relation,of any complexity?
The two versions are equivalent by the lemma.
Khoussainov conjectured positive answer; we expect anegative answer.
Computable quotient presentations Joel David Hamkins
![Page 113: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/113.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Central case still open
Question
Is there a nonstandard model of PA in language {+, ·,0,1, <}with a computably enumerable quotient presentation by someco-c.e. equivalence relation? Equivalently, is there anonstandard model of PA in that language with a computablyenumerable quotient presentation by any equivalence relation,of any complexity?
The two versions are equivalent by the lemma.
Khoussainov conjectured positive answer; we expect anegative answer.
Computable quotient presentations Joel David Hamkins
![Page 114: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/114.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Central case still open
Question
Is there a nonstandard model of PA in language {+, ·,0,1, <}with a computably enumerable quotient presentation by someco-c.e. equivalence relation? Equivalently, is there anonstandard model of PA in that language with a computablyenumerable quotient presentation by any equivalence relation,of any complexity?
The two versions are equivalent by the lemma.
Khoussainov conjectured positive answer; we expect anegative answer.
Computable quotient presentations Joel David Hamkins
![Page 115: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/115.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Set theory
Let’s consider the question for set theory.
Theorem (Godziszewski, Hamkins)
No model of ZFC has a computable quotient presentation, byan equivalence relation of any complexity.
That is, there is no computable relation ε and equivalencerelation E , of any complexity, such that 〈N, ε〉/E is a model ofZFC.
Computable quotient presentations Joel David Hamkins
![Page 116: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/116.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Set theory
Let’s consider the question for set theory.
Theorem (Godziszewski, Hamkins)
No model of ZFC has a computable quotient presentation, byan equivalence relation of any complexity.
That is, there is no computable relation ε and equivalencerelation E , of any complexity, such that 〈N, ε〉/E is a model ofZFC.
Computable quotient presentations Joel David Hamkins
![Page 117: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/117.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Set theory
Let’s consider the question for set theory.
Theorem (Godziszewski, Hamkins)
No model of ZFC has a computable quotient presentation, byan equivalence relation of any complexity.
That is, there is no computable relation ε and equivalencerelation E , of any complexity, such that 〈N, ε〉/E is a model ofZFC.
Computable quotient presentations Joel David Hamkins
![Page 118: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/118.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 119: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/119.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 120: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/120.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 121: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/121.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 122: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/122.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 123: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/123.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 124: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/124.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Proof—no computable quotient model of ZFCSuppose ε is computable and M = 〈N, ε〉/E |= ZFC. (v. weak theory suffices)
Consider Kuratowski pairing 〈x , y〉 = {{x} , {x , y}}.
Fix N ∈ N which the model thinks is NM .
Let S represent { 〈n, n + 1〉 | n ∈ N }M .
Similarly, we have numbers representing sets Sing and Doub for the sets ofnatural-number singletons and doubletons.
Can now compute n 7→ n̄. (More complex than one might expect, butpossible. Search through elements of N and S, unwrapping pairs via Singand Doub, to build a witness sequence.)
It follows that every set in standard system of 〈N, ε〉/E is computable,contradiction.
Computable quotient presentations Joel David Hamkins
![Page 125: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/125.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative argumentAssume ε is computable and 〈N, ε〉/E is a model of set theory.
By extensionality, we have
x 6= y ↔ ∃z ¬(z ∈ x ↔ z ∈ y).
In pre-quotient model, this amounts to:
¬(x E y) ↔ ∃z¬(z ε x ↔ z ε y).
So E is co-c.e.
Now argue from that case. . .
Computable quotient presentations Joel David Hamkins
![Page 126: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/126.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative argumentAssume ε is computable and 〈N, ε〉/E is a model of set theory.
By extensionality, we have
x 6= y ↔ ∃z ¬(z ∈ x ↔ z ∈ y).
In pre-quotient model, this amounts to:
¬(x E y) ↔ ∃z¬(z ε x ↔ z ε y).
So E is co-c.e.
Now argue from that case. . .
Computable quotient presentations Joel David Hamkins
![Page 127: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/127.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative argumentAssume ε is computable and 〈N, ε〉/E is a model of set theory.
By extensionality, we have
x 6= y ↔ ∃z ¬(z ∈ x ↔ z ∈ y).
In pre-quotient model, this amounts to:
¬(x E y) ↔ ∃z¬(z ε x ↔ z ε y).
So E is co-c.e.
Now argue from that case. . .
Computable quotient presentations Joel David Hamkins
![Page 128: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/128.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative argumentAssume ε is computable and 〈N, ε〉/E is a model of set theory.
By extensionality, we have
x 6= y ↔ ∃z ¬(z ∈ x ↔ z ∈ y).
In pre-quotient model, this amounts to:
¬(x E y) ↔ ∃z¬(z ε x ↔ z ε y).
So E is co-c.e.
Now argue from that case. . .
Computable quotient presentations Joel David Hamkins
![Page 129: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/129.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Alternative argumentAssume ε is computable and 〈N, ε〉/E is a model of set theory.
By extensionality, we have
x 6= y ↔ ∃z ¬(z ∈ x ↔ z ∈ y).
In pre-quotient model, this amounts to:
¬(x E y) ↔ ∃z¬(z ε x ↔ z ε y).
So E is co-c.e.
Now argue from that case. . .
Computable quotient presentations Joel David Hamkins
![Page 130: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/130.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
No c.e. quotients by co-c.e. E
Theorem (Godziszewski, Hamkins)
There is no c.e. relation ε with a co-c.e. equivalence relation Efor which 〈N, ε〉/E is a model of set theory.
Proof.
If ε is c.e., then by using the set coding Sing, we can makeequality of elements of a fixed set c.e.
So E is computable when restricted to the elements of a fixedset.
This is enough to run the computable inseparabilityarguments.
Computable quotient presentations Joel David Hamkins
![Page 131: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/131.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
No c.e. quotients by co-c.e. E
Theorem (Godziszewski, Hamkins)
There is no c.e. relation ε with a co-c.e. equivalence relation Efor which 〈N, ε〉/E is a model of set theory.
Proof.
If ε is c.e., then by using the set coding Sing, we can makeequality of elements of a fixed set c.e.
So E is computable when restricted to the elements of a fixedset.
This is enough to run the computable inseparabilityarguments.
Computable quotient presentations Joel David Hamkins
![Page 132: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/132.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
No c.e. quotients by co-c.e. E
Theorem (Godziszewski, Hamkins)
There is no c.e. relation ε with a co-c.e. equivalence relation Efor which 〈N, ε〉/E is a model of set theory.
Proof.
If ε is c.e., then by using the set coding Sing, we can makeequality of elements of a fixed set c.e.
So E is computable when restricted to the elements of a fixedset.
This is enough to run the computable inseparabilityarguments.
Computable quotient presentations Joel David Hamkins
![Page 133: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/133.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
No c.e. quotients by co-c.e. E
Theorem (Godziszewski, Hamkins)
There is no c.e. relation ε with a co-c.e. equivalence relation Efor which 〈N, ε〉/E is a model of set theory.
Proof.
If ε is c.e., then by using the set coding Sing, we can makeequality of elements of a fixed set c.e.
So E is computable when restricted to the elements of a fixedset.
This is enough to run the computable inseparabilityarguments.
Computable quotient presentations Joel David Hamkins
![Page 134: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/134.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. E on a relational structure
Observation
With a co-c.e. equivalence relation E on N, we can computablyenumerate the least representative of every equivalence class.
That a number n is least in [n]E will be revealed when it isshown to be E-inequivalent to all smaller k < n.
Conclusion
Every computable quotient presentation of a relational structureby a co-c.e. relation has a computable presentation.
Computable quotient presentations Joel David Hamkins
![Page 135: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/135.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. E on a relational structure
Observation
With a co-c.e. equivalence relation E on N, we can computablyenumerate the least representative of every equivalence class.
That a number n is least in [n]E will be revealed when it isshown to be E-inequivalent to all smaller k < n.
Conclusion
Every computable quotient presentation of a relational structureby a co-c.e. relation has a computable presentation.
Computable quotient presentations Joel David Hamkins
![Page 136: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/136.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Co-c.e. E on a relational structure
Observation
With a co-c.e. equivalence relation E on N, we can computablyenumerate the least representative of every equivalence class.
That a number n is least in [n]E will be revealed when it isshown to be E-inequivalent to all smaller k < n.
Conclusion
Every computable quotient presentation of a relational structureby a co-c.e. relation has a computable presentation.
Computable quotient presentations Joel David Hamkins
![Page 137: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/137.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Finite set theory
Let ZF¬∞ be finite set theory, ZFC without infinity, plus negationof infinity, plus ∈-induction scheme.
True in 〈HF,∈〉. Bi-interpretable with PA via the Ackermannrelation on N.
Theorem (Godzizsewski,Hamkins)
There is no computable ε and equivalence relation E, of anycomplexity, such that 〈N, ε〉/E is a nonstandard model of finiteset theory ZF¬∞.
Proved by using S, Sing, Doub etc. below a nonstandardnumber.
Computable quotient presentations Joel David Hamkins
![Page 138: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/138.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Finite set theory
Let ZF¬∞ be finite set theory, ZFC without infinity, plus negationof infinity, plus ∈-induction scheme.
True in 〈HF,∈〉. Bi-interpretable with PA via the Ackermannrelation on N.
Theorem (Godzizsewski,Hamkins)
There is no computable ε and equivalence relation E, of anycomplexity, such that 〈N, ε〉/E is a nonstandard model of finiteset theory ZF¬∞.
Proved by using S, Sing, Doub etc. below a nonstandardnumber.
Computable quotient presentations Joel David Hamkins
![Page 139: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/139.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Finite set theory
Let ZF¬∞ be finite set theory, ZFC without infinity, plus negationof infinity, plus ∈-induction scheme.
True in 〈HF,∈〉. Bi-interpretable with PA via the Ackermannrelation on N.
Theorem (Godzizsewski,Hamkins)
There is no computable ε and equivalence relation E, of anycomplexity, such that 〈N, ε〉/E is a nonstandard model of finiteset theory ZF¬∞.
Proved by using S, Sing, Doub etc. below a nonstandardnumber.
Computable quotient presentations Joel David Hamkins
![Page 140: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/140.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Finite set theory
Let ZF¬∞ be finite set theory, ZFC without infinity, plus negationof infinity, plus ∈-induction scheme.
True in 〈HF,∈〉. Bi-interpretable with PA via the Ackermannrelation on N.
Theorem (Godzizsewski,Hamkins)
There is no computable ε and equivalence relation E, of anycomplexity, such that 〈N, ε〉/E is a nonstandard model of finiteset theory ZF¬∞.
Proved by using S, Sing, Doub etc. below a nonstandardnumber.
Computable quotient presentations Joel David Hamkins
![Page 141: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/141.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable quotients by co-c.e. E
Theorem (Godziszewski, Hamkins)
There is no c.e. relation ε with a co-c.e. equivalence relation Efor which 〈N, ε〉/E is a nonstandard model of finite set theoryZF¬∞.
Can again get E decidable for members of any given set, byusing Sing.
Computable quotient presentations Joel David Hamkins
![Page 142: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/142.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Computably enumerable quotients by co-c.e. E
Theorem (Godziszewski, Hamkins)
There is no c.e. relation ε with a co-c.e. equivalence relation Efor which 〈N, ε〉/E is a nonstandard model of finite set theoryZF¬∞.
Can again get E decidable for members of any given set, byusing Sing.
Computable quotient presentations Joel David Hamkins
![Page 143: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/143.jpg)
Introduction Quotient presentations Quotient models of arithmetic Quotient models of set theory
Thank you.Slides and articles available on http://jdh.hamkins.org.
Joel David HamkinsOxford University
Computable quotient presentations Joel David Hamkins
![Page 144: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/144.jpg)
References I
Michał Tomasz Godziszewski andJoel David Hamkins. “Computable QuotientPresentations of Models of Arithmetic and SetTheory”. In: Logic, Language, Information, andComputation: 24th International Workshop, WoLLIC2017, London, UK, July 18-21, 2017, Proceedings.Ed. by Juliette Kennedy and Ruy J.G.B. de Queiroz.Springer, 2017, pp. 140–152. ISBN:978-3-662-55386-2. DOI: 10.1007/978-3-662-55386-2 10.arXiv:1702.08350[math.LO]. http://wp.me/p5M0LV-1tW.
Computable quotient presentations Joel David Hamkins
![Page 145: The Tennenbaum phenomenon for computable quotient](https://reader031.vdocuments.mx/reader031/viewer/2022012408/616a37a611a7b741a35017a4/html5/thumbnails/145.jpg)
References II
Bakhadyr Khoussainov. Computably enumerablestructures: Domain dependence. Slides forconference talk at Mathematical Logic and itsApplications, Research Institute for MathematicalSciences (RIMS), Kyoto University. 2016.http://www2.kobe-u.ac.jp/∼mkikuchi/mla2016khoussainov.pdf.
Computable quotient presentations Joel David Hamkins