pith. sign in

arxiv: math/0601083 · v2 · pith:J73CVGATnew · submitted 2006-01-04 · 🧮 math.LO

Decisive creatures and large continuum

classification 🧮 math.LO
keywords epsilontreesbranchcreaturesdecisioneveryfusionkappa
0
0 comments X
read the original abstract

For $f,g\in\omega\ho$ let $\mycfa_{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$. $\myc_{f,g}$ is the dual notion: For every branch $\nu$, one of the $g$-trees guesses $\nu(m)$ infinitely often. It is consistent that $\myc_{f_\epsilon,g_\epsilon}=\mycfa_{f_\epsilon,g_\epsilon}=\kappa_\epsilon$ for $\al1$ many pairwise different cardinals $\kappa_\epsilon$ and suitable pairs $(f_\epsilon,g_\epsilon)$. For the proof we use creatures with sufficient bigness and halving. We show that the lim-inf creature forcing satisfies fusion and pure decision. We introduce decisiveness and use it to construct a variant of the countable support iteration of such forcings, which still satisfies fusion and pure decision.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.