The Proper Forcing Axiom and the Singular Cardinal Hypothesis

摘要

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