Sh:859

• Kellner, J., & Shelah, S. (2011). Saccharinity. J. Symbolic Logic, 76(4), 1153–1183. arXiv: math/0511330 DOI: 10.2178/jsl/1318338844 MR: 2895391
• 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)

@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}
}