Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122 [Book Review]

Journal of Symbolic Logic 30 (3):388-389 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269665

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Solomon Feferman, Classifications of Recursive Functions by Means of Hierarchies. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
Classifications of Recursive Functions by Means of Hierarchies.Solomon Feferman - 1965 - Journal of Symbolic Logic 30 (3):388-389.
Enderton H. B.. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III , pp. 457–471. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Lévy Azriel. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 , pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 , pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 , pp. 39–44. [REVIEW]Forbes D. Lewis - 1974 - Journal of Symbolic Logic 39 (1):186-187.
Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 , pp. 494–520. [REVIEW]H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (2):270.
Reijiro Kurata. Recursive progression of intuitionistic number theories. Journal of the Mathematical Society of Japan, vol. 17 , pp. 140–166. [REVIEW]Solomon Feferman - 1973 - Journal of Symbolic Logic 38 (2):333.
Axt Paul. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 , S. 85–105. [REVIEW]Rózsa Péter - 1960 - Journal of Symbolic Logic 25 (2):167-168.
Nelson David. Recursive functions and intuitionistic number theory. Transactions of the American Mathematical Society, vol. 61 , pp. 307–368. See Errata, ibid., p. 556. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):93-94.
Reviews. Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 , S 925–942. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
A foundation for real recursive function theory.José Félix Costa, Bruno Loff & Jerzy Mycka - 2009 - Annals of Pure and Applied Logic 160 (3):255-288.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Some Hierarchies of Primitive Recursive Functions on Term Algebras.Klaus-Hilmar Sprenger - 1997 - Mathematical Logic Quarterly 43 (2):251-286.
Hierarchies of Primitive Recursive Functions.Charles Parsons - 1968 - Mathematical Logic Quarterly 14 (21‐24):357-376.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,630,023)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references