The Proper Forcing Axiom and the Singular Cardinal Hypothesis
Matteo Viale
math.LOarXiv:math/0509633
Abstract
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.
Create a lesson
Related papers
Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
Zoltán Gábor Molnár, Csaba Tóth
Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller
A Countable Three-Generated Orthomodular Lattice with No σ-Complete Embedding
Joaquim Reizi Higuchi
Order-preserving maps of the Turing degrees: regularity and consistency strength
Liang Yu
A Nullstellensatz for the field of complex Laurent series
Pablo Cubides Kovacsics, Sebastián Uribe Rincón
Controlling The Skips of Arithmetic Sets
Taeyoung Em