On tree ideals

Martin Goldstern; Miroslav Repicky; Otmar Spinas; Saharon Shelah

arxiv: math/9311212 · v1 · submitted 1993-11-15 · 🧮 math.LO

On tree ideals

Martin Goldstern , Miroslav Repicky , Saharon Shelah , Otmar Spinas This is my paper

classification 🧮 math.LO

keywords forcingidealslavermillerassociatedcardinalcollapseconsistent

0 comments

read the original 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 .

This paper has not been read by Pith yet.

On tree ideals

discussion (0)