Tytuł artykułu
Autorzy
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Wydawca
Czasopismo
Rocznik
Tom
Strony
1--17
Opis fizyczny
Bibliogr. 4 poz.
Twórcy
autor
- The Hebrew University of Jerusalem. Einstein Institute of Mathematics. Edmond J. Safra Campus, Givat Ram Jerusalem 91904, Israele, shelah@math.huji.ac.il
Bibliografia
- [1] Shelah, S., Non-Structure Theory, Oxford University Press, (accepted).
- [2] Shelah, S., Proper Forcing, Lecture Notes in Math. 940, Springer-Verlag, Berlin-New York, 1982.
- [3] Shelah, S., Proper and Improper Forcing, Perspect. Math. Logic, Springer-Verlag, Berlin, 1998.
- [4] Shelah, S., Properness without elementaricity, J. Appl. Anal. 10(2) (2004), 169-289, math. LO /9712283.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-LOD4-0001-0003