On tree ideals

Martin Goldstern, Miroslav Repicky, Saharon Shelah +1

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 b…