Lattice initial segments of the Turing degrees
classification
🧮 math.LO
keywords
degreesturingbelowlatticesprincipalsigma-0-3abovebounded
read the original abstract
We characterize the isomorphism types of principal ideals of the Turing degrees below 0' that are lattices as the lattices with a Sigma-0-3 presentation, by showing that each Sigma-0-3 presentable bounded upper semilattice is isomorphic to such a principal ideal. We get a similar result for the Turing degrees below any degree above 0".
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.