Skip to main content Accessibility help

The proper forcing axiom and the singular cardinal hypothesis

  • Matteo Viale (a1) (a2)


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



Hide All
[1]Caicedo, A. and Veličković, B., Bounded proper forcing axiom and well orderings of the reals, Mathematical Research Letters, to appear, 18 pages.
[2]Cummings, J. and Schimmerling, E., Indexed squares, Israel Journal of Mathematics, vol. 131 (2002). pp. 6199.
[3]Easton, W. B., Powers of regular cardinals, Annals of Pure and Applied Logic, vol. 1 (1970). pp. 139178.
[4]Foreman, M., Magidor, M., and Shelah, S.. Martin's maximum, saturated ideals, and nonregular ultrafilters., Annals of Mathematics. Second Series, vol. 127 (1988). no. 1, pp. 147.
[5]Gitik, M., Blowing up power of a singular cardinal—wider gaps. Annals of Pure and Applied Logic, vol. 116 (2002), pp. 138.
[6]Gitik, M.Prikry type forcings, Handbook of set theory (Foreman, , Kanamori, , and Magidor, , editors), to appear.
[7]Jech, T., Set theory: the millennium edition, Springer-Verlag, Berlin, 2003.
[8]Köng, B. and Yoshinobu, Y., Fragments of Martin's maximum in generic extensions, Mathematical Logic Quarterly, vol. 50 (2004). no. 3, pp. 297302.
[9]Magidor, M., Lectures on weak square principles and forcing axioms, unpublished notes of the course held in the Jerusalem Logic Seminar, summer 1995.
[10]Moore, J. T., The proper forcing axiom. Prikry forcing, and the singular cardinals hypothesis, Annals of Pure and Applied Logic, to appear.
[11]Moore, J. T.. Set mapping reflection, Journal of Mathematical Logic, vol. 5 (2005), no. 1. pp. 8797.
[12]Silver, J. H.. 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. 265268.
[13]Solovay, R. M., 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) (Henkin, al., editors), American Mathematical Society, Providence, R.I., 1974, pp. 365372.
[14]Veličković, B.. Forcing axioms and stationary sets, Advances in Mathematics, vol. 94 (1992). no. 2, pp. 256284.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed