Showing a limited preview of this publication:
Abstract
The oracle c.c.c. is closely related to Cohen forcing. During an iteration we can “omit a type”; i.e. preserve “the intersection of a given family of Borel sets of reals is empty” provided that Cohen forcing satisfies it. We generalize this to other cases. In Section 1 we replace Cohen by “nicely” definable c.c.c., do the parallel of the oracle c.c.c. and end with a criterion for extracting a subforcing (not a complete subforcing, ) of a given nicely one and satisfying the oracle.
Received: 2003-05-05
Revised: 2004-12-06
Published Online: 2010-06-09
Published in Print: 2006-June
© Heldermann Verlag