Mathematical Logic Quarterly 40 (2):273-286 (1994)

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
Keywords Subrecursive hierarchies  Hardy hierarchies  Natural well‐orderings  Fundamental sequences  Descent functions
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.19940400212
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Subrecursion: Functions and Hierarchies.H. E. Rose - 1984 - 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

Citations of this work BETA

Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Ackermann’s Substitution Method.Georg Moser - 2006 - Annals of Pure and Applied Logic 142 (1):1-18.

View all 17 citations / Add more citations

Similar books and articles

Subrecursive Hierarchies on Scott Domains.Karl-Heinz Niggl - 1993 - Archive for Mathematical Logic 32 (4):239-257.
Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
Hierarchy.Paul H. Rubin - 2000 - Human Nature 11 (3):259-279.
Subrecursion: Functions and Hierarchies.H. E. Rose - 1984 - Oxford University Press.
Fine Hierarchies and Boolean Terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.
Slow Versus Fast Growing.Andreas Weiermann - 2002 - Synthese 133 (1-2):13 - 29.
Long Borel Hierarchies.Arnold W. Miller - 2008 - Mathematical Logic Quarterly 54 (3):307-322.
Hierarchical Ordering in Plant Morphology.Robert W. Korn - 1994 - Acta Biotheoretica 42 (4):227-244.

Analytics

Added to PP index
2013-12-01

Total views
38 ( #250,182 of 2,330,106 )

Recent downloads (6 months)
6 ( #121,230 of 2,330,106 )

How can I increase my downloads?

Downloads

My notes