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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 62,448
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- jstor.org (no proxy)
- biblio.ugent.be
(no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Systems of Predicative Analysis, II: Representations of Ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.
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.
Measuring Intelligence and Growth Rate: Variations on Hibbard's Intelligence Measure.Samuel Alexander & Bill Hibbard - 2021 - Journal of Artificial General Intelligence 12 (1):1-25.
Mathematical Proof Theory in the Light of Ordinal Analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Similar books and articles
Variations on a Theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
The Slow-Growing and the Grzecorczyk Hierarchies.E. A. Cichon & S. S. Wainer - 1983 - Journal of Symbolic Logic 48 (2):399-408.
The Symposium on the Synergy Between Implicit and Explicit Learning Processes.Robert Mathews & Ron Sun - unknown
Aggregation and Emergence in Hierarchically Organized Systems: Population Dynamics.Pierre Auger & Jean-Christophe Poggiale - 1996 - Acta Biotheoretica 44 (3-4):301-316.
Hysteresis Dynamics, Bursting Oscillations and Evolution to Chaotic Regimes.J.-P. Françoise & C. Piquet - 2005 - Acta Biotheoretica 53 (4):381-392.
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 )
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
