Abstract. Let Io and m ° be the ideals associated with Laver and Miller forcing, respectively. We show that add(/°) < cov(/°) and add(m°) < cov(m°) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal < f)
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.