On tree ideals
Logic
2008-02-03 v1
Abstract
Let l^0 and m^0 be the ideals associated with Laver and Miller forcing, respectively. We show that add (l^0) < cov(l^0) and add (m^0) < cov(m^0) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal <= h .
Keywords
Cite
@article{arxiv.math/9311212,
title = {On tree ideals},
author = {Martin Goldstern and Miroslav Repicky and Saharon Shelah and Otmar Spinas},
journal= {arXiv preprint arXiv:math/9311212},
year = {2008}
}