A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees. (English) Zbl 1324.03013

This paper is devoted to a proof of its main theorem, which generalizes Theorem 3.1 of J. E. Baumgartner et al. [NATO ASI Ser., Ser. C, Math. Phys. Sci. 411, 1–17 (1993; Zbl 0846.03021)], by replacing the cardinal \((2^{<\kappa})^+\) by suitable trees: if \(\kappa\) is regular and infinite, \(\xi\) an ordinal with \(2^{| \xi|}<\kappa\) and \(k\in\omega\) then for every tree \(T\) that is not \(2^{<\kappa}\)-special one has \(T\to (\kappa+\xi)^2_k\), that is, for every colouring \(\chi:[T]^2\to k\) there is a \(\chi\)-homogeneous subset of \(T\) of order type \(\kappa+\xi\).
The paper is enriched by a careful exposition of earlier results and necessary background material, and would make a good basis for a seminar on infinitary combinatorics.
Reviewer: K. P. Hart (Delft)


03E02 Partition relations
03C62 Models of arithmetic and set theory
05C05 Trees
05D10 Ramsey theory
06A07 Combinatorics of partially ordered sets


Zbl 0846.03021
Full Text: DOI arXiv


[1] Pavel Sergeevich Aleksandrov and Pavel Samuilovich Uryson, Mémoire sur les espaces topologiques compacts, Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam, Proceedings of the section of mathematical sciences, 14 (1929), pp. 1-96. Note supplémentaire, pp. 95-96. · Zbl 0626.03039
[2] James Earl Baumgartner, Hajnal’s contributions to combinatorial set theory and the partition calculus, in: Set Theory: The Hajnal Conference, October 15-17, 1999 (Simon Thomas, ed.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 58, American Mathematical Society (Providence, Rhode Island, 2002), pp. 25-30. · Zbl 1016.03045
[3] James Earl Baumgartner and András Hajnal, A proof (involving Martin’s axiom) of a partition relation, Fund. Math., 78 (1973), 193-203. · Zbl 0257.02054
[4] James Earl Baumgartner, András Hajnal and Stevo B. Todorčević, Extensions of the Erdöos-Rado Theorem, in: Finite and Infinite Combinatorics in Sets and Logic, Proceedings of the NATO Advanced Study Institute held in Banff, Alberta, April 21-May 4, 1991 (N. W. Sauer, R. E. Woodrow and B. Sands, eds.), NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 411, Kluwer Academic Publishers Group (Dordrecht, 1993), pp. 1-17, preprint available at http://arxiv.org/abs/math/9311207. · Zbl 0846.03021
[5] James Earl Baumgartner, Jerome Irving Malitz and William Nelson Reinhardt, Embedding trees in the rationals, in: Proceedings of the National Academy of Sciences of the USA, 67 (December, 1970), pp. 1748-1753. · Zbl 0209.01601
[6] James Earl Baumgartner, Alan Dana Taylor and StanleyWagon, Structural Properties of Ideals, Dissertationes Mathematicae (Rozprawy Matematyczne) vol. 197, Polska Akademia Nauk, Instytut Matematyczny (Warszawa, 1982). · Zbl 0549.03036
[7] Gérard Bloch, Sur les ensembles stationnaires de nombres ordinaux et les suites distinguées de fonctions régressives, Comptes Rendus de l’Académie des Sciences, 236 (1953), 265-268. · Zbl 0050.05501
[8] Ari Meir Brodsky, A Theory of Stationary Trees and the Balanced Baumgartner- Hajnal-Todorcevic Theorem for Trees, Ph.D. thesis, University of Toronto (2014). · Zbl 1324.03013
[9] Alan Stewart Dow, An introduction to applications of elementary submodels to topology, Topology Proc., 13 (1988), 17-72. · Zbl 0696.03024
[10] Ben Dushnik, A note on transfinite ordinals, Bull. Amer. Math. Soc., 37 (1931), 860-862. · Zbl 0003.15501 · doi:10.1090/S0002-9904-1931-05283-6
[11] Paul Erdös, András Hajnal, Attila Máté and Richard Rado, Combinatorial Set Theory: Partition Relations for Cardinals, Studies in Logic and the Foundations of Mathematics, vol. 106, North-Holland Publishing Company (Amsterdam, 1984). · Zbl 0573.03019
[12] Paul Erdös and Richard Rado, A partition calculus in set theory, Bull. Amer. Math. Soc., 62 (1956), 427-489. · Zbl 0071.05105
[13] David H. Fremlin, Consequences of Martin’s Axiom, Cambridge Tracts in Mathematics, vol. 84, Cambridge University Press (Cambridge, 1984). · Zbl 0551.03033
[14] Frederick William Galvin, On a Partition Theorem of Baumgartner and Hajnal, in: Infinite and Finite Sets, Part II, Colloquia Mathematica Societatis János Bolyai, vol. 10, North-Holland Publishing Company (Amsterdam, 1975), pp. 711-729. · Zbl 0313.04003
[15] András Hajnal and Jean Ann Larson, Partition Relations, Handbook of Set Theory (M. Foreman and A. Kanamori, eds.), Springer Science+Business Media (2010), pp. 129-213. · Zbl 1198.03048
[16] Thomas J. Jech, Set Theory: The Third Millennium Edition, Revised and Expanded, Springer Monographs in Mathematics, Springer-Verlag (Berlin, 2003). · Zbl 1007.03002
[17] Winfried Just and Martin Weese, Discovering Modern Set Theory. II: Set-Theoretic Tools for Every Mathematician, Graduate Studies in Mathematics, vol. 18, American Mathematical Society (1997). · Zbl 0887.03036
[18] Akihiro Kanamori, Partition relations for successor cardinals, Advances in Math., 59 (1986), 152-169. · Zbl 0626.03039 · doi:10.1016/0001-8708(86)90049-6
[19] Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, vol. 34, College Publications (London, 2011). · Zbl 1262.03001
[20] Ðuro Kurepa, Ensembles ordonnés et ramifiés, Publications de l’Institut Mathématique Beograd, 4 (1935), pp. 1-138. Available (excluding p. 51) at http://elib.mi.sanu.ac.rs/files/journals/publ/4/1.pdf. Included (without the Appendix) in [22, pp. 12-114]. · Zbl 0819.04006
[21] Ðuro Kurepa, Ensembles ordonnés et leurs sous-ensembles bien ordonnés, Comptes Rendus de l’Académie des Sciences de Paris, 242 (1956), 2202-2203. Included in [22, pp. 236-237]. · Zbl 0071.05004
[22] Aleksandar Ivić, Zlatko Mamuzić, Žarko Mijajlović and Stevo Todorčević, eds., Selected Papers of Ðuro Kurepa, Matematički Institut SANU (Serbian Academy of Sciences and Arts) (Beograd, 1996). · Zbl 0997.01521
[23] Jean Ann Larson, Infinite Combinatorics, Sets and Extensions in the Twentieth Century (Akihiro Kanamori, ed.), vol. 6 of Handbook of the History of Logic, North Holland (2012), pp. 145-357. · Zbl 1255.03009
[24] Eric C. Milner, The use of elementary substructures in combinatorics, Discrete Math.,136 (1994), 243-252. · Zbl 0819.04006 · doi:10.1016/0012-365X(95)90789-N
[25] Walter Neumer, Verallgemeinerung eines Satzes von Alexandroff und Urysohn, Math. Zeitschrift, 54 (1951), 254-261. · Zbl 0042.28103
[26] Mary Ellen Rudin, Lectures on Set Theoretic Topology, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, Number 23, American Mathematical Society (Providence, 1975). · Zbl 0339.54016
[27] Saharon Shelah, Notes on combinatorial set theory, Israel J. Math., 14 (1973), 262-277. · Zbl 0269.04004
[28] Saharon Shelah, A partition relation using strongly compact cardinals, Proc. Amer. Math. Soc., 131 (2003), 2585-2592. · Zbl 1017.03021
[29] Stevo B. Todorčević, Stationary sets, trees and continuums, Publications de l’Institut Mathématique Beograd, Nouvelle Série, 29 (43) (1981), 249-262. Available at http://elib.mi.sanu.ac.rs/files/journals/publ/49/n043p249.pdf. · Zbl 0519.06002
[30] Stevo B. Todorčević, Trees and Linearly Ordered Sets, Ch. 6 of Handbook of Set-Theoretic Topology (Kenneth Kunen and Jerry E. Vaughan, eds.), North-Holland Publishing Company (Amsterdam, 1984), pp. 235-293. · Zbl 0557.54021
[31] Stevo B. Todorčević, Partition relations for partially ordered sets, Acta Math., 155 (1985), 1-25. · Zbl 0603.03013
[32] Stevo B. Todorčević, Walks on Ordinals and Their Characteristics, Progress in Mathematics, vol. 263, Birkhäuser (Basel, 2007). · Zbl 1148.03004
[33] Neil Hale Williams, Combinatorial Set Theory, Studies in Logic and the Foundations of Mathematics, vol. 91, North-Holland Publishing Company (Amsterdam,1977). · Zbl 0362.04008
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.