Mathematical Logic Quarterly 55 (2):201-211 (2009)

We prove that for each β, γ < ε0 there existsα < ε0 such that whenever A ⊆ ω is α -large and G: A → β is such that ) ≤ a), then there exists a γ -large C ⊆ A on which G is nondecreasing. Moreover, we give upper bounds for α for small ordinals β ≤ ωmath image
Keywords Hardy hierarchy  α ‐large sets
Categories (categorize this paper)
DOI 10.1002/malq.200710089
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,077
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

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Some Variations of the Hardy Hierarchy.Henryk Kotlarski - 2005 - Mathematical Logic Quarterly 51 (4):417.
Γ0 May Be Minimal Subrecursively Inaccessible.Andreas Weiermann - 2001 - Mathematical Logic Quarterly 47 (3):397-408.
A Simplified Functorial Construction of the Veblen Hierarchy.Andreas Weiermann - 1993 - Mathematical Logic Quarterly 39 (1):269-273.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
A Hierarchy of Hereditarily Finite Sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.
Sets Without Subsets of Higher Many-One Degree.Patrizio Cintioli - 2005 - Notre Dame Journal of Formal Logic 46 (2):207-216.
Simply Terminating Rewrite Systems with Long Derivations.Ingo Lepper - 2004 - Archive for Mathematical Logic 43 (1):1-18.
Monotone Reducibility and the Family of Infinite Sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Orders of Indescribable Sets.Alex Hellsten - 2006 - Archive for Mathematical Logic 45 (6):705-714.


Added to PP index

Total views
23 ( #476,210 of 2,454,544 )

Recent downloads (6 months)
1 ( #449,188 of 2,454,544 )

How can I increase my downloads?


My notes