Abstract
Let α be an admissible ordinal, and leta * be the Σ1-projectum ofa. Call an α-r.e. setM maximal if α→M is unbounded and for every α→r.e. setA, eitherA∩(α-M) or (α-A)∩(α-M) is bounded. Call and α-r.e. setM amaximal subset of α* if α*−M is undounded and for any α-r.e. setA, eitherA∩(α*-M) or (⇌*-A)∩(α*-M) is unbounded in α*. Sufficient conditions are given both for the existence of maximal sets, and for the existence of maximal subset of α*. Necessary conditions for the existence of maximal sets are also given. In particular, if α ≧ ℵL then it is shown that maximal sets do not exist.
Similar content being viewed by others
References
K. Gödel,Consistency proof for the Generalized Continuum Hypothesis, Proc. Nat. Acad. Sci. U. S. A.25 (1939), 220–224.
R. B. Jensen,The fine structure of the constructible hierarcy, Ann. Math. Logic4 (1972) 229–308.
G. Kreisel and G. E. Sacks,Metarecursive sets, J. Symbolic Logic28 (1963), 304–305,30 (1965), 318–338.
A. Lévy,A hierarchy of formulas in set theory, Mem. Amer. Math. Soc.57 (1965), 76 pp.
H. Rogers, Jr.,Theory of Recursive Functions and Effective Computability, McGraw-Hill 1967, 482 pp.
G. E. Sacks,Post’s problem, admissible ordinals, and regularity, Trans. Amer. Math. Soc.124 (1966), 1–23.
S. G. Simpson,Admissible Ordinal and Recursion Theory, Ph. D. Thesis, M.I.T., 1971.
Author information
Authors and Affiliations
Additional information
Research partially supported by NSF Grant GP-34088 X.
Some of the results in this paper have been taken from the second author’s Ph. D. Thesis, written under the supervision of Gerald Sacks.
Rights and permissions
About this article
Cite this article
Lerman, M., Simpson, S.G. Maximal sets in α-recursion theory. Israel J. Math. 14, 236–247 (1973). https://doi.org/10.1007/BF02764882
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02764882