![Page 1: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/1.jpg)
Higher Recursion in Computable Structure Theory.
Antonio Montalban
University of California, Berkeley
Workshop on Higher Recursion TheoryIMS – NUS – Singapore
May 2019
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 1 / 50
![Page 2: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/2.jpg)
Summary
1 Π11-ness and ordinals
2 Hyperarithmeticy
3 When hyperarithmetic is recursive
4 Overspill
5 A structure equivalent to its own jump
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 2 / 50
![Page 3: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/3.jpg)
Part I
1 Π11-ness and ordinals
2 Hyperarithmeticy
3 When hyperarithmetic is recursive
4 Overspill
5 A structure equivalent to its own jump
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 3 / 50
![Page 4: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/4.jpg)
Ordinals
0, 1, 2, ...,
ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 5: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/5.jpg)
Ordinals
0, 1, 2, ..., ω,
ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 6: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/6.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1,
ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 7: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/7.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ...,
ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 8: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/8.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω
= ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 9: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/9.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2,
ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 10: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/10.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1,
ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 11: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/11.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ...,
ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 12: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/12.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3,
..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 13: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/13.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,...,
ω · ω = ω2,... ω3,..., ω4,... ωω,... ωωω
, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 14: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/14.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω =
ω2,... ω3,..., ω4,... ωω,... ωωω
, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 15: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/15.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,
... ω3,..., ω4,... ωω,... ωωω
, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 16: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/16.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3
,..., ω4,... ωω,... ωωω
, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 17: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/17.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,...
ωω,... ωωω
, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 18: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/18.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,...
ωωω
, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 19: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/19.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω,
.............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 20: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/20.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .
............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 21: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/21.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ..
...........................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 22: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/22.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ...
..........................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 23: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/23.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ...
..........................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 24: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/24.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ......
.......................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 25: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/25.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .........
....................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 26: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/26.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ............
.................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 27: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/27.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ...............
..............................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 28: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/28.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ..................
...........................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 29: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/29.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .....................
........................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 30: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/30.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ........................
.....................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 31: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/31.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ...........................
..................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 32: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/32.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ..............................
...............
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 33: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/33.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .................................
............
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 34: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/34.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ....................................
.........
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 35: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/35.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .......................................
......
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 36: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/36.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, ..........................................
...
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 37: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/37.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 38: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/38.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.
An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 39: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/39.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 40: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/40.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 41: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/41.jpg)
Ordinals
0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω + ω = ω2, ω2 + 1, ω2 + 2 ..., ω3, ..., ω4,..., ω · ω = ω2,... ω3,..., ω4,... ωω,... ωω
ω, .............................................
Definition:A linear ordering (A;≤A) is well-ordered if every subset has a least element.An ordinal is an isomorphism type of a well-ordering.
Theorem: Given two well-orderings A and B, one of the following holds:
A is isomorphic to an initial segment of B
B is isomorphic to an initial segment of A
The class of ordinals is itself well-ordered by embeddability.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 4 / 50
![Page 42: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/42.jpg)
Π11-ness and Well-Orders
Definition
A Π11 formula is one of the form ∀f ∈ NN ϕ(f ), where ϕ is arithmetic.
Theorem: Consider S ⊆ N.S is Π1
1 ⇐⇒ there is a computable list of linear orders Lesuch that e ∈ S ↔ Le is well-ordered.
The key notion connecting Π11-ness and well-orders
is well-founded trees.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 5 / 50
![Page 43: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/43.jpg)
Π11-ness and Well-Orders
Definition
A Π11 formula is one of the form ∀f ∈ NN ϕ(f ), where ϕ is arithmetic.
Theorem: Consider S ⊆ N.S is Π1
1 ⇐⇒ there is a computable list of linear orders Lesuch that e ∈ S ↔ Le is well-ordered.
The key notion connecting Π11-ness and well-orders
is well-founded trees.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 5 / 50
![Page 44: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/44.jpg)
Π11-ness and Well-Orders
Definition
A Π11 formula is one of the form ∀f ∈ NN ϕ(f ), where ϕ is arithmetic.
Theorem: Consider S ⊆ N.S is Π1
1 ⇐⇒ there is a computable list of linear orders Lesuch that e ∈ S ↔ Le is well-ordered.
The key notion connecting Π11-ness and well-orders
is well-founded trees.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 5 / 50
![Page 45: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/45.jpg)
Π11-ness and Well-Orders
Definition
A Π11 formula is one of the form ∀f ∈ NN ϕ(f ), where ϕ is arithmetic.
Theorem: Consider S ⊆ N.S is Π1
1 ⇐⇒ there is a computable list of linear orders Lesuch that e ∈ S ↔ Le is well-ordered.
The key notion connecting Π11-ness and well-orders
is well-founded trees.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 5 / 50
![Page 46: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/46.jpg)
Well-founded trees
Definition: A tree T ⊆ N<ω is well-founded if it has no infinite paths.
Definition: Let the rank of a tree be defined by transfinite recursion:
rk(T ) = supn∈N
(rk(Tn) + 1),
where Tn = {σ ∈ N<ω : n_σ ∈ T}.
If T is ill-founded, let rk(T ) =∞.
The rank function is NOT a computable function.
Lemma: Given trees S and T ,rk(S) ≤ rk(T ) ⇐⇒ there is an (-preserving embedding S → T .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 6 / 50
![Page 47: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/47.jpg)
Well-founded trees
Definition: A tree T ⊆ N<ω is well-founded if it has no infinite paths.
Definition: Let the rank of a tree be defined by transfinite recursion:
rk(T ) = supn∈N
(rk(Tn) + 1),
where Tn = {σ ∈ N<ω : n_σ ∈ T}.
If T is ill-founded, let rk(T ) =∞.
The rank function is NOT a computable function.
Lemma: Given trees S and T ,rk(S) ≤ rk(T ) ⇐⇒ there is an (-preserving embedding S → T .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 6 / 50
![Page 48: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/48.jpg)
Well-founded trees
Definition: A tree T ⊆ N<ω is well-founded if it has no infinite paths.
Definition: Let the rank of a tree be defined by transfinite recursion:
rk(T ) = supn∈N
(rk(Tn) + 1),
where Tn = {σ ∈ N<ω : n_σ ∈ T}.
If T is ill-founded, let rk(T ) =∞.
The rank function is NOT a computable function.
Lemma: Given trees S and T ,rk(S) ≤ rk(T ) ⇐⇒ there is an (-preserving embedding S → T .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 6 / 50
![Page 49: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/49.jpg)
Well-founded trees
Definition: A tree T ⊆ N<ω is well-founded if it has no infinite paths.
Definition: Let the rank of a tree be defined by transfinite recursion:
rk(T ) = supn∈N
(rk(Tn) + 1),
where Tn = {σ ∈ N<ω : n_σ ∈ T}.
If T is ill-founded, let rk(T ) =∞.
The rank function is NOT a computable function.
Lemma: Given trees S and T ,rk(S) ≤ rk(T ) ⇐⇒ there is an (-preserving embedding S → T .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 6 / 50
![Page 50: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/50.jpg)
From linear orderings to trees
Definition: Given a linear ordering L = (L;≤L),define the tree of descending sequences:
TL = {〈`0, ..., `k〉 ∈ L<ω : `0 >L `1 >L · · · >L `k}.
Obs: L is well-ordered ⇐⇒ TL is well-founded.
Furthermore, if L is well-ordered, rk(TL) ∼= L.
Corollary: Deciding if a liner ordering is WO,is as hard as deciding if a tree is WF.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 7 / 50
![Page 51: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/51.jpg)
From linear orderings to trees
Definition: Given a linear ordering L = (L;≤L),define the tree of descending sequences:
TL = {〈`0, ..., `k〉 ∈ L<ω : `0 >L `1 >L · · · >L `k}.
Obs: L is well-ordered ⇐⇒ TL is well-founded.
Furthermore, if L is well-ordered, rk(TL) ∼= L.
Corollary: Deciding if a liner ordering is WO,is as hard as deciding if a tree is WF.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 7 / 50
![Page 52: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/52.jpg)
From linear orderings to trees
Definition: Given a linear ordering L = (L;≤L),define the tree of descending sequences:
TL = {〈`0, ..., `k〉 ∈ L<ω : `0 >L `1 >L · · · >L `k}.
Obs: L is well-ordered ⇐⇒ TL is well-founded.
Furthermore, if L is well-ordered, rk(TL) ∼= L.
Corollary: Deciding if a liner ordering is WO,is as hard as deciding if a tree is WF.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 7 / 50
![Page 53: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/53.jpg)
From linear orderings to trees
Definition: Given a linear ordering L = (L;≤L),define the tree of descending sequences:
TL = {〈`0, ..., `k〉 ∈ L<ω : `0 >L `1 >L · · · >L `k}.
Obs: L is well-ordered ⇐⇒ TL is well-founded.
Furthermore, if L is well-ordered, rk(TL) ∼= L.
Corollary: Deciding if a liner ordering is WO,is as hard as deciding if a tree is WF.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 7 / 50
![Page 54: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/54.jpg)
From linear orderings to trees
Definition: Given a linear ordering L = (L;≤L),define the tree of descending sequences:
TL = {〈`0, ..., `k〉 ∈ L<ω : `0 >L `1 >L · · · >L `k}.
Obs: L is well-ordered ⇐⇒ TL is well-founded.
Furthermore, if L is well-ordered, rk(TL) ∼= L.
Corollary: Deciding if a liner ordering is WO,is as hard as deciding if a tree is WF.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 7 / 50
![Page 55: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/55.jpg)
From trees to linear orderings
The Kleene-Brower ordering on N<ω is defined as follows:
σ ≤KB τ ⇐⇒ σ ⊇ τ ∨ ∃i(σ � i = τ � i ∧ σ(i) < τ(i)
).
Obs: A tree T ⊆ N<ω is well-founded ⇐⇒ (T ;≤KB) is well-ordered.
Lemma: rk(T ) + 1 ≤ (T ;≤KB) ≤ ωrk(T ) + 1.
Corollary: Deciding if a a tree is WF,is as hard as deciding if liner ordering is WO.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 8 / 50
![Page 56: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/56.jpg)
From trees to linear orderings
The Kleene-Brower ordering on N<ω is defined as follows:
σ ≤KB τ ⇐⇒ σ ⊇ τ ∨ ∃i(σ � i = τ � i ∧ σ(i) < τ(i)
).
Obs: A tree T ⊆ N<ω is well-founded ⇐⇒ (T ;≤KB) is well-ordered.
Lemma: rk(T ) + 1 ≤ (T ;≤KB) ≤ ωrk(T ) + 1.
Corollary: Deciding if a a tree is WF,is as hard as deciding if liner ordering is WO.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 8 / 50
![Page 57: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/57.jpg)
From trees to linear orderings
The Kleene-Brower ordering on N<ω is defined as follows:
σ ≤KB τ ⇐⇒ σ ⊇ τ ∨ ∃i(σ � i = τ � i ∧ σ(i) < τ(i)
).
Obs: A tree T ⊆ N<ω is well-founded ⇐⇒ (T ;≤KB) is well-ordered.
Lemma: rk(T ) + 1 ≤ (T ;≤KB) ≤ ωrk(T ) + 1.
Corollary: Deciding if a a tree is WF,is as hard as deciding if liner ordering is WO.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 8 / 50
![Page 58: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/58.jpg)
From trees to linear orderings
The Kleene-Brower ordering on N<ω is defined as follows:
σ ≤KB τ ⇐⇒ σ ⊇ τ ∨ ∃i(σ � i = τ � i ∧ σ(i) < τ(i)
).
Obs: A tree T ⊆ N<ω is well-founded ⇐⇒ (T ;≤KB) is well-ordered.
Lemma: rk(T ) + 1 ≤ (T ;≤KB) ≤ ωrk(T ) + 1.
Corollary: Deciding if a a tree is WF,is as hard as deciding if liner ordering is WO.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 8 / 50
![Page 59: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/59.jpg)
From trees to linear orderings
The Kleene-Brower ordering on N<ω is defined as follows:
σ ≤KB τ ⇐⇒ σ ⊇ τ ∨ ∃i(σ � i = τ � i ∧ σ(i) < τ(i)
).
Obs: A tree T ⊆ N<ω is well-founded ⇐⇒ (T ;≤KB) is well-ordered.
Lemma: rk(T ) + 1 ≤ (T ;≤KB) ≤ ωrk(T ) + 1.
Corollary: Deciding if a a tree is WF,is as hard as deciding if liner ordering is WO.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 8 / 50
![Page 60: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/60.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 61: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/61.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 62: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/62.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:
• Every Σ11 formula ϕ(n) is equivalent to
∃f ∈ NN θ(f , n) where θ is Π01.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 63: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/63.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 64: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/64.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 65: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/65.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 66: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/66.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths
⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 67: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/67.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒
index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 68: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/68.jpg)
Kleene’s O
Definition
Kleene’s O is the set of indices e of computable well-orders.
Theorem
Kleene’s O is Π11-complete.
Proof:• Every Σ1
1 formula ϕ(n) is equivalent to∃f ∈ NN θ(f , n) where θ is Π0
1.
• For a Π01 formula θ(f ), there is a computable tree T with θ(f ) ⇐⇒ f ∈ [T ].
• For a Π01 formula θ(f , n), there is computable sequence of trees Tn such that
θ(f , n) ⇐⇒ f ∈ [Tn].
• If S ⊆ N is Π11 and definable by ¬ϕ(n), then
n ∈ S ⇐⇒ Tn has no paths⇐⇒ (Tn;≤KB) is well-ordered ⇐⇒ index(Tn;≤KB) ∈ O.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 9 / 50
![Page 69: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/69.jpg)
Omega-one-Church-Kleene
An ordinal α is computable ifthere is a computable ≤A ⊆ ω2 with α ∼= (ω;≤A).
Obs: The computable ordinals are closed downwards.
Definition: Let ωCK1 be the least non-computable ordinal.
Obs: Kleene’s O can compute a copy of ωCK1 :
ωCK1∼=∑e∈OLe
where Le is the linear ordering with index e.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 10 / 50
![Page 70: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/70.jpg)
Omega-one-Church-Kleene
An ordinal α is computable ifthere is a computable ≤A ⊆ ω2 with α ∼= (ω;≤A).
Obs: The computable ordinals are closed downwards.
Definition: Let ωCK1 be the least non-computable ordinal.
Obs: Kleene’s O can compute a copy of ωCK1 :
ωCK1∼=∑e∈OLe
where Le is the linear ordering with index e.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 10 / 50
![Page 71: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/71.jpg)
Omega-one-Church-Kleene
An ordinal α is computable ifthere is a computable ≤A ⊆ ω2 with α ∼= (ω;≤A).
Obs: The computable ordinals are closed downwards.
Definition: Let ωCK1 be the least non-computable ordinal.
Obs: Kleene’s O can compute a copy of ωCK1 :
ωCK1∼=∑e∈OLe
where Le is the linear ordering with index e.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 10 / 50
![Page 72: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/72.jpg)
Omega-one-Church-Kleene
An ordinal α is computable ifthere is a computable ≤A ⊆ ω2 with α ∼= (ω;≤A).
Obs: The computable ordinals are closed downwards.
Definition: Let ωCK1 be the least non-computable ordinal.
Obs: Kleene’s O can compute a copy of ωCK1 :
ωCK1∼=∑e∈OLe
where Le is the linear ordering with index e.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 10 / 50
![Page 73: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/73.jpg)
Omega-one-Church-Kleene
An ordinal α is computable ifthere is a computable ≤A ⊆ ω2 with α ∼= (ω;≤A).
Obs: The computable ordinals are closed downwards.
Definition: Let ωCK1 be the least non-computable ordinal.
Obs: Kleene’s O can compute a copy of ωCK1 :
ωCK1∼=∑e∈OLe
where Le is the linear ordering with index e.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 10 / 50
![Page 74: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/74.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 75: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/75.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:
• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 76: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/76.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 77: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/77.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 78: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/78.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 79: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/79.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 80: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/80.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof:
Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 81: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/81.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.
A is Σ11 and A ⊆ O. Let α < ωCK
1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 82: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/82.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O.
Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 83: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/83.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A.
Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 84: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/84.jpg)
Σ11-bounding
Theorem: Let A ⊂ O be Σ11.
There is an ordinal α < ωCK1 such that Le < α for all e ∈ A.
Proof:• Define ∗-operation on trees satisfying rk(T ∗ S) = min(rk(T ), rk(S)).
• Let {Sn}n∈N be a computable sequence of trees s.t. n ∈ A ⇐⇒ rk(Sn) =∞.
• Define α =∑
n∈N(TLe ∗ Sn;≤KB).
Theorem: Let A ⊂ 2N be a Σ11 set of well-orderings of N.
There is an ordinal α < ωCK1 such that all L < α for all L ∈ A.
Proof: Let A = {e ∈ N : (∃L ∈ A) Le 4 L}.A is Σ1
1 and A ⊆ O. Let α < ωCK1 be a bound for A. Then α is a bound for A too.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 11 / 50
![Page 85: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/85.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 86: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/86.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 87: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/87.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 88: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/88.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 89: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/89.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 90: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/90.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=)
Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 91: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/91.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.
(=>) Let f : A ≤m O. Since A is Σ11, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 92: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/92.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>)
Let f : A ≤m O. Since A is Σ11, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 93: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/93.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O.
Since A is Σ11, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 94: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/94.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 95: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/95.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A].
Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 96: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/96.jpg)
∆11 sets
A set is ∆11 if it is both Π1
1 and Σ11.
For α < ωCK1 , let O(≤α) be the set of indices of computable ordinals ≤ α.
Obsevation: O(≤α) is ∆11.
Σ11-bounding: If A ⊆ O is Σ1
1, then A ⊆ O(≤α) for some α < ωCK1 .
Theorem: A ⊆ ω is ∆11 ⇐⇒ A ≤m O(≤α) for some α < ωCK
1 .
Proof: (<=) Both Π11 sets and Σ1
1 sets are closed downward under ≤m.(=>) Let f : A ≤m O. Since A is Σ1
1, so is f [A] ⊆ O.
Let α < ωCK1 be a bound for f [A]. Then f : A ≤m O(≤α).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 12 / 50
![Page 97: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/97.jpg)
Finding paths through trees
Observation: O can compute paths through any computable tree.
Lemma: Every non-empty Σ11 class of reals has a member ≤TO.
Theorem (Spector-Gandy)
Every non-empty Σ11 class of reals has a member ≤TO and low for ω1
..., where a real X is low for ω1 if ωX1 = ωCK
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 13 / 50
![Page 98: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/98.jpg)
Finding paths through trees
Observation: O can compute paths through any computable tree.
Lemma: Every non-empty Σ11 class of reals has a member ≤TO.
Theorem (Spector-Gandy)
Every non-empty Σ11 class of reals has a member ≤TO and low for ω1
..., where a real X is low for ω1 if ωX1 = ωCK
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 13 / 50
![Page 99: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/99.jpg)
Finding paths through trees
Observation: O can compute paths through any computable tree.
Lemma: Every non-empty Σ11 class of reals has a member ≤TO.
Theorem (Spector-Gandy)
Every non-empty Σ11 class of reals has a member ≤TO and low for ω1
..., where a real X is low for ω1 if ωX1 = ωCK
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 13 / 50
![Page 100: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/100.jpg)
Part II
1 Π11-ness and ordinals
2 Hyperarithmeticy
3 When hyperarithmetic is recursive
4 Overspill
5 A structure equivalent to its own jump
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 14 / 50
![Page 101: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/101.jpg)
Arithmetic sets
Vocabulary of arithmetic: 0, 1, +, ×, ≤.
Definition: A set A ⊆ N is arithmeticif it is definable in N by a first-order formula of arithmetic.
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
The following are equivalent:
A is arithmetic
A is computable in 0(n) for some n,
A is ≤m O(≤ωn) for some n
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 15 / 50
![Page 102: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/102.jpg)
Arithmetic sets
Vocabulary of arithmetic: 0, 1, +, ×, ≤.
Definition: A set A ⊆ N is arithmeticif it is definable in N by a first-order formula of arithmetic.
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
The following are equivalent:
A is arithmetic
A is computable in 0(n) for some n,
A is ≤m O(≤ωn) for some n
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 15 / 50
![Page 103: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/103.jpg)
Arithmetic sets
Vocabulary of arithmetic: 0, 1, +, ×, ≤.
Definition: A set A ⊆ N is arithmeticif it is definable in N by a first-order formula of arithmetic.
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
The following are equivalent:
A is arithmetic
A is computable in 0(n) for some n,
A is ≤m O(≤ωn) for some n
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 15 / 50
![Page 104: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/104.jpg)
Arithmetic sets
Vocabulary of arithmetic: 0, 1, +, ×, ≤.
Definition: A set A ⊆ N is arithmeticif it is definable in N by a first-order formula of arithmetic.
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
The following are equivalent:
A is arithmetic
A is computable in 0(n) for some n,
A is ≤m O(≤ωn) for some n
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 15 / 50
![Page 105: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/105.jpg)
Arithmetic sets
Vocabulary of arithmetic: 0, 1, +, ×, ≤.
Definition: A set A ⊆ N is arithmeticif it is definable in N by a first-order formula of arithmetic.
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
The following are equivalent:
A is arithmetic
A is computable in 0(n) for some n,
A is ≤m O(≤ωn) for some n
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 15 / 50
![Page 106: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/106.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example:
torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 107: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/107.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example:
torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗):
divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 108: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/108.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example: torsion(x) ≡
∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗):
divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 109: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/109.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗):
divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 110: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/110.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡
∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 111: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/111.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 112: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/112.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 113: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/113.jpg)
Infinitary 1st-order formulas
In 1st-order languages, ∀ and ∃ range over the elements of the structure.
In infinitary languages, conjunctions and disjunctions can be infinitary.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
Theorem: [Scott 65] For every countable structure A, there is an infinitarysentence ψA such that, for countable structures C, C |= ψA ⇐⇒ C ∼= A.
Theorem: [Scott 65] For every automorphism invariant set B ⊂ Ak ,there is an infinitary formula ϕ(x) such that B = {b ∈ Ak : A |= ϕ(b)}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 16 / 50
![Page 114: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/114.jpg)
Depths of infinitary formulas
We count alternations of ∃ and∨
versus ∀ and∧
.
A Σinn formula is one of the form:∨i0∈N∃y0︸ ︷︷ ︸
∧i1∈N∀y1︸ ︷︷ ︸
∨i2∈N∃y2︸ ︷︷ ︸
∧i3∈N∀y3︸ ︷︷ ︸ · · ·︸ ︷︷ ︸
n alternations
(ψi0,i1,...,in(x , y0, y1, ..., yn)
)︸ ︷︷ ︸
finitary, quantifier free
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 17 / 50
![Page 115: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/115.jpg)
Depths of infinitary formulas
We count alternations of ∃ and∨
versus ∀ and∧
.
A Σinn formula is one of the form:∨i0∈N∃y0︸ ︷︷ ︸
∧i1∈N∀y1︸ ︷︷ ︸
∨i2∈N∃y2︸ ︷︷ ︸
∧i3∈N∀y3︸ ︷︷ ︸ · · ·︸ ︷︷ ︸
n alternations
(ψi0,i1,...,in(x , y0, y1, ..., yn)
)︸ ︷︷ ︸
finitary, quantifier free
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 17 / 50
![Page 116: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/116.jpg)
Depths of infinitary formulas
We count alternations of ∃ and∨
versus ∀ and∧
.
A Πinn formula is one of the form:∧i0∈N∀y0︸ ︷︷ ︸
∨i1∈N∃y1︸ ︷︷ ︸
∧i2∈N∀y2︸ ︷︷ ︸
∨i3∈N∃y3︸ ︷︷ ︸ · · ·︸ ︷︷ ︸
n alternations
(ψi0,i1,...,in(x , y0, y1, ..., yn)
)︸ ︷︷ ︸
finitary, quantifier free
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 17 / 50
![Page 117: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/117.jpg)
Depths of infinitary formulas
We count alternations of ∃ and∨
versus ∀ and∧
.
A Πinn formula is one of the form:∧i0∈N∀y0︸ ︷︷ ︸
∨i1∈N∃y1︸ ︷︷ ︸
∧i2∈N∀y2︸ ︷︷ ︸
∨i3∈N∃y3︸ ︷︷ ︸ · · ·︸ ︷︷ ︸
n alternations
(ψi0,i1,...,in(x , y0, y1, ..., yn)
)︸ ︷︷ ︸
finitary, quantifier free
A Σinα formula is one of the form:
∨i∈N∃y
(ψi (x , y)
)︸ ︷︷ ︸Πinβ for β<α
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 17 / 50
![Page 118: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/118.jpg)
Depths of infinitary formulas
We count alternations of ∃ and∨
versus ∀ and∧
.
A Πinn formula is one of the form:∧i0∈N∀y0︸ ︷︷ ︸
∨i1∈N∃y1︸ ︷︷ ︸
∧i2∈N∀y2︸ ︷︷ ︸
∨i3∈N∃y3︸ ︷︷ ︸ · · ·︸ ︷︷ ︸
n alternations
(ψi0,i1,...,in(x , y0, y1, ..., yn)
)︸ ︷︷ ︸
finitary, quantifier free
A Πinβ formula is one of the form:
∧i∈N∀y
(ϕi (x , y)
)︸ ︷︷ ︸Σinγ for γ<β
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 17 / 50
![Page 119: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/119.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example:
torsion(x) ≡
∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 120: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/120.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif
it has a computable tree representation.Equivalently, if the infinitary conjunctions and disjunctions
are of computable lists of formulas.
Example:
torsion(x) ≡
∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 121: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/121.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 122: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/122.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if
the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 123: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/123.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 124: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/124.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example:
torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 125: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/125.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 126: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/126.jpg)
Computable infininitary formulas
Definition: An infinitary formula is computableif it has a computable tree representation.
Equivalently, if the infinitary conjunctions and disjunctionsare of computable lists of formulas.
Example: torsion(x) ≡∨n∈N
(x ∗ x ∗ x ∗ · · · ∗ x︸ ︷︷ ︸n times
= e),
In a group G = (G ; e, ∗): divisible(x) ≡∧n∈N∃y(y ∗ ︷ ︸︸ ︷
y ∗ y ∗ · · · ∗ y = x),
We use Lc,ω to denote the set of computably infinitary formulas.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 18 / 50
![Page 127: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/127.jpg)
more examples
Example: There is a Πc2α+1 formula ψα such that, on a partial ordering P,
P |= ψα(a) ⇐⇒ rkP(a) ≤ α.
The formula is built by transfinite recursion:
ψα(x) ≡ ∀y < x∨∨γ<β
ψγ(y).
Example: There is a Σc2α+1 sentence ϕωα such that, for a linear ordering L,
L |= ϕωα ⇐⇒ L ≤ ωα.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 19 / 50
![Page 128: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/128.jpg)
more examples
Example: There is a Πc2α+1 formula ψα such that, on a partial ordering P,
P |= ψα(a) ⇐⇒ rkP(a) ≤ α.
The formula is built by transfinite recursion:
ψα(x) ≡ ∀y < x∨∨γ<β
ψγ(y).
Example: There is a Σc2α+1 sentence ϕωα such that, for a linear ordering L,
L |= ϕωα ⇐⇒ L ≤ ωα.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 19 / 50
![Page 129: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/129.jpg)
more examples
Example: There is a Πc2α+1 formula ψα such that, on a partial ordering P,
P |= ψα(a) ⇐⇒ rkP(a) ≤ α.
The formula is built by transfinite recursion:
ψα(x) ≡ ∀y < x∨∨γ<β
ψγ(y).
Example: There is a Σc2α+1 sentence ϕωα such that, for a linear ordering L,
L |= ϕωα ⇐⇒ L ≤ ωα.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 19 / 50
![Page 130: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/130.jpg)
Hyperarithmetic sets
Definition: A set A ⊆ N is hyperarithmetic ifit is definable by an infinitary computable formula ϕ(x).
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
Theorem: Let A ⊆ N. The following are equivalent:
A is definable by a Lc,ω formula
There is a computable list {ϕn : n ∈ N} of Lc,ω sentencesover the empty vocabulary {>,⊥}
such that A = {n ∈ N : |= ϕn}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 20 / 50
![Page 131: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/131.jpg)
Hyperarithmetic sets
Definition: A set A ⊆ N is hyperarithmetic ifit is definable by an infinitary computable formula ϕ(x).
A = {n ∈ N : (N; 0, 1,+,×,≤) |= ϕ(n)}.
Theorem: Let A ⊆ N. The following are equivalent:
A is definable by a Lc,ω formula
There is a computable list {ϕn : n ∈ N} of Lc,ω sentencesover the empty vocabulary {>,⊥}
such that A = {n ∈ N : |= ϕn}.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 20 / 50
![Page 132: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/132.jpg)
Hyp and ∆11
Observation Deciding if “M |= ϕ” for ϕ infinitary is Σ11:
There is a valid truth-assignment to the sub-formulas making ϕ true.
Corollary: Hyperarithmetic sets are ∆11.
Given a computable list {Me : e ∈ N} and a Lc,ω-sentence ϕ,{n :Mn |= ϕ} is hyperarithmetic.
Corollary: O(≤α) is hyperarithmetic.
Theorem: [Kleene] Let A ⊆ ω. The following are equivalent:
A is hyperarithmetic
A is ∆11.
A ≤m O(≤α) for some α < ωCK1
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 21 / 50
![Page 133: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/133.jpg)
Hyp and ∆11
Observation Deciding if “M |= ϕ” for ϕ infinitary is Σ11:
There is a valid truth-assignment to the sub-formulas making ϕ true.
Corollary: Hyperarithmetic sets are ∆11.
Given a computable list {Me : e ∈ N} and a Lc,ω-sentence ϕ,{n :Mn |= ϕ} is hyperarithmetic.
Corollary: O(≤α) is hyperarithmetic.
Theorem: [Kleene] Let A ⊆ ω. The following are equivalent:
A is hyperarithmetic
A is ∆11.
A ≤m O(≤α) for some α < ωCK1
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 21 / 50
![Page 134: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/134.jpg)
Hyp and ∆11
Observation Deciding if “M |= ϕ” for ϕ infinitary is Σ11:
There is a valid truth-assignment to the sub-formulas making ϕ true.
Corollary: Hyperarithmetic sets are ∆11.
Given a computable list {Me : e ∈ N} and a Lc,ω-sentence ϕ,{n :Mn |= ϕ} is hyperarithmetic.
Corollary: O(≤α) is hyperarithmetic.
Theorem: [Kleene] Let A ⊆ ω. The following are equivalent:
A is hyperarithmetic
A is ∆11.
A ≤m O(≤α) for some α < ωCK1
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 21 / 50
![Page 135: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/135.jpg)
Hyp and ∆11
Observation Deciding if “M |= ϕ” for ϕ infinitary is Σ11:
There is a valid truth-assignment to the sub-formulas making ϕ true.
Corollary: Hyperarithmetic sets are ∆11.
Given a computable list {Me : e ∈ N} and a Lc,ω-sentence ϕ,{n :Mn |= ϕ} is hyperarithmetic.
Corollary: O(≤α) is hyperarithmetic.
Theorem: [Kleene] Let A ⊆ ω. The following are equivalent:
A is hyperarithmetic
A is ∆11.
A ≤m O(≤α) for some α < ωCK1
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 21 / 50
![Page 136: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/136.jpg)
Hyp and ∆11
Observation Deciding if “M |= ϕ” for ϕ infinitary is Σ11:
There is a valid truth-assignment to the sub-formulas making ϕ true.
Corollary: Hyperarithmetic sets are ∆11.
Given a computable list {Me : e ∈ N} and a Lc,ω-sentence ϕ,{n :Mn |= ϕ} is hyperarithmetic.
Corollary: O(≤α) is hyperarithmetic.
Theorem: [Kleene] Let A ⊆ ω. The following are equivalent:
A is hyperarithmetic
A is ∆11.
A ≤m O(≤α) for some α < ωCK1
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 21 / 50
![Page 137: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/137.jpg)
Hyp and ∆11
Observation Deciding if “M |= ϕ” for ϕ infinitary is Σ11:
There is a valid truth-assignment to the sub-formulas making ϕ true.
Corollary: Hyperarithmetic sets are ∆11.
Given a computable list {Me : e ∈ N} and a Lc,ω-sentence ϕ,{n :Mn |= ϕ} is hyperarithmetic.
Corollary: O(≤α) is hyperarithmetic.
Theorem: [Kleene] Let A ⊆ ω. The following are equivalent:
A is hyperarithmetic
A is ∆11.
A ≤m O(≤α) for some α < ωCK1
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 21 / 50
![Page 138: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/138.jpg)
Transfinite iterations of the Turing jump
Let L be a well-ordering with domain ⊆ N.
Definition: A jump hierarchy on L is a set H ⊆ L× N such that
H [`] = (H [<`])′,
where X [`] = {x : (`, x) ∈ X} and X [<`] = {(k, x) : k <L ` & (k, x) ∈ X}.
Obs: For every well-ordering L there is a unique jump hierarchy on it.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 22 / 50
![Page 139: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/139.jpg)
Transfinite iterations of the Turing jump
Let L be a well-ordering with domain ⊆ N.
Definition: A jump hierarchy on L is a set H ⊆ L× N such that
H [`] = (H [<`])′,
where X [`] = {x : (`, x) ∈ X} and X [<`] = {(k , x) : k <L ` & (k, x) ∈ X}.
Obs: For every well-ordering L there is a unique jump hierarchy on it.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 22 / 50
![Page 140: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/140.jpg)
Transfinite iterations of the Turing jump
Let L be a well-ordering with domain ⊆ N.
Definition: A jump hierarchy on L is a set H ⊆ L× N such that
H [`] = (H [<`])′,
where X [`] = {x : (`, x) ∈ X} and X [<`] = {(k , x) : k <L ` & (k, x) ∈ X}.
Obs: For every well-ordering L there is a unique jump hierarchy on it.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 22 / 50
![Page 141: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/141.jpg)
Different presentations
Theorem: Suppose α and β are different presentations of the same ordinal.Let Hα and Hβ be the jump hierarchies on them.Then Hα ≡T Hβ.
Pf: Show that there is an isomorphism α→ β computable in both Hα and Hβ .
We now can define the Turing degree 0(α) for computable α < ωCK1 .
Theorem: For n ∈ N: O(<ωn) ≡T 0(2n).
For α ∈ ωCK1 rN: O(<ωα) ≡T 0(2α+1).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 23 / 50
![Page 142: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/142.jpg)
Different presentations
Theorem: Suppose α and β are different presentations of the same ordinal.Let Hα and Hβ be the jump hierarchies on them.Then Hα ≡T Hβ.
Pf: Show that there is an isomorphism α→ β computable in both Hα and Hβ .
We now can define the Turing degree 0(α) for computable α < ωCK1 .
Theorem: For n ∈ N: O(<ωn) ≡T 0(2n).
For α ∈ ωCK1 rN: O(<ωα) ≡T 0(2α+1).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 23 / 50
![Page 143: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/143.jpg)
Different presentations
Theorem: Suppose α and β are different presentations of the same ordinal.Let Hα and Hβ be the jump hierarchies on them.Then Hα ≡T Hβ.
Pf: Show that there is an isomorphism α→ β computable in both Hα and Hβ .
We now can define the Turing degree 0(α) for computable α < ωCK1 .
Theorem: For n ∈ N: O(<ωn) ≡T 0(2n).
For α ∈ ωCK1 rN: O(<ωα) ≡T 0(2α+1).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 23 / 50
![Page 144: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/144.jpg)
Different presentations
Theorem: Suppose α and β are different presentations of the same ordinal.Let Hα and Hβ be the jump hierarchies on them.Then Hα ≡T Hβ.
Pf: Show that there is an isomorphism α→ β computable in both Hα and Hβ .
We now can define the Turing degree 0(α) for computable α < ωCK1 .
Theorem: For n ∈ N: O(<ωn) ≡T 0(2n).
For α ∈ ωCK1 rN: O(<ωα) ≡T 0(2α+1).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 23 / 50
![Page 145: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/145.jpg)
Part III
1 Π11-ness and ordinals
2 Hyperarithmeticy
3 When hyperarithmetic is recursive
4 Overspill
5 A structure equivalent to its own jump
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 24 / 50
![Page 146: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/146.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}. E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 147: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/147.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof:
Consider E = {e : Le 4 A}. E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 148: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/148.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}.
E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 149: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/149.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}. E is Σ11
and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 150: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/150.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}. E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 151: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/151.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}. E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E .
Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 152: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/152.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}. E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 153: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/153.jpg)
Every hyperarithmetic well-ordering is computable
Theorem: [Spector 55] If ≤A⊆ ω2 is a hyperarithmetic well-ordering of ω,then A = (ω;≤A) is isomorphic to a computable well-ordering.
Proof: Consider E = {e : Le 4 A}. E is Σ11 and E ⊆ O.
Then there is a bound α < ωCK1 for E . Then A ≤ α.
Theorem: If an infinitary formula has a hyperarithmetic representationit is equivalent to a computable infinitary formula
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 25 / 50
![Page 154: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/154.jpg)
A generalization to Linear orderigns
Theorem ([M. 05])
Every hyperarithmetic linear orderingis bi-embeddable with a computable one.
Obs: The theorem generalizes Spector’s theorem:If an ordinal is bi-embeddable with a linear ordering, it is isomorphic.
The proof uses Laver’s theorem on the well-quasi-orderness of linear orderings toanalyze their structure under embeddability.
We produce bi-embeddability invariants for linear orderings given by finite trees with
ordinal labels. Finally, we build a computable map from invariants to linear orderings.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 26 / 50
![Page 155: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/155.jpg)
A generalization to Linear orderigns
Theorem ([M. 05])
Every hyperarithmetic linear orderingis bi-embeddable with a computable one.
Obs: The theorem generalizes Spector’s theorem:
If an ordinal is bi-embeddable with a linear ordering, it is isomorphic.
The proof uses Laver’s theorem on the well-quasi-orderness of linear orderings toanalyze their structure under embeddability.
We produce bi-embeddability invariants for linear orderings given by finite trees with
ordinal labels. Finally, we build a computable map from invariants to linear orderings.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 26 / 50
![Page 156: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/156.jpg)
A generalization to Linear orderigns
Theorem ([M. 05])
Every hyperarithmetic linear orderingis bi-embeddable with a computable one.
Obs: The theorem generalizes Spector’s theorem:If an ordinal is bi-embeddable with a linear ordering, it is isomorphic.
The proof uses Laver’s theorem on the well-quasi-orderness of linear orderings toanalyze their structure under embeddability.
We produce bi-embeddability invariants for linear orderings given by finite trees with
ordinal labels. Finally, we build a computable map from invariants to linear orderings.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 26 / 50
![Page 157: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/157.jpg)
A generalization to Linear orderigns
Theorem ([M. 05])
Every hyperarithmetic linear orderingis bi-embeddable with a computable one.
Obs: The theorem generalizes Spector’s theorem:If an ordinal is bi-embeddable with a linear ordering, it is isomorphic.
The proof uses Laver’s theorem on the well-quasi-orderness of linear orderings toanalyze their structure under embeddability.
We produce bi-embeddability invariants for linear orderings given by finite trees with
ordinal labels. Finally, we build a computable map from invariants to linear orderings.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 26 / 50
![Page 158: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/158.jpg)
A generalization to Linear orderigns
Theorem ([M. 05])
Every hyperarithmetic linear orderingis bi-embeddable with a computable one.
Obs: The theorem generalizes Spector’s theorem:If an ordinal is bi-embeddable with a linear ordering, it is isomorphic.
The proof uses Laver’s theorem on the well-quasi-orderness of linear orderings toanalyze their structure under embeddability.
We produce bi-embeddability invariants for linear orderings given by finite trees with
ordinal labels.
Finally, we build a computable map from invariants to linear orderings.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 26 / 50
![Page 159: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/159.jpg)
A generalization to Linear orderigns
Theorem ([M. 05])
Every hyperarithmetic linear orderingis bi-embeddable with a computable one.
Obs: The theorem generalizes Spector’s theorem:If an ordinal is bi-embeddable with a linear ordering, it is isomorphic.
The proof uses Laver’s theorem on the well-quasi-orderness of linear orderings toanalyze their structure under embeddability.
We produce bi-embeddability invariants for linear orderings given by finite trees with
ordinal labels. Finally, we build a computable map from invariants to linear orderings.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 26 / 50
![Page 160: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/160.jpg)
Another similar behavior
Theorem ([Greenberg-M. 05])
Every hyperarithmetic abelian torsion groupis bi-embeddable with a computable one.
The proof uses Ulm invariants, and bi-embeddability invariants defined by [Barwise,Eklof 71]. The bi-embeddability invariants are finite sequences of ordinals, and we alsohave a computable operator from invariants to groups.
Hyperarithmetic groups have Ulm rank ≤ ωCK1 . If the Ulm rank is < ωCK
1 use the
computable operator. If the Ulm rank is ωCK1 , we need to show their divisible part must
be isomorphic to Q∞, and hence they are bi-embeddable with Q∞.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 27 / 50
![Page 161: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/161.jpg)
Another similar behavior
Theorem ([Greenberg-M. 05])
Every hyperarithmetic abelian torsion groupis bi-embeddable with a computable one.
The proof uses Ulm invariants, and bi-embeddability invariants defined by [Barwise,Eklof 71].
The bi-embeddability invariants are finite sequences of ordinals, and we alsohave a computable operator from invariants to groups.
Hyperarithmetic groups have Ulm rank ≤ ωCK1 . If the Ulm rank is < ωCK
1 use the
computable operator. If the Ulm rank is ωCK1 , we need to show their divisible part must
be isomorphic to Q∞, and hence they are bi-embeddable with Q∞.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 27 / 50
![Page 162: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/162.jpg)
Another similar behavior
Theorem ([Greenberg-M. 05])
Every hyperarithmetic abelian torsion groupis bi-embeddable with a computable one.
The proof uses Ulm invariants, and bi-embeddability invariants defined by [Barwise,Eklof 71]. The bi-embeddability invariants are finite sequences of ordinals, and we alsohave a computable operator from invariants to groups.
Hyperarithmetic groups have Ulm rank ≤ ωCK1 . If the Ulm rank is < ωCK
1 use the
computable operator. If the Ulm rank is ωCK1 , we need to show their divisible part must
be isomorphic to Q∞, and hence they are bi-embeddable with Q∞.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 27 / 50
![Page 163: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/163.jpg)
Another similar behavior
Theorem ([Greenberg-M. 05])
Every hyperarithmetic abelian torsion groupis bi-embeddable with a computable one.
The proof uses Ulm invariants, and bi-embeddability invariants defined by [Barwise,Eklof 71]. The bi-embeddability invariants are finite sequences of ordinals, and we alsohave a computable operator from invariants to groups.
Hyperarithmetic groups have Ulm rank ≤ ωCK1 .
If the Ulm rank is < ωCK1 use the
computable operator. If the Ulm rank is ωCK1 , we need to show their divisible part must
be isomorphic to Q∞, and hence they are bi-embeddable with Q∞.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 27 / 50
![Page 164: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/164.jpg)
Another similar behavior
Theorem ([Greenberg-M. 05])
Every hyperarithmetic abelian torsion groupis bi-embeddable with a computable one.
The proof uses Ulm invariants, and bi-embeddability invariants defined by [Barwise,Eklof 71]. The bi-embeddability invariants are finite sequences of ordinals, and we alsohave a computable operator from invariants to groups.
Hyperarithmetic groups have Ulm rank ≤ ωCK1 . If the Ulm rank is < ωCK
1 use the
computable operator.
If the Ulm rank is ωCK1 , we need to show their divisible part must
be isomorphic to Q∞, and hence they are bi-embeddable with Q∞.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 27 / 50
![Page 165: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/165.jpg)
Another similar behavior
Theorem ([Greenberg-M. 05])
Every hyperarithmetic abelian torsion groupis bi-embeddable with a computable one.
The proof uses Ulm invariants, and bi-embeddability invariants defined by [Barwise,Eklof 71]. The bi-embeddability invariants are finite sequences of ordinals, and we alsohave a computable operator from invariants to groups.
Hyperarithmetic groups have Ulm rank ≤ ωCK1 . If the Ulm rank is < ωCK
1 use the
computable operator. If the Ulm rank is ωCK1 , we need to show their divisible part must
be isomorphic to Q∞, and hence they are bi-embeddable with Q∞.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 27 / 50
![Page 166: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/166.jpg)
Counterexample to Vaught’s conjecture
Vaught’s conjecture:Every Lω1,ω sentence has either countably or 2ℵ0 many countable models.
Def: An Lω1,ω sentence is a counterexample to Vaught’s conjecture if
it has uncountably but not perfectly many countable models.
Theorem ([M. 12])
Let T be an Lω1,ω sentence with uncountably many models. TFAE
• T is a counterexample to Vaught’s conjecture.
• Relative to every oracle on a cone,every hyperarithmetic model of T is isomorphic to a computable one,
By “relative to every oracle on a cone”
we mean “ (∃Y ∈ 2ω)(∀X ≥T Y ) the following holds relativized to Y .”
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 28 / 50
![Page 167: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/167.jpg)
Counterexample to Vaught’s conjecture
Vaught’s conjecture:Every Lω1,ω sentence has either countably or 2ℵ0 many countable models.
Def: An Lω1,ω sentence is a counterexample to Vaught’s conjecture if
it has uncountably but not perfectly many countable models.
Theorem ([M. 12])
Let T be an Lω1,ω sentence with uncountably many models. TFAE
• T is a counterexample to Vaught’s conjecture.
• Relative to every oracle on a cone,every hyperarithmetic model of T is isomorphic to a computable one,
By “relative to every oracle on a cone”
we mean “ (∃Y ∈ 2ω)(∀X ≥T Y ) the following holds relativized to Y .”
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 28 / 50
![Page 168: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/168.jpg)
Counterexample to Vaught’s conjecture
Vaught’s conjecture:Every Lω1,ω sentence has either countably or 2ℵ0 many countable models.
Def: An Lω1,ω sentence is a counterexample to Vaught’s conjecture if
it has uncountably but not perfectly many countable models.
Theorem ([M. 12])
Let T be an Lω1,ω sentence with uncountably many models. TFAE
• T is a counterexample to Vaught’s conjecture.
• Relative to every oracle on a cone,every hyperarithmetic model of T is isomorphic to a computable one,
By “relative to every oracle on a cone”
we mean “ (∃Y ∈ 2ω)(∀X ≥T Y ) the following holds relativized to Y .”
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 28 / 50
![Page 169: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/169.jpg)
Counterexample to Vaught’s conjecture
Vaught’s conjecture:Every Lω1,ω sentence has either countably or 2ℵ0 many countable models.
Def: An Lω1,ω sentence is a counterexample to Vaught’s conjecture if
it has uncountably but not perfectly many countable models.
Theorem ([M. 12])
Let T be an Lω1,ω sentence with uncountably many models. TFAE
• T is a counterexample to Vaught’s conjecture.
• Relative to every oracle on a cone,every hyperarithmetic model of T is isomorphic to a computable one,
By “relative to every oracle on a cone”
we mean “ (∃Y ∈ 2ω)(∀X ≥T Y ) the following holds relativized to Y .”
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 28 / 50
![Page 170: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/170.jpg)
Counterexample to Vaught’s conjecture
Vaught’s conjecture:Every Lω1,ω sentence has either countably or 2ℵ0 many countable models.
Def: An Lω1,ω sentence is a counterexample to Vaught’s conjecture if
it has uncountably but not perfectly many countable models.
Theorem ([M. 12])
Let T be an Lω1,ω sentence with uncountably many models. TFAE
• T is a counterexample to Vaught’s conjecture.
• Relative to every oracle on a cone,every hyperarithmetic model of T is isomorphic to a computable one,
By “relative to every oracle on a cone”
we mean “ (∃Y ∈ 2ω)(∀X ≥T Y ) the following holds relativized to Y .”
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 28 / 50
![Page 171: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/171.jpg)
Hyperarithmetic-is-recursive
Definition
An equivalence class E on 2ω satisfies hyperarithmetic-is-recursiveif every hyperarithmetic real is E -equivalent to a computable one.
Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecturewhen relativized;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Obs: All the equivalence relations above are Σ11.
If we let the reals not in the class be equivalent, they are Σ11-equivalence relations on 2ω.
Def: E satisfies hyperarithmetic-is-recursive triviallyif every real is E -equivalent to a computable one.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 29 / 50
![Page 172: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/172.jpg)
Hyperarithmetic-is-recursive
Definition
An equivalence class E on 2ω satisfies hyperarithmetic-is-recursiveif every hyperarithmetic real is E -equivalent to a computable one.
Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecturewhen relativized;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Obs: All the equivalence relations above are Σ11.
If we let the reals not in the class be equivalent, they are Σ11-equivalence relations on 2ω.
Def: E satisfies hyperarithmetic-is-recursive triviallyif every real is E -equivalent to a computable one.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 29 / 50
![Page 173: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/173.jpg)
Hyperarithmetic-is-recursive
Definition
An equivalence class E on 2ω satisfies hyperarithmetic-is-recursiveif every hyperarithmetic real is E -equivalent to a computable one.
Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecturewhen relativized;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Obs: All the equivalence relations above are Σ11.
If we let the reals not in the class be equivalent, they are Σ11-equivalence relations on 2ω.
Def: E satisfies hyperarithmetic-is-recursive triviallyif every real is E -equivalent to a computable one.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 29 / 50
![Page 174: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/174.jpg)
Hyperarithmetic-is-recursive
Definition
An equivalence class E on 2ω satisfies hyperarithmetic-is-recursiveif every hyperarithmetic real is E -equivalent to a computable one.
Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecturewhen relativized;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Obs: All the equivalence relations above are Σ11.
If we let the reals not in the class be equivalent, they are Σ11-equivalence relations on 2ω.
Def: E satisfies hyperarithmetic-is-recursive triviallyif every real is E -equivalent to a computable one.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 29 / 50
![Page 175: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/175.jpg)
Hyperarithmetic-is-recursive
Definition
An equivalence class E on 2ω satisfies hyperarithmetic-is-recursiveif every hyperarithmetic real is E -equivalent to a computable one.
Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecturewhen relativized;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Obs: All the equivalence relations above are Σ11.
If we let the reals not in the class be equivalent, they are Σ11-equivalence relations on 2ω.
Def: E satisfies hyperarithmetic-is-recursive triviallyif every real is E -equivalent to a computable one.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 29 / 50
![Page 176: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/176.jpg)
Hyperarithmetic-is-recursive
Definition
An equivalence class E on 2ω satisfies hyperarithmetic-is-recursiveif every hyperarithmetic real is E -equivalent to a computable one.
Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecturewhen relativized;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Obs: All the equivalence relations above are Σ11.
If we let the reals not in the class be equivalent, they are Σ11-equivalence relations on 2ω.
Def: E satisfies hyperarithmetic-is-recursive triviallyif every real is E -equivalent to a computable one.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 29 / 50
![Page 177: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/177.jpg)
The question
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive?
Obs: There are odd examples:If E is Σ1
1 and we define X F Y ⇐⇒ (X E Y ) ∨ (ωX1 = ωY
1 = ωCK1 ),
then the transitive closure of F is Σ11 and satisfies hyperarithmetic-is-recursive.
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive on a cone?
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 30 / 50
![Page 178: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/178.jpg)
The question
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive?
Obs: There are odd examples:
If E is Σ11 and we define X F Y ⇐⇒ (X E Y ) ∨ (ωX
1 = ωY1 = ωCK
1 ),then the transitive closure of F is Σ1
1 and satisfies hyperarithmetic-is-recursive.
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive on a cone?
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 30 / 50
![Page 179: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/179.jpg)
The question
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive?
Obs: There are odd examples:If E is Σ1
1 and we define X F Y ⇐⇒ (X E Y ) ∨ (ωX1 = ωY
1 = ωCK1 ),
then the transitive closure of F is Σ11 and satisfies hyperarithmetic-is-recursive.
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive on a cone?
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 30 / 50
![Page 180: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/180.jpg)
The question
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive?
Obs: There are odd examples:If E is Σ1
1 and we define X F Y ⇐⇒ (X E Y ) ∨ (ωX1 = ωY
1 = ωCK1 ),
then the transitive closure of F is Σ11 and satisfies hyperarithmetic-is-recursive.
Question: What makes an equivalence relationsatisfy hyperarithmetic-is-recursive on a cone?
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 30 / 50
![Page 181: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/181.jpg)
Martin’s measure
Def: A cone is a set of the form {X ∈ 2N : X ≥T Y } for some Y ∈ 2N.
Thm:[Martin] (0] exists)Every Σ1
1 degree-invariant A ⊆ 2N either contains or is disjoint from a cone.
Def: A degree-invariant A ⊆ 2N has Martin measure 1 if it contains a cone,and Martin measure 0 if it doesn’t.
Def: E satisfies hyperarithmetic-is-recursive on a cone if,(∃Y )(∀X ≥T Y ),
every X -hyperarithmetic real is E -equivalent to an X -computable one.
Obs: Since in computability theory most proofs relativize:For “natural” E ,E satisfies hyperarithmetic-is-recursive ⇐⇒ it does on a cone.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 31 / 50
![Page 182: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/182.jpg)
Martin’s measure
Def: A cone is a set of the form {X ∈ 2N : X ≥T Y } for some Y ∈ 2N.
Thm:[Martin] (0] exists)Every Σ1
1 degree-invariant A ⊆ 2N either contains or is disjoint from a cone.
Def: A degree-invariant A ⊆ 2N has Martin measure 1 if it contains a cone,and Martin measure 0 if it doesn’t.
Def: E satisfies hyperarithmetic-is-recursive on a cone if,(∃Y )(∀X ≥T Y ),
every X -hyperarithmetic real is E -equivalent to an X -computable one.
Obs: Since in computability theory most proofs relativize:For “natural” E ,E satisfies hyperarithmetic-is-recursive ⇐⇒ it does on a cone.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 31 / 50
![Page 183: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/183.jpg)
Martin’s measure
Def: A cone is a set of the form {X ∈ 2N : X ≥T Y } for some Y ∈ 2N.
Thm:[Martin] (0] exists)Every Σ1
1 degree-invariant A ⊆ 2N either contains or is disjoint from a cone.
Def: A degree-invariant A ⊆ 2N has Martin measure 1 if it contains a cone,and Martin measure 0 if it doesn’t.
Def: E satisfies hyperarithmetic-is-recursive on a cone if,(∃Y )(∀X ≥T Y ),
every X -hyperarithmetic real is E -equivalent to an X -computable one.
Obs: Since in computability theory most proofs relativize:For “natural” E ,E satisfies hyperarithmetic-is-recursive ⇐⇒ it does on a cone.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 31 / 50
![Page 184: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/184.jpg)
Martin’s measure
Def: A cone is a set of the form {X ∈ 2N : X ≥T Y } for some Y ∈ 2N.
Thm:[Martin] (0] exists)Every Σ1
1 degree-invariant A ⊆ 2N either contains or is disjoint from a cone.
Def: A degree-invariant A ⊆ 2N has Martin measure 1 if it contains a cone,and Martin measure 0 if it doesn’t.
Def: E satisfies hyperarithmetic-is-recursive on a cone if,(∃Y )(∀X ≥T Y ),
every X -hyperarithmetic real is E -equivalent to an X -computable one.
Obs: Since in computability theory most proofs relativize:For “natural” E ,E satisfies hyperarithmetic-is-recursive ⇐⇒ it does on a cone.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 31 / 50
![Page 185: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/185.jpg)
Martin’s measure
Def: A cone is a set of the form {X ∈ 2N : X ≥T Y } for some Y ∈ 2N.
Thm:[Martin] (0] exists)Every Σ1
1 degree-invariant A ⊆ 2N either contains or is disjoint from a cone.
Def: A degree-invariant A ⊆ 2N has Martin measure 1 if it contains a cone,and Martin measure 0 if it doesn’t.
Def: E satisfies hyperarithmetic-is-recursive on a cone if,(∃Y )(∀X ≥T Y ),
every X -hyperarithmetic real is E -equivalent to an X -computable one.
Obs: Since in computability theory most proofs relativize:For “natural” E ,E satisfies hyperarithmetic-is-recursive ⇐⇒ it does on a cone.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 31 / 50
![Page 186: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/186.jpg)
A sufficient condition: a first attempt
A su�cient condition for hyp-is-rec.
Def: For K ✓ 2!, (K,⌘, r) is a ranked equivalence relation if⌘ is an equivalence relation on K, and r : K/ ⌘! !1.
Def: (K,⌘, r) is scattered ifr�1(↵) contains countably many equivalence classes for each ↵ 2 !1.
Def: (K,⌘, r) is projective ifK and ⌘ are projective and r has a projective presentation 2! ! 2!.
Theorem ([M.] (ZFC+PD))
Let (K,⌘, r) be scattered projective ranked equivalence relation
such that 8Z 2 K, r(Z ) < !Z1 .
For every X on a cone, (i.e. 9Y 8X �T Y ,) every equivalence classwith an X-hyperarithmetic member has an X-computable member.
Lemma: [Martin] (ZFC+PD) If f : 2! ! !1 is projective and f (X ) < !X1 ,
then f is constant on a cone.
Antonio Montalban (U.C. Berkeley) When hyperarithmetic is recursive Sept. 2012 15 / 28
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 32 / 50
![Page 187: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/187.jpg)
A sufficient condition: a first attempt
A su�cient condition for hyp-is-rec.
Def: For K ✓ 2!, (K,⌘, r) is a ranked equivalence relation if⌘ is an equivalence relation on K, and r : K/ ⌘! !1.
Def: (K,⌘, r) is scattered ifr�1(↵) contains countably many equivalence classes for each ↵ 2 !1.
Def: (K,⌘, r) is projective ifK and ⌘ are projective and r has a projective presentation 2! ! 2!.
Theorem ([M.] (ZFC+PD))
Let (K,⌘, r) be scattered projective ranked equivalence relation
such that 8Z 2 K, r(Z ) < !Z1 .
For every X on a cone, (i.e. 9Y 8X �T Y ,) every equivalence classwith an X-hyperarithmetic member has an X-computable member.
Lemma: [Martin] (ZFC+PD) If f : 2! ! !1 is projective and f (X ) < !X1 ,
then f is constant on a cone.
Antonio Montalban (U.C. Berkeley) When hyperarithmetic is recursive Sept. 2012 15 / 28
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 32 / 50
![Page 188: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/188.jpg)
The main theorem
Theorem ([M. 13] (ZFC + (0] exists) + ¬CH)
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone non-trivially.
2 E has ℵ1 many equivalence classes.
This theorem applies to all the examples mentioned before.Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecture;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 33 / 50
![Page 189: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/189.jpg)
The main theorem
Theorem ([M. 13] (ZFC + (0] exists) + ¬CH)
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone non-trivially.
2 E has ℵ1 many equivalence classes.
This theorem applies to all the examples mentioned before.Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecture;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 33 / 50
![Page 190: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/190.jpg)
The main theorem
Theorem ([M. 13] (ZFC + (0] exists) + ¬CH)
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone non-trivially.
2 E has ℵ1 many equivalence classes.
This theorem applies to all the examples mentioned before.Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecture;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 33 / 50
![Page 191: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/191.jpg)
The main theorem
Theorem ([M. 13] (ZFC + (0] exists) + ¬CH)
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone non-trivially.
2 E has ℵ1 many equivalence classes.
This theorem applies to all the examples mentioned before.Examples:• isomorphism on well-orderings;
• bi-embeddability on linear orderings;
• bi-embeddability on torsion abelian groups;
• isomorphism on models of a counterexample to Vaught’s conjecture;
• X ≡ Y ⇐⇒ ωX1 = ωY
1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 33 / 50
![Page 192: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/192.jpg)
The ¬CH assumption.
Theorem: [Burgess 78] Let E be Σ11-equivalence relation on 2ω.
Either E has perfectly many classes, or it has at most ℵ1 many classes.
Recall: E has perfectly many classes if there is a perfect tree all whose paths are E -inequivalent.
Theorem ([M. 13] (ZFC + (0] exists))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 34 / 50
![Page 193: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/193.jpg)
The ¬CH assumption.
Theorem: [Burgess 78] Let E be Σ11-equivalence relation on 2ω.
Either E has perfectly many classes, or it has at most ℵ1 many classes.
Recall: E has perfectly many classes if there is a perfect tree all whose paths are E -inequivalent.
Theorem ([M. 13] (ZFC + (0] exists))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 34 / 50
![Page 194: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/194.jpg)
The ¬CH assumption.
Theorem: [Burgess 78] Let E be Σ11-equivalence relation on 2ω.
Either E has perfectly many classes, or it has at most ℵ1 many classes.
Recall: E has perfectly many classes if there is a perfect tree all whose paths are E -inequivalent.
Theorem ([M. 13] (ZFC + (0] exists))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 34 / 50
![Page 195: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/195.jpg)
The ¬CH assumption.
Theorem: [Burgess 78] Let E be Σ11-equivalence relation on 2ω.
Either E has perfectly many classes, or it has at most ℵ1 many classes.
Recall: E has perfectly many classes if there is a perfect tree all whose paths are E -inequivalent.
Theorem ([M. 13] (ZFC + (0] exists))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 34 / 50
![Page 196: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/196.jpg)
The ¬CH assumption.
Theorem: [Burgess 78] Let E be Σ11-equivalence relation on 2ω.
Either E has perfectly many classes, or it has at most ℵ1 many classes.
Recall: E has perfectly many classes if there is a perfect tree all whose paths are E -inequivalent.
Theorem ([M. 13] (ZFC + (0] exists))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive on a cone.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 34 / 50
![Page 197: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/197.jpg)
The sharp assumption
Def: S ⊆ 2ω is cofinal (in the Turing degrees) if ∀Y ∃X ≥T Y (X ∈ S).
Thm: [Martin](0] exists). If S is degree invariant and cofinal, it contains a cone.
Theorem ([M. 13] (ZF))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive relative to a cofinal set of oracles.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 35 / 50
![Page 198: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/198.jpg)
The sharp assumption
Def: S ⊆ 2ω is cofinal (in the Turing degrees) if ∀Y ∃X ≥T Y (X ∈ S).
Thm: [Martin](0] exists). If S is degree invariant and cofinal, it contains a cone.
Theorem ([M. 13] (ZF))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive relative to a cofinal set of oracles.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 35 / 50
![Page 199: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/199.jpg)
The sharp assumption
Def: S ⊆ 2ω is cofinal (in the Turing degrees) if ∀Y ∃X ≥T Y (X ∈ S).
Thm: [Martin](0] exists). If S is degree invariant and cofinal, it contains a cone.
Theorem ([M. 13] (ZF))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive relative to a cofinal set of oracles.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 35 / 50
![Page 200: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/200.jpg)
The sharp assumption
Def: S ⊆ 2ω is cofinal (in the Turing degrees) if ∀Y ∃X ≥T Y (X ∈ S).
Thm: [Martin](0] exists). If S is degree invariant and cofinal, it contains a cone.
Theorem ([M. 13] (ZF))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive relative to a cofinal set of oracles.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 35 / 50
![Page 201: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/201.jpg)
The sharp assumption
Def: S ⊆ 2ω is cofinal (in the Turing degrees) if ∀Y ∃X ≥T Y (X ∈ S).
Thm: [Martin](0] exists). If S is degree invariant and cofinal, it contains a cone.
Theorem ([M. 13] (ZF))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive relative to a cofinal set of oracles.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 35 / 50
![Page 202: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/202.jpg)
The sharp assumption
Def: S ⊆ 2ω is cofinal (in the Turing degrees) if ∀Y ∃X ≥T Y (X ∈ S).
Thm: [Martin](0] exists). If S is degree invariant and cofinal, it contains a cone.
Theorem ([M. 13] (ZF))
Let E be a Σ11-equivalence relation on 2ω. TFAE
1 E satisfies hyperarithmetic-is-recursive relative to a cofinal set of oracles.
2 E does not have perfectly many equivalence classes.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 35 / 50
![Page 203: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/203.jpg)
The sharp assumption is necessary for “on a cone” version
Theorem ([M. 13])
The following are equivalent over ZF .
1 Every Σ11-equivalence relation without perfectly many classes
satisfies hyperarithmetic-is-recursive on a cone.
2 0] exists.
The key result in this proof is:
Thm:[Sami 99] Let S = {Y ∈ 2ω : ∃Z (∀W ≤hyp Z (W ≤T Y ) & ωZ1 = ωY
1 }.If S contains a cone, then 0] exists.
The proof of our result uses the following equivalence: X ≡ Y iff• X and Y are code structures Lα(A) and Lβ(B) with α = β and ωA
1 = ωB1 ,
• or neither X nor Y are presentations of the form Lα(A) for α ∈ ω1, A ∈ 2ω.
It then uses Barwise compactness to put us in the hypothesis of Sami’s theorem:
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 36 / 50
![Page 204: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/204.jpg)
The sharp assumption is necessary for “on a cone” version
Theorem ([M. 13])
The following are equivalent over ZF .
1 Every Σ11-equivalence relation without perfectly many classes
satisfies hyperarithmetic-is-recursive on a cone.
2 0] exists.
The key result in this proof is:
Thm:[Sami 99] Let S = {Y ∈ 2ω : ∃Z (∀W ≤hyp Z (W ≤T Y ) & ωZ1 = ωY
1 }.If S contains a cone, then 0] exists.
The proof of our result uses the following equivalence: X ≡ Y iff• X and Y are code structures Lα(A) and Lβ(B) with α = β and ωA
1 = ωB1 ,
• or neither X nor Y are presentations of the form Lα(A) for α ∈ ω1, A ∈ 2ω.
It then uses Barwise compactness to put us in the hypothesis of Sami’s theorem:
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 36 / 50
![Page 205: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/205.jpg)
The sharp assumption is necessary for “on a cone” version
Theorem ([M. 13])
The following are equivalent over ZF .
1 Every Σ11-equivalence relation without perfectly many classes
satisfies hyperarithmetic-is-recursive on a cone.
2 0] exists.
The key result in this proof is:
Thm:[Sami 99] Let S = {Y ∈ 2ω : ∃Z (∀W ≤hyp Z (W ≤T Y ) & ωZ1 = ωY
1 }.If S contains a cone, then 0] exists.
The proof of our result uses the following equivalence: X ≡ Y iff• X and Y are code structures Lα(A) and Lβ(B) with α = β and ωA
1 = ωB1 ,
• or neither X nor Y are presentations of the form Lα(A) for α ∈ ω1, A ∈ 2ω.
It then uses Barwise compactness to put us in the hypothesis of Sami’s theorem:
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 36 / 50
![Page 206: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/206.jpg)
The sharp assumption is necessary for “on a cone” version
Theorem ([M. 13])
The following are equivalent over ZF .
1 Every Σ11-equivalence relation without perfectly many classes
satisfies hyperarithmetic-is-recursive on a cone.
2 0] exists.
The key result in this proof is:
Thm:[Sami 99] Let S = {Y ∈ 2ω : ∃Z (∀W ≤hyp Z (W ≤T Y ) & ωZ1 = ωY
1 }.If S contains a cone, then 0] exists.
The proof of our result uses the following equivalence: X ≡ Y iff• X and Y are code structures Lα(A) and Lβ(B) with α = β and ωA
1 = ωB1 ,
• or neither X nor Y are presentations of the form Lα(A) for α ∈ ω1, A ∈ 2ω.
It then uses Barwise compactness to put us in the hypothesis of Sami’s theorem:
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 36 / 50
![Page 207: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/207.jpg)
The sharp assumption is necessary for “on a cone” version
Theorem ([M. 13])
The following are equivalent over ZF .
1 Every Σ11-equivalence relation without perfectly many classes
satisfies hyperarithmetic-is-recursive on a cone.
2 0] exists.
The key result in this proof is:
Thm:[Sami 99] Let S = {Y ∈ 2ω : ∃Z (∀W ≤hyp Z (W ≤T Y ) & ωZ1 = ωY
1 }.If S contains a cone, then 0] exists.
The proof of our result uses the following equivalence: X ≡ Y iff• X and Y are code structures Lα(A) and Lβ(B) with α = β and ωA
1 = ωB1 ,
• or neither X nor Y are presentations of the form Lα(A) for α ∈ ω1, A ∈ 2ω.
It then uses Barwise compactness to put us in the hypothesis of Sami’s theorem:
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 36 / 50
![Page 208: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/208.jpg)
Part IV
1 Π11-ness and ordinals
2 Hyperarithmeticy
3 When hyperarithmetic is recursive
4 Overspill
5 A structure equivalent to its own jump
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 37 / 50
![Page 209: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/209.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof:
Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 210: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/210.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 211: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/211.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11
and J ⊆ O. But O not Σ11, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 212: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/212.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O.
But O not Σ11, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 213: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/213.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1,
so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 214: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/214.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 215: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/215.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:
(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 216: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/216.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 217: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/217.jpg)
Ill-founded hierarchies
Theorem
There is a computable ill-founded liner ordering with a jump hierarchy.
Proof: Let J = {e ∈ N : ∃H jump hierarchy on Le} where Le is eth comp. LO.
J is Σ11 and J ⊆ O. But O not Σ1
1, so J ( O. Any Le for e ∈ J rO is as wanted
Theorem: [Spector 59][Gandy 60] For A ⊆ N, TFAE:
A is definable by formula of the form: ∀X (...arithmetic ...)
A is definable by formula of the form: ∃ hyp X (...arithmetic ..)
Proof:(=>) Use that Le is well-founded ⇐⇒ there is a hyp jump hierarchy on it.
(<=) Use that the set of indices for hyp reals is Π11.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 38 / 50
![Page 218: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/218.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof:
Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1 and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 219: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/219.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}
J is Σ11 and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 220: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/220.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1
and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 221: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/221.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1 and J ⊆ O.
Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 222: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/222.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1 and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 223: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/223.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1 and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 224: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/224.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1 and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 225: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/225.jpg)
Harrison’s linear ordering
Theorem: There is an ill-founded computable linear orderingwith no hyperarithmetic descending sequences.
Proof: Let J = {e ∈ N : Le has no hyp. des. seq.}J is Σ1
1 and J ⊆ O. Therefore J ( O.
Theorem: Every such linear ordering is isomorphic toωCK
1 + ωCK1 ·Q + β for some β < ωCK
1 .
Definition: ωCK1 + ωCK
1 ·Q is called the Harrison linear ordering.
It has a computable presentation, but the ωCK1 cut is not even hyp.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 39 / 50
![Page 226: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/226.jpg)
Barwise compactness
Lc,ω does not satisfy compactness.
Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 227: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/227.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.
The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 228: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/228.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 229: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/229.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 230: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/230.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 231: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/231.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}.
J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 232: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/232.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11
and H �ωCK1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 233: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/233.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 234: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/234.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 235: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/235.jpg)
Barwise compactness
Lc,ω does not satisfy compactness. Consider the vocabulary {0, 1, 2, 3...}.The list {∨∨n∈N c = n; c 6= 0, c 6= 1, c 6= 2, c 6= 3, ...}
is finitely satisfiable but not satisfiable.
Let H be the Harrison linear ordering and ωCK1 be its well-founded part.
Theorem: [Barwise] Let {ϕf (e) : e ∈ ωCK1 } be a computable list of
Lc,ω-sentences such that, for every α < ωCK1 , {ϕf (e) : e < α} is satisfiable.
Then {ϕf (e) : e ∈ ωCK1 } is satisfiable.
Proof: Let J = {e ∈ H : ∃A (A |=∧∧
e<α ϕf (e))}. J is Σ11 and H �ωCK
1 ⊆ J.
Furthermore, we can get A to be low for ω1. I.e. ωA1 = ωCK1 .
Corollary: [Kreisel] Let S be a Π11 set of Lc,ω-formulas.
If every hyperarithmetic subset of S is satisfiable, then so is S .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 40 / 50
![Page 236: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/236.jpg)
A different formulation for overspill arguments
Theorem: There is an ω-model M of ZFC whose well-ordered part is ωCK1 .
That is, ωM ∼= ω, and ONM ∼= ωCK1 + ωCK
1 ·Q ∼= (ωCK1 )M.
Proof: The set of countable models of ZFC & ∀x ∈ ω (∨∨
n∈N x = n) is Σ11.
So there is such a model with ωM1 = ωCK1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 41 / 50
![Page 237: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/237.jpg)
A different formulation for overspill arguments
Theorem: There is an ω-model M of ZFC whose well-ordered part is ωCK1 .
That is, ωM ∼= ω, and ONM ∼= ωCK1 + ωCK
1 ·Q
∼= (ωCK1 )M.
Proof: The set of countable models of ZFC & ∀x ∈ ω (∨∨
n∈N x = n) is Σ11.
So there is such a model with ωM1 = ωCK1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 41 / 50
![Page 238: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/238.jpg)
A different formulation for overspill arguments
Theorem: There is an ω-model M of ZFC whose well-ordered part is ωCK1 .
That is, ωM ∼= ω, and ONM ∼= ωCK1 + ωCK
1 ·Q ∼= (ωCK1 )M.
Proof: The set of countable models of ZFC & ∀x ∈ ω (∨∨
n∈N x = n) is Σ11.
So there is such a model with ωM1 = ωCK1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 41 / 50
![Page 239: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/239.jpg)
A different formulation for overspill arguments
Theorem: There is an ω-model M of ZFC whose well-ordered part is ωCK1 .
That is, ωM ∼= ω, and ONM ∼= ωCK1 + ωCK
1 ·Q ∼= (ωCK1 )M.
Proof: The set of countable models of ZFC & ∀x ∈ ω (∨∨
n∈N x = n) is Σ11.
So there is such a model with ωM1 = ωCK1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 41 / 50
![Page 240: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/240.jpg)
A different formulation for overspill arguments
Theorem: There is an ω-model M of ZFC whose well-ordered part is ωCK1 .
That is, ωM ∼= ω, and ONM ∼= ωCK1 + ωCK
1 ·Q ∼= (ωCK1 )M.
Proof: The set of countable models of ZFC & ∀x ∈ ω (∨∨
n∈N x = n) is Σ11.
So there is such a model with ωM1 = ωCK1 .
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 41 / 50
![Page 241: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/241.jpg)
Part V
1 Π11-ness and ordinals
2 Hyperarithmeticy
3 When hyperarithmetic is recursive
4 Overspill
5 A structure equivalent to its own jump
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 42 / 50
![Page 242: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/242.jpg)
The jump of a structure
Given a structure A, we define A′ by adding relations Ri ,j for i , j ∈ ω,
(a1, ..., aj) ∈ Ri ,j ⇐⇒ A |= ϕΣe,j(a1, ..., aj),
where ϕΣe,j be the eth Σc
1 formula on the variables x1, ...., xj .
Definition: We call A′ the jump of A.
Lemma: (1st Jump inversion theorem) (∀A)(∃B) B′ ≡ A⊕ 0′
Lemma: (2nd Jump inversion theorem) DgSp(A′) = {X ′ : X ∈ DgSp(A)}.
Examples:
If L a Linear ordering, then L′ ≡ (L, succ , 0′).
If B a Boolean algebra, then B′ ≡ (B, atom, 0′).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 43 / 50
![Page 243: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/243.jpg)
The jump of a structure
Given a structure A, we define A′ by adding relations Ri ,j for i , j ∈ ω,
(a1, ..., aj) ∈ Ri ,j ⇐⇒ A |= ϕΣe,j(a1, ..., aj),
where ϕΣe,j be the eth Σc
1 formula on the variables x1, ...., xj .
Definition: We call A′ the jump of A.
Lemma: (1st Jump inversion theorem) (∀A)(∃B) B′ ≡ A⊕ 0′
Lemma: (2nd Jump inversion theorem) DgSp(A′) = {X ′ : X ∈ DgSp(A)}.
Examples:
If L a Linear ordering, then L′ ≡ (L, succ , 0′).
If B a Boolean algebra, then B′ ≡ (B, atom, 0′).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 43 / 50
![Page 244: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/244.jpg)
The jump of a structure
Given a structure A, we define A′ by adding relations Ri ,j for i , j ∈ ω,
(a1, ..., aj) ∈ Ri ,j ⇐⇒ A |= ϕΣe,j(a1, ..., aj),
where ϕΣe,j be the eth Σc
1 formula on the variables x1, ...., xj .
Definition: We call A′ the jump of A.
Lemma: (1st Jump inversion theorem) (∀A)(∃B) B′ ≡ A⊕ 0′
Lemma: (2nd Jump inversion theorem) DgSp(A′) = {X ′ : X ∈ DgSp(A)}.
Examples:
If L a Linear ordering, then L′ ≡ (L, succ , 0′).
If B a Boolean algebra, then B′ ≡ (B, atom, 0′).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 43 / 50
![Page 245: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/245.jpg)
The jump of a structure
Given a structure A, we define A′ by adding relations Ri ,j for i , j ∈ ω,
(a1, ..., aj) ∈ Ri ,j ⇐⇒ A |= ϕΣe,j(a1, ..., aj),
where ϕΣe,j be the eth Σc
1 formula on the variables x1, ...., xj .
Definition: We call A′ the jump of A.
Lemma: (1st Jump inversion theorem) (∀A)(∃B) B′ ≡ A⊕ 0′
Lemma: (2nd Jump inversion theorem) DgSp(A′) = {X ′ : X ∈ DgSp(A)}.
Examples:
If L a Linear ordering, then L′ ≡ (L, succ , 0′).
If B a Boolean algebra, then B′ ≡ (B, atom, 0′).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 43 / 50
![Page 246: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/246.jpg)
The jump of a structure
Given a structure A, we define A′ by adding relations Ri ,j for i , j ∈ ω,
(a1, ..., aj) ∈ Ri ,j ⇐⇒ A |= ϕΣe,j(a1, ..., aj),
where ϕΣe,j be the eth Σc
1 formula on the variables x1, ...., xj .
Definition: We call A′ the jump of A.
Lemma: (1st Jump inversion theorem) (∀A)(∃B) B′ ≡ A⊕ 0′
Lemma: (2nd Jump inversion theorem) DgSp(A′) = {X ′ : X ∈ DgSp(A)}.
Examples:
If L a Linear ordering, then L′ ≡ (L, succ , 0′).
If B a Boolean algebra, then B′ ≡ (B, atom, 0′).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 43 / 50
![Page 247: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/247.jpg)
The jump of a structure
Given a structure A, we define A′ by adding relations Ri ,j for i , j ∈ ω,
(a1, ..., aj) ∈ Ri ,j ⇐⇒ A |= ϕΣe,j(a1, ..., aj),
where ϕΣe,j be the eth Σc
1 formula on the variables x1, ...., xj .
Definition: We call A′ the jump of A.
Lemma: (1st Jump inversion theorem) (∀A)(∃B) B′ ≡ A⊕ 0′
Lemma: (2nd Jump inversion theorem) DgSp(A′) = {X ′ : X ∈ DgSp(A)}.
Examples:
If L a Linear ordering, then L′ ≡ (L, succ , 0′).
If B a Boolean algebra, then B′ ≡ (B, atom, 0′).
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 43 / 50
![Page 248: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/248.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 249: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/249.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 250: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/250.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer:
It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 251: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/251.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends
of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 252: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/252.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 253: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/253.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 254: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/254.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 255: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/255.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 256: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/256.jpg)
Does the jump jump?
Question: Is there a structure equivalent to its own jump?
Answer: It depends of what you mean by “equivalent.”
Definition: A is Muchnik reducible to B ifevery X ∈ 2ω that computes a copy of B also computes a copy of A.
Definition: A is Medvedev reducible to B ifthere is a computable operator that given copy of B outputs a copy of A.
Theorem: No structure is Medvedev equivalent to its own jump.
Theorem: There is a structure Muchnik equivalent to its own jump.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 44 / 50
![Page 257: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/257.jpg)
There is a structure Muchnik equivalent to its own jump
Proof 1: [Montalban 2011]
Uses the existence of 0] and builds a model of ZFC + V = L.
Proof 2: [Puzarenko 2011]
Uses ωCK1 iterates of power set and builds a model of KP + V = L.
Proof 3: [Montalban, Schweber, Turetski 2018]
Uses ωCK1 iterates of power set and builds a jump hierarchy.
Theorem ([Montalban 2011])
Infinitely many iterates of the power set are needed to prove this theorem.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 45 / 50
![Page 258: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/258.jpg)
There is a structure Muchnik equivalent to its own jump
Proof 1: [Montalban 2011]
Uses the existence of 0] and builds a model of ZFC + V = L.
Proof 2: [Puzarenko 2011]
Uses ωCK1 iterates of power set and builds a model of KP + V = L.
Proof 3: [Montalban, Schweber, Turetski 2018]
Uses ωCK1 iterates of power set and builds a jump hierarchy.
Theorem ([Montalban 2011])
Infinitely many iterates of the power set are needed to prove this theorem.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 45 / 50
![Page 259: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/259.jpg)
There is a structure Muchnik equivalent to its own jump
Proof 1: [Montalban 2011]
Uses the existence of 0] and builds a model of ZFC + V = L.
Proof 2: [Puzarenko 2011]
Uses ωCK1 iterates of power set and builds a model of KP + V = L.
Proof 3: [Montalban, Schweber, Turetski 2018]
Uses ωCK1 iterates of power set and builds a jump hierarchy.
Theorem ([Montalban 2011])
Infinitely many iterates of the power set are needed to prove this theorem.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 45 / 50
![Page 260: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/260.jpg)
There is a structure Muchnik equivalent to its own jump
Proof 1: [Montalban 2011]
Uses the existence of 0] and builds a model of ZFC + V = L.
Proof 2: [Puzarenko 2011]
Uses ωCK1 iterates of power set and builds a model of KP + V = L.
Proof 3: [Montalban, Schweber, Turetski 2018]
Uses ωCK1 iterates of power set and builds a jump hierarchy.
Theorem ([Montalban 2011])
Infinitely many iterates of the power set are needed to prove this theorem.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 45 / 50
![Page 261: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/261.jpg)
There is a structure Muchnik equivalent to its own jump
Proof 1: [Montalban 2011]
Uses the existence of 0] and builds a model of ZFC + V = L.
Proof 2: [Puzarenko 2011]
Uses ωCK1 iterates of power set and builds a model of KP + V = L.
Proof 3: [Montalban, Schweber, Turetski 2018]
Uses ωCK1 iterates of power set and builds a jump hierarchy.
Theorem ([Montalban 2011])
Infinitely many iterates of the power set are needed to prove this theorem.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 45 / 50
![Page 262: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/262.jpg)
Jump-hierarchy structures
Def: A jump-hierarchy structure is a structure J = (A;≤,Ri ,j : i , j ∈ ω),where A = (A;≤) is a linear ordering and
A |= Ri ,j(a, b1, ..., bj) ⇐⇒ b1, ..., bj < a & L � a |= ϕΣi ,j(b1, ..., bj).
Obs: If a + 1 is the successor of a in A, J � a + 1 ≡Muchnik
(J � a)′.
Obs: If J � a ∼= J � b for some a < b ∈ L, J � a ≡Muchnik
(J � a)′.
Obs: If A is well-ordered, there is a jump-hierarchy structure over A.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 46 / 50
![Page 263: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/263.jpg)
Jump-hierarchy structures
Def: A jump-hierarchy structure is a structure J = (A;≤,Ri ,j : i , j ∈ ω),where A = (A;≤) is a linear ordering and
A |= Ri ,j(a, b1, ..., bj) ⇐⇒ b1, ..., bj < a & L � a |= ϕΣi ,j(b1, ..., bj).
Obs: If a + 1 is the successor of a in A, J � a + 1 ≡Muchnik
(J � a)′.
Obs: If J � a ∼= J � b for some a < b ∈ L, J � a ≡Muchnik
(J � a)′.
Obs: If A is well-ordered, there is a jump-hierarchy structure over A.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 46 / 50
![Page 264: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/264.jpg)
Jump-hierarchy structures
Def: A jump-hierarchy structure is a structure J = (A;≤,Ri ,j : i , j ∈ ω),where A = (A;≤) is a linear ordering and
A |= Ri ,j(a, b1, ..., bj) ⇐⇒ b1, ..., bj < a & L � a |= ϕΣi ,j(b1, ..., bj).
Obs: If a + 1 is the successor of a in A, J � a + 1 ≡Muchnik
(J � a)′.
Obs: If J � a ∼= J � b for some a < b ∈ L, J � a ≡Muchnik
(J � a)′.
Obs: If A is well-ordered, there is a jump-hierarchy structure over A.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 46 / 50
![Page 265: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/265.jpg)
Jump-hierarchy structures
Def: A jump-hierarchy structure is a structure J = (A;≤,Ri ,j : i , j ∈ ω),where A = (A;≤) is a linear ordering and
A |= Ri ,j(a, b1, ..., bj) ⇐⇒ b1, ..., bj < a & L � a |= ϕΣi ,j(b1, ..., bj).
Obs: If a + 1 is the successor of a in A, J � a + 1 ≡Muchnik
(J � a)′.
Obs: If J � a ∼= J � b for some a < b ∈ L, J � a ≡Muchnik
(J � a)′.
Obs: If A is well-ordered, there is a jump-hierarchy structure over A.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 46 / 50
![Page 266: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/266.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof:
Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 267: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/267.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 268: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/268.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 269: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/269.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 270: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/270.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 271: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/271.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 272: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/272.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 273: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/273.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 274: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/274.jpg)
The Hanf number of computably infinitary logic
Lemma: [Morley][Barwise] If a Lc,ω-sentence ϕ has a model of size iωCK1
,it has a countable model with a non-trivial isomorphism.
Proof: Consider structures of the form (M,L,E , e, f ) where
1 M |= ϕ
2 L is a linear ordering with a first element 0.
3 E ⊆ L×M<ω ×M<ω.
4 For each α ∈ L, E (α, ·, ·) is an equivalence relation on M<ω.
5 E (0, a, b) if a and b satisfy the same atomic formulas.
6 E (α, a, b) if ∀β < α ∀d ∈ M ∃c ∈ M E (β, ac, bd).and ∀c ∈ M ∃c ∈ M E (β, ac, bd).
7 e 6= f ∈ M and, for all α ∈ L, E (α, e, f ).
and, for all α < ωCK1
there is an a ∈ L such that L � a ∼= α.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 47 / 50
![Page 275: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/275.jpg)
Finishing the proof
Claim 1: If L is ill-founded, then e and f are automorphic.
Proof: If C ⊆ L has no least element,
{(a, b) : (∃α ∈ C ) E (α, a, b)} has back-and-forth property.
Claim 2: If L is well-ordered, there is such structure satisfying 1-6.
Claim 3: If α well-ordered, E (α, ·, ·) has at most iα equivalence classes.
Claim 4: If L < ωCK1 there is such structure satisfying 1-7.
Claim 5: There is a model B of 1-8 with ωB1 = ωCK1 and L ∼= H.
Proof: Use Barwise compactness.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 48 / 50
![Page 276: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/276.jpg)
Finishing the proof
Claim 1: If L is ill-founded, then e and f are automorphic.
Proof: If C ⊆ L has no least element,
{(a, b) : (∃α ∈ C ) E (α, a, b)} has back-and-forth property.
Claim 2: If L is well-ordered, there is such structure satisfying 1-6.
Claim 3: If α well-ordered, E (α, ·, ·) has at most iα equivalence classes.
Claim 4: If L < ωCK1 there is such structure satisfying 1-7.
Claim 5: There is a model B of 1-8 with ωB1 = ωCK1 and L ∼= H.
Proof: Use Barwise compactness.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 48 / 50
![Page 277: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/277.jpg)
Finishing the proof
Claim 1: If L is ill-founded, then e and f are automorphic.
Proof: If C ⊆ L has no least element,
{(a, b) : (∃α ∈ C ) E (α, a, b)} has back-and-forth property.
Claim 2: If L is well-ordered, there is such structure satisfying 1-6.
Claim 3: If α well-ordered, E (α, ·, ·) has at most iα equivalence classes.
Claim 4: If L < ωCK1 there is such structure satisfying 1-7.
Claim 5: There is a model B of 1-8 with ωB1 = ωCK1 and L ∼= H.
Proof: Use Barwise compactness.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 48 / 50
![Page 278: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/278.jpg)
Finishing the proof
Claim 1: If L is ill-founded, then e and f are automorphic.
Proof: If C ⊆ L has no least element,
{(a, b) : (∃α ∈ C ) E (α, a, b)} has back-and-forth property.
Claim 2: If L is well-ordered, there is such structure satisfying 1-6.
Claim 3: If α well-ordered, E (α, ·, ·) has at most iα equivalence classes.
Claim 4: If L < ωCK1 there is such structure satisfying 1-7.
Claim 5: There is a model B of 1-8 with ωB1 = ωCK1 and L ∼= H.
Proof: Use Barwise compactness.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 48 / 50
![Page 279: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/279.jpg)
Finishing the proof
Claim 1: If L is ill-founded, then e and f are automorphic.
Proof: If C ⊆ L has no least element,
{(a, b) : (∃α ∈ C ) E (α, a, b)} has back-and-forth property.
Claim 2: If L is well-ordered, there is such structure satisfying 1-6.
Claim 3: If α well-ordered, E (α, ·, ·) has at most iα equivalence classes.
Claim 4: If L < ωCK1 there is such structure satisfying 1-7.
Claim 5: There is a model B of 1-8 with ωB1 = ωCK1 and L ∼= H.
Proof: Use Barwise compactness.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 48 / 50
![Page 280: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/280.jpg)
Finishing the proof
Claim 1: If L is ill-founded, then e and f are automorphic.
Proof: If C ⊆ L has no least element,
{(a, b) : (∃α ∈ C ) E (α, a, b)} has back-and-forth property.
Claim 2: If L is well-ordered, there is such structure satisfying 1-6.
Claim 3: If α well-ordered, E (α, ·, ·) has at most iα equivalence classes.
Claim 4: If L < ωCK1 there is such structure satisfying 1-7.
Claim 5: There is a model B of 1-8 with ωB1 = ωCK1 and L ∼= H.
Proof: Use Barwise compactness.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 48 / 50
![Page 281: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/281.jpg)
The necessity of infinitely many iterations of the power set
Theorem: [Montalban 11]
ZFC - (Power set axiom) +( n times︷ ︸︸ ︷P(P(· · · P(ω) · · · )) exists
)does not prove
the existence of a structure Muchnik equivalent to its own jump.
Proof of case n = 1: Show that if A ≡Muchnik
A′, then
{X ⊆ ω : X is c.e. in every copy of A}
forms an ω-model of 2nd-order arithmetic.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 49 / 50
![Page 282: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/282.jpg)
The necessity of infinitely many iterations of the power set
Theorem: [Montalban 11]
ZFC - (Power set axiom) +( n times︷ ︸︸ ︷P(P(· · · P(ω) · · · )) exists
)does not prove
the existence of a structure Muchnik equivalent to its own jump.
Proof of case n = 1:
Show that if A ≡Muchnik
A′, then
{X ⊆ ω : X is c.e. in every copy of A}
forms an ω-model of 2nd-order arithmetic.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 49 / 50
![Page 283: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/283.jpg)
The necessity of infinitely many iterations of the power set
Theorem: [Montalban 11]
ZFC - (Power set axiom) +( n times︷ ︸︸ ︷P(P(· · · P(ω) · · · )) exists
)does not prove
the existence of a structure Muchnik equivalent to its own jump.
Proof of case n = 1: Show that if A ≡Muchnik
A′, then
{X ⊆ ω : X is c.e. in every copy of A}
forms an ω-model of 2nd-order arithmetic.
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 49 / 50
![Page 284: Higher Recursion in Computable Structure Theory. · 2019. 5. 21. · Higher Recursion in Computable Structure Theory. Antonio Montalb an University of California, Berkeley Workshop](https://reader035.vdocuments.net/reader035/viewer/2022062606/5fe55f44b8d9391173085121/html5/thumbnails/284.jpg)
Antonio Montalban (U.C. Berkeley) Higher Recursion and computable structures. May 2019 50 / 50