The $\Delta^0_2$-Spectrum of a Linear Order
Miller, Russell
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 470-486 / Harvested from Project Euclid
Slaman and Wehner have constructed structures which distinguish the computable Turing degree 0 from the noncomputable degrees, in the sense that the spectrum of each structure consists precisely of the noncomputable degrees. Downey has asked if this can be done for an ordinary type of structure such as a linear order. We show that there exists a linear order whose spectrum includes every noncomputable $\Delta^0_2$ degree, but not 0. Since our argument requires the technique of permitting below a $\Delta^0_2$ set, we include a detailed explanation of the mechanics and intuition behind this type of permitting.
Publié le : 2001-06-14
Classification: 
@article{1183746454,
     author = {Miller, Russell},
     title = {The $\Delta^0\_2$-Spectrum of a Linear Order},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 470-486},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746454}
}
Miller, Russell. The $\Delta^0_2$-Spectrum of a Linear Order. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  470-486. http://gdmltest.u-ga.fr/item/1183746454/