Decisive creatures and large continuum
Logic
2011-01-25 v2
Abstract
For let be the minimal number of uniform -splitting trees needed to cover the uniform -splitting tree, i.e. for every branch of the -tree, one of the -trees contains . is the dual notion: For every branch , one of the -trees guesses infinitely often. It is consistent that for many pairwise different cardinals and suitable pairs . 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.
Keywords
Cite
@article{arxiv.math/0601083,
title = {Decisive creatures and large continuum},
author = {Jakob Kellner and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0601083},
year = {2011}
}
Comments
major revision