Non-Cohen oracle c.c.c.

• Autorzy: Shelah S.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

03E17; 03E35

• Wydawca: De Gruyter
• Czasopismo: Journal of Applied Analysis
• Rocznik: 2006
• Tom: Vol. 12, nr 1
• Strony: 1--17
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Shelah S.

• The Hebrew University of Jerusalem. Einstein Institute of Mathematics. Edmond J. Safra Campus, Givat Ram Jerusalem 91904, Israele,

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.