You currently have no access to view or download this content. Please log in with your institutional or personal account if you should have access to this content through either of these.
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