Results 1 
2 of
2
Isomorphisms Of Splits Of Computably Enumerable Sets
 J. OF SYMBOLIC LOGIC
, 2002
"... We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets. ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets.
Dynamic Properties of Computably Enumerable Sets
 In Computability, Enumerability, Unsolvability, volume 224 of London Math. Soc. Lecture Note Ser
, 1995
"... A set A ` ! is computably enumerable (c.e.), also called recursively enumerable, (r.e.), or simply enumerable, if there is a computable algorithm to list its members. Let E denote the structure of the c.e. sets under inclusion. Starting with Post [1944] there has been much interest in relating t ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
A set A ` ! is computably enumerable (c.e.), also called recursively enumerable, (r.e.), or simply enumerable, if there is a computable algorithm to list its members. Let E denote the structure of the c.e. sets under inclusion. Starting with Post [1944] there has been much interest in relating the denable (especially Edenable) properties of a c.e. set A to its iinformation contentj, namely its Turing degree, deg(A), under T , the usual Turing reducibility. [Turing 1939]. Recently, Harrington and Soare answered a question arising from Post's program by constructing a nonemptly Edenable property Q(A) which guarantees that A is incomplete (A !T K). The property Q(A) is of the form (9C)[A ae m C & Q \Gamma (A; C)], where A ae m C abbreviates that iA is a major subset of Cj, and Q \Gamma (A; C) contains the main ingredient for incompleteness. A dynamic property P (A), such as prompt simplicity, is one which is dened by considering how fast elements elements enter A relat...