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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

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 - New York: 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
2013-12-01

Downloads
58 (#248,081)

6 months
12 (#122,866)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Proof theory.Gaisi Takeuti - 1975 - 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