Mathematics – Logic
Scientific paper
2010-03-17
Arch. Math. Logic 51 (2012), No. 1-2, 49-70
Mathematics
Logic
Scientific paper
10.1007/s00153-011-0253-8
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 $\nu$ of the $f$-tree, one of the $g$-trees contains $\nu$. Let $c^\exists_{f,g}$ be the dual notion: For every branch $\nu$, one of the $g$-trees guesses $\nu(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.
Kellner Jakob
Shelah Saharon
No associations
LandOfFree
Creature forcing and large continuum: The joy of halving does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Creature forcing and large continuum: The joy of halving, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Creature forcing and large continuum: The joy of halving will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-234484