Mathematical Logic Quarterly 51 (4):417 (2005)

Abstract
We study some variations of the so-called Hardy hierarchy of quickly growing functions, known from the literature, and obtain analogues of Ratajczyk's approximation lemma for them
Keywords Hardy hierarchy  ε0
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.200410043
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: 64,132
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

Transfinite Induction Within Peano Arithmetic.Richard Sommer - 1995 - Annals of Pure and Applied Logic 76 (3):231-289.
A Model-Theoretic Approach to Ordinal Analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.
Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.
Subsystems of True Arithmetic and Hierarchies of Functions.Z. Ratajczyk - 1993 - Annals of Pure and Applied Logic 64 (2):95-152.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On a Question of Andreas Weiermann.Henryk Kotlarski & Konrad Zdanowski - 2009 - Mathematical Logic Quarterly 55 (2):201-211.
Quantum Theory From Four of Hardy's Axioms.Rüdiger Schack - 2003 - Foundations of Physics 33 (10):1461-1468.
An Analysis of the W -Hierarchy.Yijia Chen, Jörg Flum & Martin Grohe - 2007 - Journal of Symbolic Logic 72 (2):513 - 534.
Quantum Analogues of Hardy’s Nonlocality Paradox.Tobias Fritz - 2011 - Foundations of Physics 41 (9):1493-1501.
A Hierarchy of Hereditarily Finite Sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.
Recursive Structures and Ershov's Hierarchy.Christopher J. Ash & Julia F. Knight - 1996 - Mathematical Logic Quarterly 42 (1):461-468.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
Γ0 May Be Minimal Subrecursively Inaccessible.Andreas Weiermann - 2001 - Mathematical Logic Quarterly 47 (3):397-408.
The Avant-Garde Finds Andy Hardy.Robert B. Ray - 1995 - Harvard University Press.

Analytics

Added to PP index
2013-12-01

Total views
18 ( #590,229 of 2,454,732 )

Recent downloads (6 months)
2 ( #303,745 of 2,454,732 )

How can I increase my downloads?

Downloads

My notes