Post’s problem, admissible ordinals, and regularity
HTML articles powered by AMS MathViewer
- by Gerald E. Sacks PDF
- Trans. Amer. Math. Soc. 124 (1966), 1-23 Request permission
References
- J. C. E. Dekker, A theorem on hypersimple sets, Proc. Amer. Math. Soc. 5 (1954), 791–796. MR 63995, DOI 10.1090/S0002-9939-1954-0063995-6 G. Driscoll, Contributions to metarecursion theory, Ph. D. Thesis, Cornell University, Ithaca, N. Y, 1965.
- Richard M. Friedberg, Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post’s problem, 1944), Proc. Nat. Acad. Sci. U.S.A. 43 (1957), 236–238. MR 84474, DOI 10.1073/pnas.43.2.236
- Richard M. Friedberg, Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication, J. Symbolic Logic 23 (1958), 309–316. MR 109125, DOI 10.2307/2964290
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790 G. Kreisel, Model-theoretic invariants, Theory of Models Symposium, Berkeley, Calif., (to appear).
- G. Kreisel and Gerald E. Sacks, Metarecursive sets, J. Symbolic Logic 30 (1965), 318–338. MR 213233, DOI 10.2307/2269621 S. Kripke, Transfinite recursions on admissible ordinals. I, II (abstracts), J. Symbolic Logic 29 (1964), 161-162. —, Admissible ordinals and the analytic hierarchy (abstract), J. Symbolic Logic 29 (1964), 162.
- Emil L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284–316. MR 10514, DOI 10.1090/S0002-9904-1944-08111-1
- Gerald E. Sacks, Degrees of unsolvability, Princeton University Press, Princeton, N.J., 1963. MR 0186554
- Gerald E. Sacks, The recursively enumerable degrees are dense, Ann. of Math. (2) 80 (1964), 300–312. MR 166089, DOI 10.2307/1970393 —, Axioms for recursion theory, (to appear).
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
Additional Information
- © Copyright 1966 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 124 (1966), 1-23
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9947-1966-0201299-1
- MathSciNet review: 0201299