On the degree spectrum of a π01 class
Downey, R., Greenberg, N., Lewis-Pye, A. & Montalbán, A.
(2013).
On the degree spectrum of a π01 class.
Transactions of the American Mathematical Society,
365(06), 2977-3018.
https://doi.org/10.1090/S0002-9947-2012-05660-1
Toward establishing the decidability of the two-quantifier theory of the Δ02 Turing degrees with join, we study extensions of embeddings of upper-semi-lattices into the initial segments of Turing degrees determined by computably enumerable sets, in particular, the degree of the halting set 0'. We obtain a good deal of sufficient and necessary conditions.
| Item Type | Article |
|---|---|
| Copyright holders | © 2013 American Mathematical Society |
| Departments | LSE > Academic Departments > Mathematics |
| DOI | 10.1090/S0002-9947-2012-05660-1 |
| Date Deposited | 06 Aug 2013 |
| URI | https://researchonline.lse.ac.uk/id/eprint/51456 |
Explore Further
- https://www.scopus.com/pages/publications/84875551787 (Scopus publication)
- http://www.ams.org/publications/journals/journalsf... (Official URL)