by Kellner and Shelah. [KrSh:859]
J Symbolic Logic, 2011
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.
Back to the list of publications