Abstract
Motivated by the classical Ramsey for pairs problem in reverse mathematics we investigate the recursion-theoretic complexity of certain assertions which are related to the Erdös-Szekeres theorem. We show that resulting density principles give rise to Ackermannian growth. We then parameterize these assertions with respect to a number-theoretic function f and investigate for which functions f Ackermannian growth is still preserved. We show that this is the case for \(f(i)=\sqrt[d]i\) but not for f(i) = log(i).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bovykin, A., Weiermann, A.: The strength of infinitary ramseyan principles can be accessed by their densities. In: Annals of Pure and Applied Logic (preprint, 2005), http://logic.pdmi.ras.ru/~andrey/research.html
Cholak, P., Marcone, A., Solomon, R.: Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symbolic Logic 69(3), 683–712 (2004)
Cholak, P.A., Jockusch, C.G., Slaman, T.A.: On the strength of Ramsey’s theorem for pairs. J. Symbolic Logic 66(1), 1–55 (2001)
Kojman, M., Lee, G., Omri, E., Weiermann, A.: Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers. Journal of Combinatorial Theory, Series A (in press); available online March 7, 2008
Omri, E., Weiermann, A.: Classifying the phase transition threshold for Ackermannian functions. Ann. Pure Appl. Logic (to appear)
Paris, J.B.: Some independence results for Peano arithmetic. J. Symbolic Logic 43(4), 725–731 (1978)
Simpson, S.G.: Subsystems of second order arithmetic. In: Perspectives in Mathematical Logic, Springer, Berlin (1999)
Weiermann, A.: Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. Ann. Pure Appl. Logic 136(1-2), 189–218 (2005)
Weiermann, A.: Phasenübergänge in Logik und Kombinatorik. Mitt. Dtsch. Math.-Ver. 13(3), 152–156 (2005)
Weiermann, A.: An extremely sharp phase transition threshold for the slow growing hierarchy. Math. Structures Comput. Sci. 16(5), 925–946 (2006)
Weiermann, A.: Phase transition thresholds for some natural subclasses of the recursive functions. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 556–570. Springer, Heidelberg (2006)
Weiermann, A.: Phase transition thresholds for some Friedman-style independence results. MLQ Math. Log. Q. 53(1), 4–18 (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Smet, M., Weiermann, A. (2008). Phase Transitions for Weakly Increasing Sequences. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds) Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69407-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-69407-6_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69405-2
Online ISBN: 978-3-540-69407-6
eBook Packages: Computer ScienceComputer Science (R0)