Slow versus fast growing
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.Reprint years
2004
DOI
10.1023/a:1020899506400
My notes
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
2009-01-28
Downloads
82 (#150,330)
6 months
2 (#297,430)
2009-01-28
Downloads
82 (#150,330)
6 months
2 (#297,430)
Historical graph of downloads
Citations of this work
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.
Phase transitions for Gödel incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
References found in this work
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.