## Journal of Symbolic Logic

### The proper forcing axiom and the singular cardinal hypothesis

Matteo Viale

#### Abstract

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].

#### Article information

Source
J. Symbolic Logic, Volume 71, Issue 2 (2006), 473-479.

Dates
First available in Project Euclid: 2 May 2006

https://projecteuclid.org/euclid.jsl/1146620153

Digital Object Identifier
doi:10.2178/jsl/1146620153

Mathematical Reviews number (MathSciNet)
MR2225888

Zentralblatt MATH identifier
1098.03053

Keywords
MRP PFA SCH

#### Citation

Viale, Matteo. The proper forcing axiom and the singular cardinal hypothesis. J. Symbolic Logic 71 (2006), no. 2, 473--479. doi:10.2178/jsl/1146620153. https://projecteuclid.org/euclid.jsl/1146620153

#### References

• A. Caicedo and B. Veličković, Bounded proper forcing axiom and well orderings of the reals, Mathematical Research Letters, to appear, 18 pages.
• J. Cummings and E. Schimmerling, Indexed squares, Israel Journal of Mathematics, vol. 131 (2002), pp. 61--99.
• W. B. Easton, Powers of regular cardinals, Annals of Pure and Applied Logic, vol. 1 (1970), pp. 139--178.
• M. Foreman, M. Magidor, and S. Shelah, Martin's maximum, saturated ideals, and nonregular ultrafilters., Annals of Mathematics. Second Series, vol. 127 (1988), no. 1, pp. 1--47.
• M. Gitik, Blowing up power of a singular cardinal---wider gaps, Annals of Pure and Applied Logic, vol. 116 (2002), pp. 1--38.
• --------, Prikry type forcings, Handbook of set theory (Foreman, Kanamori, and Magidor, editors),to appear.
• T. Jech Set theory: the millennium edition, Springer-Verlag, Berlin, 2003.,
• B. König and Y. Yoshinobu, Fragments of Martin's maximum in generic extensions, Mathematical Logic Quarterly, vol. 50 (2004), no. 3, pp. 297--302.
• M. Magidor, Lectures on weak square principles and forcing axioms, unpublished notes of the course held in the Jerusalem Logic Seminar,summer 1995.
• J. T. Moore, The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis, Annals of Pure and Applied Logic, to appear.
• J. T. Moore, Set mapping reflection, Journal of Mathematical Logic, vol. 5 (2005), no. 1, pp. 87--97.
• J. H. Silver, On the singular cardinals problem, Proceedings of the international congress of mathematicians (Vancouver, B. C., 1974), vol. 1, Canadian Mathematical Congress, Montreal, Que., 1975, pp. 265--268.
• R. M. Solovay, Strongly compact cardinals and the GCH, Proceedings of the Tarski Symposium (Proceedings of the Symposium for Pure Mathematics, Vol. XXV, Univ. California, Berkeley, California, 1971) (L. Henkin et al., editors), American Mathematical Society, Providence, R.I., 1974, pp. 365--372.
• B. Veličković, Forcing axioms and stationary sets, Advances in Mathematics, vol. 94 (1992), no. 2, pp. 256--284.