Results 1 
4 of
4
The theory of the metarecursively enumerable degrees
"... Abstract. Sacks [Sa1966a] asks if the metarecursivley enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as O (ω) or, equival ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. Sacks [Sa1966a] asks if the metarecursivley enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as O (ω) or, equivalently, that of the truth set of L ω CK
The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
 Memoirs of the American Mathematical Society
"... Abstract. When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible ordinal satisfying a sufficiently strong fragment of the replacement scheme. We show, however, that this is not always the case. In ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible ordinal satisfying a sufficiently strong fragment of the replacement scheme. We show, however, that this is not always the case. In fact, there are some constructions which make an essential use of the notion of finiteness which cannot be replaced by the generalized notion of αfiniteness. As examples we discuss both codings of models of arithmetic into the recursively enumerable degrees, and nondistributive lattice embeddings into these degrees. We show that if an admissible ordinal α is effectively close to ω (where this closeness can be measured by size or by cofinality) then such constructions may be performed in the αr.e. degrees, but otherwise they fail. The results of these constructions can be expressed in the firstorder language of partially ordered sets, and so these results also show that there are natural elementary differences between the structures of αr.e. degrees for various classes of admissible ordinals α. Together with coding work which shows that for some α, the theory of the αr.e. degrees is complicated, we get that for every admissible ordinal
Transfinite Machine Models
, 2011
"... In recent years there has emerged the study of discrete computational models which are allowed to act transfinitely. By ‘discrete ’ we mean that the machine models considered are not analogue machines, but compute by means of distinct stages or in units of time. The paradigm of such models is, of co ..."
Abstract
 Add to MetaCart
In recent years there has emerged the study of discrete computational models which are allowed to act transfinitely. By ‘discrete ’ we mean that the machine models considered are not analogue machines, but compute by means of distinct stages or in units of time. The paradigm of such models is, of course, Turing’s original
INDUCTION, BOUNDING, WEAK COMBINATORIAL PRINCIPLES, AND THE HOMOGENEOUS MODEL THEOREM
, 2014
"... Abstract. Goncharov and Peretyat’kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some homogeneous model of T. Their result can be stated as a principle of second order arithmetic, which we call the Homogeneous Model Th ..."
Abstract
 Add to MetaCart
Abstract. Goncharov and Peretyat’kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some homogeneous model of T. Their result can be stated as a principle of second order arithmetic, which we call the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states that every complete atomic theory has an atomic model. We show that HMT and AMT are indeed equivalent in the sense of reverse mathematics, as well as in a strong computability theoretic sense. We do the same for an analogous result of Peretyat’kin giving necessary and sufficient conditions for when a set of types is the type spectrum of some model.