Degree-invariant, analytic equivalence relations without perfectly many classes
HTML articles powered by AMS MathViewer
- by Antonio Montalbán PDF
- Proc. Amer. Math. Soc. 145 (2017), 395-398 Request permission
Abstract:
We show that there is only one natural Turing-degree invariant, analytic equivalence relation with $\aleph _1$ many equivalence classes: the equivalence $X \equiv _{\omega _1} Y\iff \omega _1^X=\omega _1^Y$. More precisely, under $PD+\neg CH$, we show that every Turing-degree invariant, analytic equivalence relation with $\aleph _1$ many equivalence classes is equal to $\equiv _{\omega _1}$ on a Turing cone.References
- John P. Burgess, A reflection phenomenon in descriptive set theory, Fund. Math. 104 (1979), no. 2, 127–139. MR 551663, DOI 10.4064/fm-104-2-127-139
- Noam Greenberg and Antonio Montalbán, Ranked structures and arithmetic transfinite recursion, Trans. Amer. Math. Soc. 360 (2008), no. 3, 1265–1307. MR 2357696, DOI 10.1090/S0002-9947-07-04285-7
- Joseph Harrison, Recursive pseudo-well-orderings, Trans. Amer. Math. Soc. 131 (1968), 526–543. MR 244049, DOI 10.1090/S0002-9947-1968-0244049-7
- Leo Harrington, Analytic determinacy and $0^{\sharp }$, J. Symbolic Logic 43 (1978), no. 4, 685–693. MR 518675, DOI 10.2307/2273508
- Antonio Montalbán, Analytic equivalence relations satisfying hyperarithmetic-is-recursive, Forum Math. Sigma 3 (2015), Paper No. e8, 11. MR 3376734, DOI 10.1017/fms.2015.5
- Antonio Montalbán, On the equimorphism types of linear orderings, Bull. Symbolic Logic 13 (2007), no. 1, 71–99. MR 2300904
- Antonio Montalbán, A computability theoretic equivalent to Vaught’s conjecture, Adv. Math. 235 (2013), 56–73. MR 3010050, DOI 10.1016/j.aim.2012.11.012
- A. Marks, T. A. Slaman, and J. Steel, Martin’s conjecture, arithmetic equivalence, and countable Borel equivalence relations, To appear in Ordinal definability and recursion theory: The Cabal Seminar, Volume III.
- Gerald E. Sacks, Countable admissible ordinals and hyperdegrees, Advances in Math. 20 (1976), no. 2, 213–262. MR 429523, DOI 10.1016/0001-8708(76)90187-0
- Jack H. Silver, Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Ann. Math. Logic 18 (1980), no. 1, 1–28. MR 568914, DOI 10.1016/0003-4843(80)90002-9
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
- Theodore A. Slaman and John R. Steel, Definable functions on degrees, Cabal Seminar 81–85, Lecture Notes in Math., vol. 1333, Springer, Berlin, 1988, pp. 37–55. MR 960895, DOI 10.1007/BFb0084969
- John R. Steel, A classification of jump operators, J. Symbolic Logic 47 (1982), no. 2, 347–358. MR 654792, DOI 10.2307/2273146
Additional Information
- Antonio Montalbán
- Affiliation: Department of Mathematics, University of California, Berkely, California 94720
- Email: antonio@math.berkeley.edu
- Received by editor(s): January 23, 2016
- Received by editor(s) in revised form: March 13, 2016
- Published electronically: July 12, 2016
- Additional Notes: The author was partially supported by NSF grant DMS-0901169 and the Packard Fellowship
- Communicated by: Mirna Džamonja
- © Copyright 2016 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 145 (2017), 395-398
- MSC (2010): Primary 03D99, 03E99
- DOI: https://doi.org/10.1090/proc/13218
- MathSciNet review: 3565390