Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-15T06:03:48.923Z Has data issue: false hasContentIssue false

The uniform regular set theorem in α-recursion theory1

Published online by Cambridge University Press:  12 March 2014

Wolfgang Maass*
Affiliation:
Mathematisches Institut der Universität München, D-8 München 2, West Germany

Extract

Several new features arise in the generalization of recursion theory on ω to recursion theory on admissible ordinals α, thus making α-recursion theory an interesting theory. One of these is the appearance of irregular sets. A subset A of α is called regular (over α), if we have for all β < α that ABLα, otherwise A is called irregular (over α). So in the special case of ordinary recursion theory (α = ω) every subset of α is regular, but if α is not a cardinal of L we find constructible sets A ⊆ α which are irregular. The notion of regularity becomes essential, if we deal with α-recursively enumerable (α-r.e.) sets in priority constructions (α-r.e. is defined as Σ1 over Lα). The typical situation occurring there is that an α-r.e. set A is enumerated during some construction in which one tries to satisfy certain requirements. Often this construction succeeds only if we can insure that every initial segment A ∩ β of A is completely enumerated at some stage before α. This calls for making sure that A is regular because due to the admissibility of α an α-r.e. set A is regular iff for every (or equivalently for one) enumeration f of A (f is an enumeration of A iff f: α → A is α-recursive, total, 1-1 and onto) we have that is the image of the set σ under f).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1978

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.)

Footnotes

1

This paper was written at M.I.T., where the author was supported by the Deutsche Forschungsgemeinschaft, Bonn.

References

REFERENCES

[1]Devlin, K. J., Aspects of constructibility, Springer Lecture Notes, no. 354, 1973.Google Scholar
[2]Maass, W., Inadmissibility, tame re sets and the admissible collapse, Annals of Mathematical Logic (to appear).Google Scholar
[3]Sacks, G. E., Post's problem, admissible ordinals and regularity, Transactions of the American Mathematical Society, vol. 124 (1966), pp. 123.Google Scholar
[4]Simpson, S. G., Admissible ordinals and recursion theory, Thesis, MIT, 1974.Google Scholar
[5]Shore, R. A., Splitting an α-recursively enumerable set, Transactions of the American Mathematical Society, vol. 204 (1975), pp. 6578.Google Scholar
[6]Shore, R. A., Σn sets which are Δn-incomparable (uniformly), this Journal, vol. 39 (1974), pp. 295304.Google Scholar