Hierarchies in recursive function theory
HTML articles powered by AMS MathViewer
- by H. B. Enderton
- Trans. Amer. Math. Soc. 111 (1964), 457-471
- DOI: https://doi.org/10.1090/S0002-9947-1964-0159755-9
- PDF | Request permission
References
- Martin Davis, Computability and unsolvability, McGraw-Hill Series in Information Processing and Computers, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1958. MR 0124208 H. Enderton, Hierarchies in recursive function theory, doctoral dissertation, Harvard University, 1962.
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790 —, On notation for ordinal numbers, J. Symbolic Logic 3 (1938), 150-155.
- S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955), 193–213. MR 70593, DOI 10.1090/S0002-9904-1955-09896-3
- S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312–340. MR 70594, DOI 10.1090/S0002-9947-1955-0070594-4
- S. C. Kleene and Emil L. Post, The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math. (2) 59 (1954), 379–407. MR 61078, DOI 10.2307/1969708
- Donald L. Kreider and Hartley Rogers Jr., Constructive versions of ordinal number classes, Trans. Amer. Math. Soc. 100 (1961), 325–369. MR 151396, DOI 10.1090/S0002-9947-1961-0151396-X D. Luckham, Topics in the theory of constructive hierarchies, doctoral dissertation, M.I.T., 1963.
- Hilary Putnam, Uniqueness ordinals in higher constructive number classes, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 190–206. MR 0167413
- Hartley Rogers Jr., Recursive functions over well ordered partial orderings, Proc. Amer. Math. Soc. 10 (1959), 847–853. MR 111685, DOI 10.1090/S0002-9939-1959-0111685-8
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
- Clifford Spector, On degrees of recursive unsolvability, Ann. of Math. (2) 64 (1956), 581–592. MR 82457, DOI 10.2307/1969604
- Hao Wang, Ordinal numbers and predicative set theory, Z. Math. Logik Grundlagen Math. 5 (1959), 216–239. MR 132697, DOI 10.1002/malq.19590051403
Bibliographic Information
- © Copyright 1964 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 111 (1964), 457-471
- MSC: Primary 02.77
- DOI: https://doi.org/10.1090/S0002-9947-1964-0159755-9
- MathSciNet review: 0159755