Mathematics – Logic
Scientific paper
2009-01-25
Mathematics
Logic
Doctoral dissertation, Logic and the Methodology of Science, University of California, Berkeley, 2002
Scientific paper
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".
No associations
LandOfFree
Lattice initial segments of the Turing degrees does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Lattice initial segments of the Turing degrees, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lattice initial segments of the Turing degrees will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-504031