Abstract
Let l0 and m0 be the ideals associated with Laver and Miller forcing, respectively. We show that add(l0) > cov(l0) and add(m0) > cov(l0) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal > f).
Original language | English |
---|---|
Pages (from-to) | 1573-1581 |
Number of pages | 9 |
Journal | Proceedings of the American Mathematical Society |
Volume | 123 |
Issue number | 5 |
DOIs | |
State | Published - May 1995 |
Keywords
- Geometry of partial differential equations
- Singular solutions of PDE’s