Decisive creatures and large continuum

Jakob Kellner*, Saharon Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

Abstract

For f, g ∈ ωω let cf,g be the minimal number of uniform g-splitting trees (or: Slaloms) to cover the uniform f-splitting tree, i.e., for every branch v of the f-tree, one of the g-trees contains v. cf,g is the dual notion: For every branch v, one of the g-trees guesses v(m) infinitely often. It is consistent that cfε,gε = cfε,gε = kε for N 1 manypairwise different cardinals kε and suitable pairs (fε,gε). 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.

Original languageEnglish
Pages (from-to)73-104
Number of pages32
JournalJournal of Symbolic Logic
Volume74
Issue number1
DOIs
StatePublished - Mar 2009

Fingerprint

Dive into the research topics of 'Decisive creatures and large continuum'. Together they form a unique fingerprint.

Cite this