Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
Harrington, Leo ; Soare, Robert I.
Bull. Symbolic Logic, Tome 2 (1996) no. 1, p. 199-213 / Harvested from Project Euclid
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their definability properties (as sets in the spirit of Cantor), their automorphisms (in the spirit of Felix Klein's Erlanger Programm), their dynamic properties, expressed in terms of how quickly elements enter them relative to elements entering other sets, and the Martin Invariance Conjecture on their Turing degrees, i.e., their information content with respect to relative computability (Turing reducibility).
Publié le : 1996-06-14
Classification: 
@article{1182353439,
     author = {Harrington, Leo and Soare, Robert I.},
     title = {Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets},
     journal = {Bull. Symbolic Logic},
     volume = {2},
     number = {1},
     year = {1996},
     pages = { 199-213},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1182353439}
}
Harrington, Leo; Soare, Robert I. Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets. Bull. Symbolic Logic, Tome 2 (1996) no. 1, pp.  199-213. http://gdmltest.u-ga.fr/item/1182353439/