Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



A recursion-theoretic characterization of the ramified analytical hierarchy

Authors: Richard Boyd, Gustav Hensel and Hilary Putnam
Journal: Trans. Amer. Math. Soc. 141 (1969), 37-62
MSC: Primary 02.77
MathSciNet review: 0242673
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [C] P. J. Cohen, A minimal model for set theory, Bull. Amer. Math. Soc. 69 (1963), 537-540. MR 0150036 (27:41)
  • [D] M. Davis, Computability and unsolvability, McGraw-Hill, New York, 1958. MR 0124208 (23:A1525)
  • [E] H. B. Enderton, Hierarchies in recursive function theory, Trans. Amer. Math. Soc. 111 (1964), 457-471. MR 0159755 (28:2971)
  • [GP] R. Gandy and H. Putnam, A minimal $ \beta $-model for analysis, (to appear).
  • [G] K. Gödel, The consistency of the continuum hypothesis, Princeton Univ. Press, Princeton, N.J., 1940 (fourth printing, 1958). MR 0002514 (2:66c)
  • [HP] G. Hensel and H. Putnam, On the notational independence of various hierarchies of degrees of unsolvability, J. Symbolic Logic 30 (1965), 69-86. MR 0229522 (37:5096)
  • [K] S. C. Kleene, Quantification of number-theoretic predicates, Compositio Math. 14 (1959), 23-40. MR 0103822 (21:2586)
  • [K'] -, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312-340. MR 0070594 (17:4g)
  • [S] C. Spector, Recursive well orderings, J. Symbolic Logic 20 (1955), 151-163. MR 0074347 (17:570b)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.77

Retrieve articles in all journals with MSC: 02.77

Additional Information

Article copyright: © Copyright 1969 American Mathematical Society

American Mathematical Society