Saccharinity
Logic
2011-10-18 v2
Abstract
We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals measurable with respect to a certain (non-ccc) ideal.
Cite
@article{arxiv.math/0511330,
title = {Saccharinity},
author = {Jakob Kellner and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0511330},
year = {2011}
}