arXiv Analytics

Sign in

arXiv:2106.12660 [math.LO]AbstractReferencesReviewsResources

Sets of real numbers closed under Turing equivalence: Applications to fields, orders and automorphisms

Ivan Ongay-Valverde

Published 2021-06-23Version 1

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 order. 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.

Comments: 35 pages, submitted, thesis chapter
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2206.12721 [math.LO] (Published 2022-06-25)
On the computational properties of the uncountability of the real numbers
arXiv:2101.01643 [math.LO] (Published 2021-01-05)
Frege's Theory of Real Numbers: A consistent Rendering
arXiv:2011.14833 [math.LO] (Published 2020-11-30)
Connectedness in structures on the real numbers: o-minimality and undecidability