Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-26T03:19:11.223Z Has data issue: false hasContentIssue false

On the indexing of classes of recursively enumerable sets

Published online by Cambridge University Press:  12 March 2014

A. H. Lachlan*
Affiliation:
The University of Newcastle upon Tyne

Extract

In this paper we follow up our work in [2] on standard classes of recursively enumerable sets, and it will be supposed that the reader is familiar with [2]. One of the main problems left open in [2], that of determining whether or not every standard class has a least member is resolved by the construction of a standard class all of whose members are non-empty, and two of whose members are disjoint. This shows that there is a standard class which is not p.r. in the sense of [2] and we now prefer the adjective sequential for those standard classes which were called p.r. in [2]. Otherwise our terminology will be the same as in [2]. We shall also prove the theorem only stated in [2] that any standard class all of whose members have cardinality < 3 is sequential. Further, we give an example of a standard class which is not sequential and all of whose members have cardinality < 4.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Cleave, J. P., Creative functions, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 205212.CrossRefGoogle Scholar
[2]Lachlan, A. H., Standard classes of recursively enumerable sets, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 2342.CrossRefGoogle Scholar
[3]Myhill, J., Creative sets, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 97108.CrossRefGoogle Scholar