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)

 
 

 

On a subrecursive hierarchy and primitive recursive degrees


Author: Paul Axt
Journal: Trans. Amer. Math. Soc. 92 (1959), 85-105
MSC: Primary 02.70
DOI: https://doi.org/10.1090/S0002-9947-1959-0126377-3
MathSciNet review: 0126377
Full-text PDF

References | Similar Articles | Additional Information

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

  • [1] S. C. Kleene, Introduction to metamathematics, New York and Toronto, Van Nostrand, Amsterdam, North Holland Publishing Co. and Groningen, Noordhoff, 1952, 10+550 pp. MR 0051790 (14:525m)
  • [2] -, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. vol. 79 (1955) pp. 312-340. MR 0070594 (17:4g)
  • [3] -, On the forms of the predicates in the theory of constructive ordinals (second paper), Amer. J. Math. vol. 77 (1955) pp. 405-428. MR 0070595 (17:5a)
  • [4] -, Extension of an effectively generated class of functions by enumeration, forthcoming in Coll. Math. (Wrocław) vol. 6. MR 0118672 (22:9443)
  • [5] S. C. Kleene and Emil L. Post, The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math. vol. 59 (1954) pp. 379-407. MR 0061078 (15:772a)
  • [6] R. Péter, Rekursive Funktionen, Budapest, Akademischer Verlag, 1951, 206 pp. MR 0044467 (13:421l)

Similar Articles

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

Retrieve articles in all journals with MSC: 02.70


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1959-0126377-3
Article copyright: © Copyright 1959 American Mathematical Society

American Mathematical Society