Results 1 
4 of
4
Codable Sets and Orbits of Computably Enumerable Sets
 J. Symbolic Logic
, 1995
"... A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let E denote the structure of the computably enumerable sets under inclusion, E = (fW e g e2! ; `). We previously exhibited a first order ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let E denote the structure of the computably enumerable sets under inclusion, E = (fW e g e2! ; `). We previously exhibited a first order Edefinable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has a certain "slowness " property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A 2 E there exists B in the orbit of A such that X T B under relative Turing computability ( T ). We produce B using the \Delta 0 3 automorphism method we introduced earli...
Extensions, Automorphisms, and Definability
 CONTEMPORARY MATHEMATICS
"... This paper contains some results and open questions for automorphisms and definable properties of computably enumerable (c.e.) sets. It has long been apparent in automorphisms of c.e. sets, and is now becoming apparent in applications to topology and dierential geometry, that it is important to ..."
Abstract
 Add to MetaCart
This paper contains some results and open questions for automorphisms and definable properties of computably enumerable (c.e.) sets. It has long been apparent in automorphisms of c.e. sets, and is now becoming apparent in applications to topology and dierential geometry, that it is important to know the dynamical properties of a c.e. set We , not merely whether an element x is enumerated in We but when, relative to its appearance in other c.e. sets. We present here