Mathematics – Logic
Scientific paper
2005-11-13
J. Symbolic Logic, 74 (2011), No. 4, 1153--1183
Mathematics
Logic
Scientific paper
10.2178/jsl/1318338844
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.
Kellner Jakob
Shelah Saharon
No associations
LandOfFree
Saccharinity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Saccharinity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Saccharinity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-218746