Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: 03E17

Sortuj według:

Ogranicz wyniki do:

Non-Cohen oracle c.c.c.

Shelah S.

Journal of Applied Analysis

2006

Vol. 12, nr 1

1-17

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 iubforcing, <· ! ) of a given nicely one and satisfying the oracle.