Preserving non-null with Suslin+ forcings

Archive for Mathematical Logic

Volumn 45, Issue 6, 2006, Pages 649-664

  Kellner, Jakob ^a  

^a UNIVERSITY OF VIENNA   (Austria)

Author keywords

Definable forcing; Forcing; Non elementary proper; Suslin proper

Indexed keywords

EID: 33746718637     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-006-0008-0     Document Type: Article

References (14)

1. Bagaria, J., Bosch, R.: Projective forcing. Ann. Pure Appl. Logic 86(3), 237-266 (1997)
2. Bartoszyński, T., Judah, H.: Set theory: on the structure of the real line. In: Peters, A.K., (ed.) Wellesley (1995)
3. Baumgartner, J.E.: Iterated forcing. In: Mathias, A. (ed.) Surveys in set theory, London mathematical society lecture note series, vol. 87, pp. 1-59. Cambridge University Press, Cambridge (1983)
4. Goldstern, M.: Tools for your forcing construction. In: Judah, H. (ed.) Set Theory of The Reals, israel mathematical conference proceedings, vol. 6, pp. 305-360. American Mathematical Society (1993)
5. Goldstern, M., Judah, H.: Iteration of Souslin forcing, projective measurability and the Borel conjecture. Isr. J. Math. 78, 335-362 (1992)
6. Ihoda (Haim Judah), J., Shelah, S.: Souslin forcing. J. Symb. Logic 53, 1188-1207 (1988)
7. Judah, H., Shelah, S.: The kunen-miller chart (lebesgue measure, the baire property, laver reals and preservation theorems for forcing). J. Symb. Logic 55, 909-927 (1990)
8. Keisler, H.J.: Logic with the quantifier "there exist uncountably many". Ann. Math. Logic 1, 1-93 (1970)
9. Kellner, J., Shelah, S.: Preserving preservation. J. Symb. Logic 70(3), 914-945 (2005). Math. LO/0405081
10. Pawlikowski, J.: Laver'"s forcing and outer measure. In: Bartoszynśki, T., Scheepers, M. (eds.) Proceedings of BEST conferences 1991-1994. American Mathematical Society, Providence (1995)
11. Roslanowski, A., Shelah, S.: Norms on possibilities i: forcing with trees and creatures. Memoirs of the American Mathematical Society, vol. 141, xii + 167 (1999). Math.LO/9807172
12. Shelah, S.: Proper and improper forcing. Perspectives in Mathematical Logic. Springer, Berlin Heidelberg New York (1998)
13. Shelah, S.: Properness without elementaricity. J. Appl. Anal. 10, 168-289 (2004). Math. LO/9712283
14. Sikorski, R.: Boolean Algebras. Springer, Berlin Heidelberg New York (1964)