Prefer a chat interface with context about you and your work?
On Tree Ideals
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