2003 seminar talk: Preserving non-null with transitive nep forcings

Talk held by Jakob Kellner (KGRC) at the KGRC seminar on 2003-04-01.


I will introduce the definitions of Suslin ccc, Suslin proper and transitive nep, demonstrate that many of the usual "definable" forcings of sets of reals are Suslin+, and present an application of these notions, a simplified version of Shelah's "preserving a little implies preserving much": If I is an ideal generated by a Suslin ccc forcing (e.g. null or meager), and P is a transitive nep forcing, and (in V and every forcing extension) P forces that no old positive Borel-set becomes null, then P forces that no old positive set becomes null.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.