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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
