Abstract
We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. As an application, we introduce a new method to force (weak) measurability of all definable sets with respect to a certain (non-ccc) ideal.
| Original language | English |
|---|---|
| Pages (from-to) | 1153-1183 |
| Number of pages | 31 |
| Journal | Journal of Symbolic Logic |
| Volume | 76 |
| Issue number | 4 |
| DOIs | |
| State | Published - Dec 2011 |