Lattice initial segments of the Turing degrees
Logic
2011-07-15 v2
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".
Cite
@article{arxiv.0901.3876,
title = {Lattice initial segments of the Turing degrees},
author = {Bjørn Kjos-Hanssen},
journal= {arXiv preprint arXiv:0901.3876},
year = {2011}
}
Comments
Doctoral dissertation, Logic and the Methodology of Science, University of California, Berkeley, 2002