Abstract
In this paper, we consider Foreman’s maximality principle, which says that any nontrivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We observe that it is consistent that every c.c.c. forcing adds a real and that for every uncountable regular cardinal κ, every κ-closed forcing of size 2<κ collapses some cardinal.
| Original language | English |
|---|---|
| Pages (from-to) | 1344-1356 |
| Number of pages | 13 |
| Journal | Journal of Symbolic Logic |
| Volume | 81 |
| Issue number | 4 |
| DOIs | |
| State | Published - 1 Dec 2016 |
Bibliographical note
Publisher Copyright:© 2016, Association for Symbolic Logic.
Keywords
- Adding reals
- Collapsing cardinals
- Extender based Radin forcing
- Extender sequences