Results 1 
3 of
3
An Overview of the Computably Enumerable Sets
"... The purpose of this article is to summarize some of the results on the algebraic structure of the computably enumerable (c.e.) sets since 1987 when the subject was covered in Soare 1987 , particularly Chapters X, XI, and XV. We study the c.e. sets as a partial ordering under inclusion, (E; `). We do ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The purpose of this article is to summarize some of the results on the algebraic structure of the computably enumerable (c.e.) sets since 1987 when the subject was covered in Soare 1987 , particularly Chapters X, XI, and XV. We study the c.e. sets as a partial ordering under inclusion, (E; `). We do not study the partial ordering of the c.e. degrees under Turing reducibility, although a number of the results here relate the algebraic structure of a c.e. set A to its (Turing) degree in the sense of the information content of A. We consider here various properties of E: (1) deønable properties; (2) automorphisms; (3) invariant properties; (4) decidability and undecidability results; miscellaneous results. This is not intended to be a comprehensive survey of all results in the subject since 1987, but we give a number of references in the bibliography to other results.
Definable properties of the computably enumerable sets
 Proceedings of the Oberwolfach Conference on Computability Theory
, 1996
"... Post 1944 began studying properties of a computably enumerable (c.e.) set A such as simple, hsimple, and hhsimple, with the intent of finding a property guaranteeing incompleteness of A. From observations of Post 1943 and Myhill 1956, attention focused by the 1950's on properties definable in the ..."
Abstract
 Add to MetaCart
Post 1944 began studying properties of a computably enumerable (c.e.) set A such as simple, hsimple, and hhsimple, with the intent of finding a property guaranteeing incompleteness of A. From observations of Post 1943 and Myhill 1956, attention focused by the 1950's on properties definable in the inclusion ordering of c.e. subsets of!, namely E = (fWngn2! ; ae). In the 1950's and 1960's Tennenbaum, Martin, Yates, Sacks, Lachlan, Shoenfield and others produced a number of elegant results relating Edefinable properties of A, like maximal, hhsimple, atomless, to the information content (usually the
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