On Recursive Enumerability with Finite Repetitions
Wehner, Stephan
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 927-945 / Harvested from Project Euclid
It is an open problem within the study of recursively enumerable classes of recursively enumerable sets to characterize those recursively enumerable classes which can be recursively enumerated without repetitions. This paper is concerned with a weaker property of r.e. classes, namely that of being recursively enumerable with at most finite repetitions. This property is shown to behave more naturally: First we prove an extension theorem for classes satisfying this property. Then the analogous theorem for the property of recursively enumerable classes of being recursively enumerable with a bounded number of repetitions is shown not to hold. The index set of the property of recursively enumerable classes "having an enumeration with finite repetitions" is shown to be $\Sigma^0_6$-complete.
Publié le : 1999-09-14
Classification: 
@article{1183745863,
     author = {Wehner, Stephan},
     title = {On Recursive Enumerability with Finite Repetitions},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 927-945},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745863}
}
Wehner, Stephan. On Recursive Enumerability with Finite Repetitions. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  927-945. http://gdmltest.u-ga.fr/item/1183745863/