Journal of Symbolic Logic

MRP, tree properties and square principles

Remi Strullu

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


We show that MRP+MA implies that ITP(λ,ω2) holds for all cardinal λ ≥ ω2. This generalizes a result by Weiß who showed that PFA implies that ITP(λ, ω2) holds for all cardinal λ ≥ ω2. Consequently any of the known methods to prove MRP+MA consistent relative to some large cardinal hypothesis requires the existence of a strongly compact cardinal. Moreover if one wants to force MRP+MA with a proper forcing, it requires at least a supercompact cardinal. We also study the relationship between MRP and some weak versions of square. We show that MRP implies the failure of □(λ,ω) for all λ≥ ω2 and we give a direct proof that MRP+MA implies the failure of □(λ,ω1) for all λ≥ω2.

Article information

J. Symbolic Logic, Volume 76, Issue 4 (2011), 1441-1452.

First available in Project Euclid: 11 October 2011

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03E35: Consistency and independence results 03E50: Continuum hypothesis and Martin's axiom [See also 03E57] 03E55: Large cardinals 03E57: Generic absoluteness and forcing axioms [See also 03E50]

MRP ITP square sequence strongly compact cardinal consistency results


Strullu, Remi. MRP , tree properties and square principles. J. Symbolic Logic 76 (2011), no. 4, 1441--1452. doi:10.2178/jsl/1318338859.

Export citation


  • Andrés Eduardo Caicedo and Boban Veličković, The bounded proper forcing axiom and well orderings of the reals, Mathematical Research Letters, vol. 13 (2006), no. 2-3, pp. 393–408.
  • Keith J. Devlin, The Yorkshireman's guide to proper forcing, Surveys in set theory (A. R. D. Mathias, editor), London Mathematical Society Lecture Note Series, vol. 87, Cambridge Univ. Press, Cambridge, 1983, pp. 60–115.
  • M. Foreman, M. Magidor, and S. Shelah, Martin's maximum, saturated ideals, and nonregular ultrafilters. I, Annals of Mathematics. Second Series, vol. 127 (1988), no. 1, pp. 1–47.
  • Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
  • R. Björn Jensen, The fine structure of the constructible hierarchy, Annals of Pure and Applied Logic, vol. 4 (1972), pp. 229–308; erratum, ibid. 4 (1972), 443, with a section by Jack Silver.
  • Bernhard König, Forcing indestructibility of set-theoretic axioms, Journal of Symbolic Logic, vol. 72 (2007), no. 1, pp. 349–360.
  • Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam, 1980.
  • Justin Tatch Moore, Set mapping reflection, Journal of Mathematical Logic, vol. 5 (2005), no. 1, pp. 87–97.
  • ––––, A five element basis for the uncountable linear orders, Annals of Mathematics. Second Series, vol. 163(2006), no. 2, pp. 669–688.
  • Ernest Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Annals of Pure and Applied Logic, vol. 74 (1995), no. 2, pp. 153–201.
  • Matteo Viale, The proper forcing axiom and the singular cardinal hypothesis, Journal of Symbolic Logic, vol. 71 (2006), no. 2, pp. 473–479.
  • Matteo Viale and Christoph Weiß, On the consistency strength of the proper forcing axiom, Advances in Mathematics, to appear.
  • Christoph Weiß, Subtle and ineffable tree properties, Ph.D. thesis, Ludwig Maximilians Universität München, 2010, family
  • ––––, The combinatorial essence of supercompactness, forthcoming.