Abstract
Using a finite support iteration of ccc forcings, we construct a model of N1 < add(N) < cov(N) < b < non(ℳ) < cov(ℳ) = c.
| Original language | English |
|---|---|
| Pages (from-to) | 4025-4042 |
| Number of pages | 18 |
| Journal | Proceedings of the American Mathematical Society |
| Volume | 144 |
| Issue number | 9 |
| DOIs | |
| State | Published - 2016 |
Bibliographical note
Publisher Copyright:© 2016 American Mathematical Society.
Keywords
- Cichoń’s diagram
- Eventually different reals
- Finite support iteration
- Forcing