19 citations · 126 across the 23 of their papers we have counts for
Showing 2005Show all
2 papers · 1 filter
math.LO2005★ 2 cited
Saccharinity
Jakob Kellner, Saharon Shelah
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 inaccessi…
math.LO2005★ 8 cited
New reals: Can live with them, can live without them
Martin Goldstern, Jakob Kellner
We give a self-contained proof of the preservation theorem for proper countable support iterations known as "tools-preservation," "Case A" or "first preservation theorem" in the li…