### On tree ideals

by Goldstern and Repicky and Shelah and Spinas. [GRShS:487]

Proc American Math Soc, 1995

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 .

Back to the list of publications