×

Refinement of homogeneity and Ramsey numbers. (English) Zbl 1401.05296

Summary: We introduce some variants of the finite Ramsey theorem. The variants are based on a refinement of homogeneity. In particular, they cover homogeneity, minimal homogeneity, end-homogeneity as special cases. We also show how to obtain upper bounds for the corresponding Ramsey numbers.

MSC:

05D10 Ramsey theory
05C55 Generalized Ramsey theory
68R05 Combinatorics in computer science
PDFBibTeX XMLCite
Full Text: Link

References:

[1] L. Carlucci, G. Lee, and A. Weiermann, Sharp thresholds for hypergraph regressive Ramsey numbers, J. Combin. Theory Ser. A 118 (2011), no. 2, 558–585. · Zbl 1251.05103
[2] D. Conlon, J. Fox, and B. Sudakov, Recent developments in graph Ramsey theory, in Surveys in combinatorics 2015, 49–118, London Math. Soc. Lecture Note Ser., 424, Cambridge Univ. Press, Cambridge, 2015. · Zbl 1352.05123
[3] P. Erd¨os, Some remarks on the theory of graphs, Bull. Amer. Math. Soc. 53 (1947), 292–294.
[4] P. Erd¨os, A. Hajnal, A. M´at´e, and R. Rado, Combinatorial set theory: partition relations for cardinals, Studies in Logic and the Foundations of Mathematics, 106, North-Holland Publishing Co., Amsterdam, 1984.
[5] P. Erd¨os and R. Rado, Combinatorial theorems on classifications of subsets of a given set, Proc. London Math. Soc. (3) 2 (1952), 417–439. · Zbl 0048.28203
[6] A. Freund, Proof lengths for instances of the Paris-Harrington principle, Ann. Pure Appl. Logic 168 (2017), no. 7, 1361–1382. · Zbl 1380.03069
[7] A. Kanamori and K. McAloon, On G¨odel incompleteness and finite combinatorics, Ann. Pure Appl. Logic 33 (1987), no. 1, 23–41. · Zbl 0627.03041
[8] R. Kaye, Models of Peano Arithmetic, Oxford Logic Guides, 15, The Clarendon Press, Oxford University Press, New York, 1991. · Zbl 0744.03037
[9] G. Lee, Phase Transitions in Axiomatic Thought, PhD thesis, University of M¨unster, May 2005. · Zbl 1082.03048
[10] J. Paris and L. Harrington, A mathematical incompleteness in Peano arithmetic. I, J. Barwise, ed., Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics, pages 1133–1142. North-Holland, 1977.
[11] F. P. Ramsey, On a Problem of Formal Logic, Proc. London Math. Soc. (2) 30 (1929), no. 4, 264–286. · JFM 55.0032.04
[12] A. Weiermann, A classification of rapidly growing Ramsey functions, Proc. Amer. Math. Soc. 132 (2004), no. 2, 553–561. · Zbl 1041.03044
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.