A Uniform Approach to Fundamental Sequences and Hierarchies

, &
Mathematical Logic Quarterly 40 (2):273-286 (1994)
  Copy   BIBTEX

Abstract

In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number-theoretic functions and we show the equivalence of the new approach with the classical one

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19940400212

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

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.
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal.David Fernández-Duque & Andreas Weiermann - 2024 - Annals of Pure and Applied Logic 175 (8):103455.
Subrecursive hierarchies on Scott domains.Karl-Heinz Niggl - 1993 - Archive for Mathematical Logic 32 (4):239-257.
The Equivalence of Different Hierarchies of Elementary Functions.G. T. Herman - 1971 - Mathematical Logic Quarterly 17 (1):219-224.
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.M. H. Löb & S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (1-2):39-51.
Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Mathematical Logic Quarterly 25 (25‐29):411-418.
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.
The Structure of Loop Programs and Subrecursive Hierarchies.Bernhard Goetze & Werner Nehrlich - 1980 - Mathematical Logic Quarterly 26 (14-18):255-278.

Analytics

Added to PP
2013-12-01

Downloads
84 (#257,751)

6 months
6 (#572,300)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.

View all 22 citations / Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1987 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.

Add more references