Abstract
For \({f,g\in\omega^\omega}\) let \({c^\forall_{f,g}}\) be the minimal number of uniform g-splitting trees needed to cover the uniform f-splitting tree, i.e., for every branch ν of the f-tree, one of the g-trees contains ν. Let \({c^\exists_{f,g}}\) be the dual notion: For every branch ν, one of the g-trees guesses ν(m) infinitely often. We show that it is consistent that \({c^\exists_{f_\epsilon,g_\epsilon}{=}c^\forall_{f_\epsilon,g_\epsilon}{=}\kappa_\epsilon}\) for continuum many pairwise different cardinals \({\kappa_\epsilon}\) and suitable pairs \({(f_\epsilon,g_\epsilon)}\) . For the proof we introduce a new mixed-limit creature forcing construction.
Similar content being viewed by others
References
Blass, A.: Simple cardinal characteristics of the continuum. In: Set Theory of the Reals (Ramat Gan, 1991), vol. 6 of Israel Mathematical Conferences Proceedings, pp 63–90. Bar-Ilan University, Ramat Gan (1993)
Goldstern M., Shelah S.: Many simple cardinal invariants. Arch. Math. Logic 32(3), 203–221 (1993)
Jakob K.: Even more simple cardinal invariants. Arch. Math. Logic 47(5), 503–515 (2008)
Jakob K., Shelah S.: Decisive creatures and large continuum. J. Symb. Logic 74(1), 73–104 (2009)
Rosłanowski A., Shelah S.: Norms on possibilities. I. Forcing with trees and creatures. Mem. Am. Math. Soc. 141(671), xii+167 (1999)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kellner, J., Shelah, S. Creature forcing and large continuum: the joy of halving. Arch. Math. Logic 51, 49–70 (2012). https://doi.org/10.1007/s00153-011-0253-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0253-8