Hierarchies of number-theoretic functions. I

&
Archive for Mathematical Logic 13 (1-2):39-51 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01967649

Links

PhilArchive



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

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 II.M. H. Löb & S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):97-113.
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.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
A uniform approach for characterizing the provably total number-theoretic functions of KPM and its subsystems.Benjamin Blankertz & Andreas Weiermann - 1999 - Studia Logica 62 (3):399-427.
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.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Review: S. C. Kleene, Hierarchies of Number-Theoretic Predicates. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
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.
Is the church-Turing thesis true?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 149.
Subsystems of true arithmetic and hierarchies of functions.Z. Ratajczyk - 1993 - Annals of Pure and Applied Logic 64 (2):95-152.
Hierarchies of Provably Recursive Functions.Matt Fairtlough & Stanley S. Wainer - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.
Abstract complexity theory and the Δ20 degrees.Benjamin Schaeffer - 2002 - Annals of Pure and Applied Logic 115 (1-3):195-231.

Analytics

Added to PP
2020-12-03

Downloads
3 (#1,727,010)

6 months
1 (#1,514,069)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
Subsystems of true arithmetic and hierarchies of functions.Z. Ratajczyk - 1993 - Annals of Pure and Applied Logic 64 (2):95-152.
Reverse mathematical bounds for the Termination Theorem.Silvia Steila & Keita Yokoyama - 2016 - Annals of Pure and Applied Logic 167 (12):1213-1241.
The Ackermann functions are not optimal, but by how much?H. Simmons - 2010 - Journal of Symbolic Logic 75 (1):289-313.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references