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