The Proper Forcing Axiom and the Singular Cardinal Hypothesis
  We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle. 
Matteo Viale