Graph explorer

Saccharinity

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.

4 nodes3 linksoverview mapSaccharinity
4 nodes3 links
Saccharinity4 visible / 4 total nodes / 4 links
Co-authorshipAuthorshipAuthorshipTopic signalWSaccharinitypreprint / 2011AJakob KellnerResearcherASaharon ShelahResearcherTmath.LO1661 works
PaperSignal 103 links

Saccharinity

preprint / 2011

Open