Journal of Symbolic Logic 71 (2):473 - 479 (2006)

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]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1146620153
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
Through your library

References found in this work BETA

Set Mapping Reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
Blowing Up Power of a Singular Cardinal—Wider Gaps.Moti Gitik - 2002 - Annals of Pure and Applied Logic 116 (1-3):1-38.
Fragments of Martin's Maximum in Generic Extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
Powers of Regular Cardinals.William B. Easton - 1970 - Annals of Mathematical Logic 1 (2):139.

Add more references

Citations of this work BETA

Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
Aronszajn Trees and Failure of the Singular Cardinal Hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
Aronszajn Trees, Square Principles, and Stationary Reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Squares and Covering Matrices.Chris Lambie-Hanson - 2014 - Annals of Pure and Applied Logic 165 (2):673-694.

View all 8 citations / Add more citations

Similar books and articles

The Bounded Proper Forcing Axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Small Forcing Makes Any Cardinal Superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
The Independence of Δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
Forcing Isomorphism II.M. C. Laskowski & S. Shelah - 1996 - Journal of Symbolic Logic 61 (4):1305-1320.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.

Analytics

Added to PP index
2010-08-24

Total views
15 ( #700,870 of 2,519,513 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,513 )

How can I increase my downloads?

Downloads

My notes