Towards Martin's Minimum
classification
🧮 math.LO
keywords
forcingnormsnotionsaxiomclassconsistentcreaturesfails
read the original abstract
We show that it is consistent with MA + the negation of CH, that the Forcing Axiom fails for all forcing notions in the class of omega^omega-bounding forcing notions with norms of "Norms on possibilities I: forcing with trees and creatures"(by Roslanowski and Shelah - math.LO/9807172).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.