BMM is stronger than BSPFA
Ralf Schindler
Abstract
It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by various people. It follows that BMM has a much larger consistency strength than BSPFA (= the Bounded Semi-proper Forcing Axiom).
Create a lesson
Related papers
The rank problem for metric spaces
Asger Tornquist
Differential equations as difference-differential equations
Wei Li, Thomas Scanlon
Classification of bipartite observables III: simplicity, mixtures and quantum error correction
Eduardo Dueñez, José Iovino
Indiscernible Extraction in Theories with Bounded k-splitting
Connor Watson
Discrete Temporal CSPs et al
Lukas Pieper
Local definable (p,q)-theorem and a refinement
Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo