Downey, Rod, Greenberg, Noam, Lewis, Andrew E. M. and Montalbán, Antonio (2013) On the degree spectrum of a π01 class. Transactions of the American Mathematical Society, 365 (06). pp. 2977-3018. ISSN 0002-9947
Abstract
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 |
|---|---|
| Official URL: | http://www.ams.org/publications/journals/journalsf... |
| Additional Information: | © 2013 American Mathematical Society |
| Library of Congress subject classification: | Q Science > QA Mathematics |
| Sets: | Departments > Mathematics |
| Date Deposited: | 06 Aug 2013 11:50 |
| URL: | http://eprints.lse.ac.uk/51456/ |
Actions (login required)
 |
Record administration - authorised staff only |
