Abstract
May the same graph admit two different chromatic numbers in two different universes? How about infinitely many different values? and can this be achieved without changing the cardinals structure? In this paper, it is proved that in Gödel’s constructible universe, for every uncountable cardinal \(\mu \) below the first fixed-point of the \(\aleph \)-function, there exists a graph \(\mathcal G_\mu \) satisfying the following:
-
\(\mathcal G_\mu \) has size and chromatic number \(\mu \);
-
for every infinite cardinal \(\kappa <\mu \), there exists a cofinality-preserving \({{\mathrm{GCH}}}\)-preserving forcing extension in which \({{\mathrm{Chr}}}(\mathcal G_\mu )=\kappa \).
Similar content being viewed by others
References
Abraham, U., Devlin, K.J., Shelah, S.: The consistency with ch of some consequences of martin’s axiom plus \(2^{\aleph _{0}}>\aleph _{1}\). Isr. J. Math. 31, 19–33 (1978)
Baumgartner, J., Malitz, J., Reinhardt, W.: Embedding trees in the rationals. Proc. Natl. Acad. Sci. USA 67, 1748–1753 (1970)
Brodsky, A.M., Rinot, A.: A microscopic approach to Souslin trees constructions. Part I, Preprint (2015). arXiv:1601.01821
David, R.: Some results on higher Suslin trees. J. Symb. Log. 55(2), 526–536 (1990)
Erdős, P., Hajnal, A.: On chromatic number of infinite graphs. In: Theory of Graphs (Proc. Colloq., Tihany, 1966), pp. 83–98. Academic Press, New York (1968)
Galvin, F., Hajnal, A.: Inequalities for cardinal powers. Ann. Math. 2(101), 491–498 (1975)
Galvin, F., Komjáth, P.: Graph colorings and the axiom of choice. Period. Math. Hung. 22(1), 71–75 (1991)
Gitik, M.: No bound for the first fixed point. J. Math. Log. 5(2), 193–246 (2005)
Hajnal, A., Komjáth, P.: Embedding graphs into colored graphs. Trans. Am. Math. Soc. 307(1), 395–409 (1988)
Jech, T.: Set Theory. Springer Monographs in Mathematics. Springer, Berlin (2003). The third millennium edition, revised and expanded
Kechris, A.S., Solecki, S., Todorcevic, S.: Borel chromatic numbers. Adv. Math. 141(1), 1–44 (1999)
Komjáth, P., Shelah, S.: Consistently \({P}(\omega _1)\) is the union of \(<2^{\aleph _1}\) independent families. Isr. J. Math. 218, 165–173 (2017). doi:10.1007/s11856-017-1463-5
Magidor, M., Shelah, S.: When does almost free imply free? (For groups, transversals, etc.). J. Am. Math. Soc. 7(4), 769–830 (1994)
Rinot, A.: Chromatic numbers of graphs-large gaps. Combinatorica 35(2), 215–233 (2015)
Shelah, S., Soifer, A.: Axiom of choice and chromatic number of the plane. J. Comb. Theory Ser. A 103(2), 387–391 (2003)
Shelah, S.: Cardinal Arithmetic, Volume 29 of Oxford Logic Guides. Oxford University Press, Oxford (1994)
Soifer, A.: The Mathematical Coloring Book. Mathematics of Coloring and the Colorful Life of its Creators. Springer, New York (2009). With forewords by Branko Grünbaum, Peter D Johnson, Jr. and Cecil Rousseau
Solovay, R.M.: A model of set-theory in which every set of reals is Lebesgue measurable. Ann. Math. 2(92), 1–56 (1970)
Székely, L.A.: Measurable chromatic number of geometric graphs and sets without some distances in Euclidean space. Combinatorica 4(2–3), 213–218 (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by ISF Grant 1630/14.
Rights and permissions
About this article
Cite this article
Rinot, A. Same graph, different universe. Arch. Math. Logic 56, 783–796 (2017). https://doi.org/10.1007/s00153-017-0551-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0551-x