Synthese 133 (1-2):13 - 29 (2002)

Abstract
We survey a selection of results about majorization hierarchies. The main focus is on classical and recent results about the comparison between the slow and fast growing hierarchies.
Keywords Philosophy   Philosophy   Epistemology   Logic   Metaphysics   Philosophy of Language
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1020899506400
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: 62,448
Through your library

References found in this work BETA

Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
A New System of Proof-Theoretic Ordinal Functions.W. Buchholz - 1986 - Annals of Pure and Applied Logic 32:195-207.
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.
Elementary Descent Recursion and Proof Theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.

View all 15 references / Add more references

Citations of this work BETA

Phase Transitions for Gödel Incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
66 ( #160,689 of 2,446,225 )

Recent downloads (6 months)
1 ( #456,899 of 2,446,225 )

How can I increase my downloads?

Downloads

My notes