Properness without elementaricity

Journal of Applied Analysis

Volumn 10, Issue 2, 2004, Pages 169-189

  Shelah, S ^a,b  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

Cohen forcing; Commuting forcing; Forcing; Fubini theorem; Iterated forcing; Nep; Preservation for iterated forcing; Set theory; Snep

Indexed keywords

EID: 77953342447     PISSN: 14256908     EISSN: 18696082     Source Type: Journal    
DOI: 10.1515/JAA.2004.169     Document Type: Article

References (29)

1. Beller, A., Jensen, R. B., Welch, P., Coding the Universe, London Math. Soc. Lecture Notes Ser. 47 Cambridge Univ. Press, Cambridge, 1982.
2. Bartoszyński, T., Judah, H., Set Theory: On the Structure of the Real Line, A K Peters, Wellesley, Massachusetts, 1995.
3. 1-dense sets of reals can be isomorphic, Fund. Math. 79(1973), 101-106.
4. N2-points and the Rudin-Keisler ordering may be downward directed, Ann. Pure Appl. Logic 33(1987), 213-243.
5. Blaszczyk, A., Shelah, S., Complete σ-centered Boolean Algebra not adding Cohen reals, J. Symbolic Logic (accepted), math. LO/9712285.
6. Farah, I., Zapletal, J., Between Maharam's and von Neumann's problems, arxive math. LO/0401134.
7. Fremlin, D., Problem list. Circulated notes; available from http://www.essex.ac.uk/maths/staff/fremlin/measur.htm.
8. Gitik, M., Shelah, S. Forcings with ideals and simple forcing notions, Israel J. Math. 68(1989), 129-160.
9. Gitik, M., Shelah, S., More on simple forcing notions and forcings with ideals, Ann. Pure Appl. Logic 59(1993), 219-238.
10. Gitik, M., Shelah, S., More on real-valued measurable cardinals and forcing with ideals, Israel J. Math. 124(2001), 221-242, math. LO/9507208. (Pubitemid 33404400)
11. Goldstern, M., Tools for your forcing construction, in: Set Theory of the Reals (Ramat Gan, 1991), Israel Math. Conf. Proc. 6(1993), 305-360.
12. Goldstern, M., Judah, H., Iteration of Souslin forcing, projective measurability and the Borel conjecture, Israel J. Math. 78(1992), 335-362.
13. Ihoda, J. (Judah, H.), Shelah, S., Souslin forcing, J. Symbolic Logic, 53(1988), 1188-1207.
14. Jech, T., Set Theory, Academic Press, New York, 1978.
15. Kellner, J., Shelah, S., Preserving preservation, preprint, arxive math. LO/040581
16. Roslanowski, A., Shelah, S., Measured creatures, Israel J. Math (submitted), math. LO/0010070.
17. Rosłanowski, A., Shelah, S., Sheva-Sheva-Sheva: large creatures, Israel J. Math. (submitted), math. LO/0210205.
18. ω, J. Appl. Anal. 3(1997), 103-127, math. LO/9703222.
19. Rosłanowski, A., Shelah, S., Norms on Possibilities I: Forcing with Trees and Creatures, Mem. Amer. Math. Soc. 141(671), Amer. Math. Soc, Providence, RI, 1999. math. LO/9807172.
20. +, Internat. J. Math. Math. Sci. 28(2001), 63-82, math. LO/9906024.
21. Shelah, S., Non Cohen oracle ccc, J. Appl. Anal. (submitted), math. LO/0303294.
22. Shelah, S., On nicely definable forcing notions, J. Appl. Anal. 11(1) (2005), (to appear), math. LO/0303293.
23. Shelah, S., Proper Forcing, Lecture Notes in Math. 940, Springer-Verlag, Berlin-New York, 1982.
24. Shelah, S., How special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null, Israel J. Math. 88(1994), 159-174, math. LO/9303208.
25. Shelah, S., Proper and Improper Forcing, Perspect. Math. Logic, Springer, New York, 1998.
26. Shelah, S., On what I do not understand (and have something to say), Fund. Math. 166(2000), 1-82, math. LO/9906113. (Pubitemid 33579506)
27. Shelah, S., Stanley, L., A combinatorial forcing for coding the universe by a real when there are no sharps, J. Symbolic Logic 60(1995), 1-35, math. LO/9311204.
28. Shelah, S., More on non-elementary properness, (in preparation).
29. Zapletal, J., Descriptive Set Theory and Definable Forcing, Mem. Amer. Math. Soc. 167(793), Providence, RI, 2004.