Mathematics – Logic
Scientific paper
2003-03-24
Mathematics
Logic
Scientific paper
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. 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.
No associations
LandOfFree
Non Cohen Oracle c.c.c 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 Non Cohen Oracle c.c.c, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Non Cohen Oracle c.c.c will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-332809