Hierarchies of number-theoretic functions II

&
Archive for Mathematical Logic 13 (3-4):97-113 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01973616

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Hierarchies of number-theoretic functions I, II: A correction.M. H. Löb & S. S. Wainer - 1971 - Archive for Mathematical Logic 14 (3-4):198-199.
Hierarchies of number-theoretic functions. I.M. H. Löb & S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (1-2):39-51.
Postscript to “built-up systems of fundamental sequences and hierarchies of number-theoretic functions”.Diana Schmidt - 1977 - Archive for Mathematical Logic 18 (1):145-146.
Kleene S. C.. Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, Bd. 61 , S. 193–213. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Predicatively computable functions on sets.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (3-4):471-485.
Matt Fairtlough and Stanley S. Wainer. Hierarchies of provably recursive functions. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 149–207. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.
Review: S. C. Kleene, Hierarchies of Number-Theoretic Predicates. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Quasideduktive Systeme und S-Algebren. II.J. Bammert - 1968 - Archive for Mathematical Logic 11 (3-4):101-112.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
Review: S. C. Kleene, Quantification of Number-Theoretic Functions. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-82.

Analytics

Added to PP
2020-12-03

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The slow-growing and the grzecorczyk hierarchies.E. A. Cichon & S. S. Wainer - 1983 - Journal of Symbolic Logic 48 (2):399-408.
Subsystems of true arithmetic and hierarchies of functions.Z. Ratajczyk - 1993 - Annals of Pure and Applied Logic 64 (2):95-152.
The Ackermann functions are not optimal, but by how much?H. Simmons - 2010 - Journal of Symbolic Logic 75 (1):289-313.
Undecidable complexity statements in -arithmetic.Ron Sigal - 1989 - Journal of Symbolic Logic 54 (2):415-427.

Add more citations

References found in this work

No references found.

Add more references