No Access

Simultaneous stationary reflection and square sequences

Yair Hayut

School of Mathematical Sciences, Tel Aviv University, Tel Aviv 69978, Israel

E-mail Address: yair.hayut@math.huji.ac.il

Search for more papers by this author

and

Chris Lambie-Hanson

Department of Mathematics, Bar-Ilan University, Ramat Gan 5290002, Israel

E-mail Address: lambiec@macs.biu.ac.il

Search for more papers by this author

https://doi.org/10.1142/S0219061317500106Cited by:14 (Source: Crossref)

Abstract

We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.

Keywords:

AMSC: 03E05, 03E35, 03E55

References

1. R. Beaudoin , The proper forcing axiom and stationary set reflection, Pacific J. Math. 149(1) (1991) 13–24. Crossref, Web of Science, Google Scholar
2. J. Cummings, M. Foreman and M. Magidor , Squares, scales and stationary reflection, J. Math. Logic 1(1) (2001) 35–98, MR 1838355 (2003a:03068). Link, Google Scholar
3. J. Cummings and E. Schimmerling , Indexed squares, Israel J. Math. 131(1) (2002) 61–99. Crossref, Web of Science, Google Scholar
4. T. Eisworth , Successors of singular cardinals, in Handbook of Set Theory, Vol. 2 (Springer, Dordrecht, 2010), pp. 1229–1350. Crossref, Google Scholar
5. L. Fontanella and Y. Hayut , Square and delta reflection, Ann. Pure Appl. Logic 167(8) (2016) 663–683. Crossref, Web of Science, Google Scholar
6. D. M. Gabbay, J. H. Woods and A. Kanamori , Handbook of the History of Logic: Sets and Extensions in the Twentieth Century, Vol. 6 (Elsevier, 2004). Crossref, Google Scholar
7. L. Harrington and S. Shelah , Some exact equiconsistency results in set theory, Notre Dame J. Form. Logic 26(2) (1985) 178–188. Crossref, Google Scholar
8. T. Jech , Set Theory, the Third Millennium, Revised and expanded edn., Springer Monographs in Mathematics (Springer-Verlag, Berlin, 2003). Google Scholar
9. R. B. Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972) 229–308; Erratum 4 (1972) 443, With a section by Jack Silver, MR 0309729 (46 #8834). Google Scholar
10. R. Jensen, Some remarks on $□$ below zero pistol, unpublished. Google Scholar
11. D. Kurepa , Ensembles ordonnés et ramifiés de points, Math. Balkanica 7 (1977) 201–204, MR 646196 (84h:04004a). Google Scholar
12. C. Lambie-Hanson , Squares and covering matrices, Ann. Pure Appl. Logic 165(2) (2014) 673–694, MR 3129734. Crossref, Web of Science, Google Scholar
13. C. Lambie-Hanson , Bounded stationary reflection II, Ann. Pure Appl. Logic 168(1) (2017) 50–71. Crossref, Web of Science, Google Scholar
14. C. Lambie-Hanson , Squares and narrow systems, J. Symbolic Logic 82(3) (2017) 834–859. Crossref, Web of Science, Google Scholar
15. M. Magidor , Reflecting stationary sets, J. Symbolic Logic 47(4) (1982) 755–771 (1983), MR 683153 (84f:03046). Crossref, Web of Science, Google Scholar
16. M. Magidor and C. Lambie-Hanson , On the strengths and weaknesses of weak squares, in Appalachian Set Theory: 2006–2012, London Mathematical Society Lecture Note Series, Vol. 406 (Cambridge Univ. Press, 2012), p. 301. Crossref, Google Scholar
17. M. Magidor and S. Shelah , When does almost-free implies free, J. Amer. Math. Soc. 7(4) (1994) 769–830. Crossref, Google Scholar
18. A. Rinot , Chain conditions of products, and weakly compact cardinals, Bull. Symbolic Logic 20(3) (2014) 293–314. Crossref, Web of Science, Google Scholar
19. G. Sargsyan , Nontame mouse from the failure of square at a singular strong limit cardinal, J. Math. Logic 14(1) (2014) 1450003. Link, Web of Science, Google Scholar
20. E. Schimmerling , Combinatorial principles in the core model for one Woodin cardinal, Ann. Pure Appl. Logic 74(2) (1995) 153–201, MR 1342358 (96f:03041). Crossref, Web of Science, Google Scholar
21. E. Schimmerling and M. Zeman , Characterization of $□_{κ}$ in core models, J. Math. Logic 4(1) (2004) 1–72. Link, Google Scholar
22. S. Shelah , Cardinal Arithmetic (Oxford Univ. Press, USA, 1994). Crossref, Google Scholar
23. S. Todorcevic , Coherent sequences, in Handbook of Set Theory, Vol. 1 (Springer, Dordrecht, 2010), pp. 215–296, MR 2768682. Crossref, Google Scholar
24. M. Zeman , Global square sequences in extender models, Ann. Pure Appl. Logic 161(7) (2010) 956–985, MR 2601024 (2011h:03098). Crossref, Web of Science, Google Scholar