Decisive creatures and large continuum

DOI10.2178/JSL/1231082303MaRDI QIDQ3616344zbMATH OpenOpenAlexFDO

Publication date 25 March 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0601083

Cardinal characteristics of the continuum (03E17) Other aspects of forcing and Boolean-valued models (03E40) Continuum hypothesis and Martin's axiom (03E50)

Abstract: For

f, g i n o m e g a h o

let

m y c f a_{f, g}

be the minimal number of uniform

g

-splitting trees needed to cover the uniform

f

-splitting tree, i.e. for every branch

u

of the

f

-tree, one of the

g

-trees contains

u

.

m y c_{f, g}

is the dual notion: For every branch

u

, one of the

g

-trees guesses

u (m)

infinitely often. It is consistent that

m y c_{f_{e} p s i l o n, g_{e} p s i l o n} = m y c f a_{f_{e} p s i l o n, g_{e} p s i l o n} = k a p p a_{e} p s i l o n

for

a l 1

many pairwise different cardinals

k a p p a_{e} p s i l o n

and suitable pairs

(f_{e} p s i l o n, g_{e} p s i l o n)

. 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.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Decisive creatures and large continuum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3616344)