Cookies?
Library Header Image
LSE Research Online LSE Library Services

On the degree spectrum of a π01 class

Downey, Rod, Greenberg, Noam, Lewis-Pye, Andrew 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

Full text not available from this repository.
Identification Number: 10.1090/S0002-9947-2012-05660-1

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
Divisions: Mathematics
Subjects: Q Science > QA Mathematics
Sets: Departments > Mathematics
Date Deposited: 06 Aug 2013 11:50
Last Modified: 20 Mar 2019 02:12
URI: http://eprints.lse.ac.uk/id/eprint/51456

Actions (login required)

View Item View Item