Journal of Symbolic Logic

The proper forcing axiom and the singular cardinal hypothesis

Matteo Viale

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 the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].

Article information

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

First available in Project Euclid: 2 May 2006

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03E05: Other combinatorial set theory 03E10: Ordinal and cardinal numbers 03E65: Other hypotheses and axioms 03E75: Applications of set theory



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.

Export citation


  • 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.