Martin’s maximum and weak square

Cummings, James; Magidor, Menachem

doi:10.1090/S0002-9939-2011-10730-5

Martin’s maximum and weak square
HTML articles powered by AMS MathViewer

by James Cummings and Menachem Magidor PDF

Proc. Amer. Math. Soc. 139 (2011), 3339-3348 Request permission

Abstract:

We analyse the influence of the forcing axiom Martin’s Maximum on the existence of square sequences, with a focus on the weak square principle $\square _{\lambda , \mu }$.

References

James Cummings, Mirna D amonja, and Saharon Shelah, A consistency result on weak reflection, Fund. Math. 148 (1995), no. 1, 91–100. MR 1354940, DOI 10.4064/fm-148-1-91-100
James Cummings, Matthew Foreman, and Menachem Magidor, Squares, scales and stationary reflection, J. Math. Log. 1 (2001), no. 1, 35–98. MR 1838355, DOI 10.1142/S021906130100003X
James Cummings, Matthew Foreman, and Menachem Magidor, The non-compactness of square, J. Symbolic Logic 68 (2003), no. 2, 637–643. MR 1976595, DOI 10.2178/jsl/1052669068
James Cummings and Ernest Schimmerling, Indexed squares, Israel J. Math. 131 (2002), 61–99. MR 1942302, DOI 10.1007/BF02785851
Mirna D amonja and Saharon Shelah, Saturated filters at successors of singular, weak reflection and yet another weak club principle, Ann. Pure Appl. Logic 79 (1996), no. 3, 289–316. MR 1395679, DOI 10.1016/0168-0072(95)00040-2
Matthew Foreman and Menachem Magidor, A very weak square principle, J. Symbolic Logic 62 (1997), no. 1, 175–196. MR 1450520, DOI 10.2307/2275738
M. Foreman, M. Magidor, and S. Shelah, Martin’s maximum, saturated ideals, and nonregular ultrafilters. I, Ann. of Math. (2) 127 (1988), no. 1, 1–47. MR 924672, DOI 10.2307/1971415
R. B. Jensen, Some remarks on $\square$ below zero-pistol, circulated notes.
M. Magidor, Square principles and versions of the Proper Forcing Axiom, to appear.
Ernest Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Ann. Pure Appl. Logic 74 (1995), no. 2, 153–201. MR 1342358, DOI 10.1016/0168-0072(94)00036-3
Saharon Shelah, On successors of singular cardinals, Logic Colloquium ’78 (Mons, 1978) Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 357–380. MR 567680
Saharon Shelah, Cardinal arithmetic, Oxford Logic Guides, vol. 29, The Clarendon Press, Oxford University Press, New York, 1994. Oxford Science Publications. MR 1318912
Robert M. Solovay, Strongly compact cardinals and the GCH, Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley, Calif., 1971) Amer. Math. Soc., Providence, R.I., 1974, pp. 365–372. MR 0379200
Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no. 1, 73–116. MR 482431, DOI 10.1016/0003-4843(78)90031-1
Stevo Todorčević, A note on the proper forcing axiom, Axiomatic set theory (Boulder, Colo., 1983) Contemp. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1984, pp. 209–218. MR 763902, DOI 10.1090/conm/031/763902
Matteo Viale, The proper forcing axiom and the singular cardinal hypothesis, J. Symbolic Logic 71 (2006), no. 2, 473–479. MR 2225888, DOI 10.2178/jsl/1146620153