arXiv:2106.12660 [math.LO]AbstractReferencesReviewsResources
Sets of real numbers closed under Turing equivalence: Applications to fields, orders and automorphisms
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
Keywords: real numbers, applications, non trivial automorphism, turing equivalence sit inside, first half
Tags: dissertation
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