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 language | English |
|---|---|
| Pages (from-to) | 73-104 |
| Number of pages | 32 |
| Journal | Journal of Symbolic Logic |
| Volume | 74 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 2009 |
Fingerprint
Dive into the research topics of 'Decisive creatures and large continuum'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver