# Sh:859

• Kellner, J., & Shelah, S. (2011). Saccharinity. J. Symbolic Logic, 76(4), 1153–1183.
• 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.
• Version 2011-01-20_11 (27p) published version (32p)
Bib entry
@article{Sh:859,
author = {Kellner, Jakob and Shelah, Saharon},
title = {{Saccharinity}},
journal = {J. Symbolic Logic},
fjournal = {The Journal of Symbolic Logic},
volume = {76},
number = {4},
year = {2011},
pages = {1153--1183},
issn = {0022-4812},
mrnumber = {2895391},
mrclass = {03E40 (03E35)},
doi = {10.2178/jsl/1318338844},
note = {\href{https://arxiv.org/abs/math/0511330}{arXiv: math/0511330}},
arxiv_number = {math/0511330}
}