Abstract
In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and orders. Afterwards, we combine the results from our study of these sets as orders with a classical construction from Avraham to obtain a restriction about how non trivial automorphism of the Turing degrees (if they exist) interact with 1-generic degrees.
Similar content being viewed by others
Notes
An order preserving function is a function such that whenever \(x<y\) then \(f(x)<f(y)\). On the other hand, an order reversing function is such that if \(x<y\) then \(f(y)<f(x)\).
Here \(B_{\frac{1}{n}}^{K}(s)\) is the ball of radius \(\frac{1}{n}\) with center s in K, a subset of \({\mathbb {R}}\).
References
Abraham, U., Rubin, M., Shelah, S.: On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _1\)-dense real order types. Ann. Pure Appl. Log. 29(2), 123–206 (1985)
Avraham, U., Shelah, S.: Martin’s axiom does not imply that every two \(\aleph _{1}\)-dense sets of reals are isomorphic. Israel J. Math. 38(1–2), 161–176 (1981)
Baumgartner, J.E.: All \(\aleph _{1}\)-dense sets of reals can be isomorphic. Fund. Math. 79(2), 101–106 (1973)
Hart, E., Kunen, K.: Spaces with no S or L subspaces. Topol. Proc. to appear (2019)
Hinman, P.G.: Recursion-Theoretic Hierarchies. Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York (1978)
Kunen, K.: Set Theory. Studies in Logic (London), vol. 34. College Publications, London (2011)
Lachlan, A.H., Lebeuf, R.: Countable initial segments of the degrees of unsolvability. J. Symb. Log. 41(2), 289–300 (1976)
Löwe, B.: Turing cones and set theory of the reals. Arch. Math. Log. 40(8), 651–664 (2001)
Miller, J.S.: Degrees of unsolvability of continuous functions. J. Symb. Log. 69(2), 555–584 (2004)
Ongay-Valverde, I.: Relations between Set Theory and Computability Theory: the case for localization numbers and sets closed under Turing equivalence. PhD thesis, The University of Wisconsin-Madison (2020)
Rice, H.G.: Recursive real numbers. Proc. Am. Math. Soc. 5, 784–791 (1954)
Sacks, G.E.: Degrees of Unsolvability. Princeton University Press, Princeton, N.J. (1963)
Sacks, G.E.: On the degrees less than \(\textbf{0} ^{\prime }\). Ann. Math. 2(77), 211–231 (1963)
Slaman, T.A., Woodin, W.H.: Definability in the Turing degrees. Illinois J. Math. 30(2), 320–334 (1986)
Slaman, T.A., Woodin, W.H.: Definability in degree structures. Manuscript: https://math.berkeley.edu/~slaman/talks/sw.pdf, July 2005
Solovay, R.M., Tennenbaum, S.: Iterated Cohen extensions and Souslin’s problem. Ann. Math. 2(94), 201–245 (1971)
Todorčević, S.: Partition Problems in Topology. Contemporary Mathematics, vol. 84. American Mathematical Society, Providence, RI (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Work done while being supported by CONACYT scholarship for Mexican students studying abroad and the Bank of Mexico through the FIDERH.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ongay-Valverde, I. Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms. Arch. Math. Logic 62, 843–869 (2023). https://doi.org/10.1007/s00153-023-00865-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-023-00865-7