Results 1 
6 of
6
The theory of the degrees below 0
 J. London Math. Soc
, 1981
"... Degree theory, that is the study of the structure of the Turing degrees (or degrees of unsolvability) has been divided by Simpson [24; §5] into two parts—global and local. By the global theory he means the study of general structural properties of 3d— the degrees as a partially ordered set or uppers ..."
Abstract

Cited by 22 (7 self)
 Add to MetaCart
(Show Context)
Degree theory, that is the study of the structure of the Turing degrees (or degrees of unsolvability) has been divided by Simpson [24; §5] into two parts—global and local. By the global theory he means the study of general structural properties of 3d— the degrees as a partially ordered set or uppersemilattice. The local theory concerns
ON COMPUTABLE SELFEMBEDDINGS OF COMPUTABLE LINEAR ORDERINGS
"... Abstract. We make progress toward solving a longstanding open problem in the area of computable linear orderings by showing that every computable ηlike linear ordering without an infinite strongly ηlike interval has a computable copy without nontrivial computable selfembedding. The precise chara ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We make progress toward solving a longstanding open problem in the area of computable linear orderings by showing that every computable ηlike linear ordering without an infinite strongly ηlike interval has a computable copy without nontrivial computable selfembedding. The precise characterization of those computable linear orderings which have computable copies without nontrivial computable selfembedding remains open. Introduction...
SPECTRA OF THEORIES AND STRUCTURES
"... Abstract. We introduce the notion of a degree spectrum of a complete theory to be the set of Turing degrees that contain a copy of some model of the theory. We generate examples showing that not all degree spectra of theories are degree spectra of structures and viceversa. To this end, we give a ne ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We introduce the notion of a degree spectrum of a complete theory to be the set of Turing degrees that contain a copy of some model of the theory. We generate examples showing that not all degree spectra of theories are degree spectra of structures and viceversa. To this end, we give a new necessary condition on the degree spectrum of a structure, specifically showing that the set of PA degrees and the upward closure of the set of 1random degrees are not degree spectra of structures but are degree spectra of theories. 1.
COUNTING THE BACKANDFORTH TYPES
, 2010
"... Given a class of structures K and n ∈ ω, we study the dichotomy between there being countably many nbackandforth equivalence classes and there being continuum many. In the latter case we show that, relative to some oracle, every set can be weakly coded in the (n − 1)st jump of some structure in ..."
Abstract
 Add to MetaCart
(Show Context)
Given a class of structures K and n ∈ ω, we study the dichotomy between there being countably many nbackandforth equivalence classes and there being continuum many. In the latter case we show that, relative to some oracle, every set can be weakly coded in the (n − 1)st jump of some structure in K. In the former case we show that there is a countable set of infinitary Πn relations that captures all of the Πn information about the structures in K. In most cases where there are countably many nbackandforth equivalence classes, there is a computable description of them. We will show how to use this computable description to get a complete set of computably infinitary Πn formulas. This will allow us to completely characterize the relatively intrinsically Σ 0 n+1 relations in the computable structures of K, and to prove that no Turing degree can be coded by the (n − 1)st jump of any structure in K unless that degree is already below 0 (n−1).
unknown title
"... 3.1 Turing degrees of isomorphism types of structures................... 21 ..."
Abstract
 Add to MetaCart
(Show Context)
3.1 Turing degrees of isomorphism types of structures................... 21