Forcing axioms via ground model interpretations

DOI10.1016/j.apal.2023.103260OpenAlexW3211326867MaRDI QIDQ2700805

Christopher Henney-Turner, Philipp Schlicht

Publication date: 27 April 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2110.11781

zbMATH Keywords

forcing axiomsgeneric absoluteness

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65) Generic absoluteness and forcing axioms (03E57)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Forcing axioms and stationary sets
• The proper forcing axiom and stationary set reflection
• Bounded forcing axioms as principles of generic absoluteness
• KWithout the Measurable
• Nontame mouse from the failure of square at a singular strong limit cardinal
• Stationary reflection principles and two cardinal tree properties
• Jensen's diamond principle and its relatives
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• SUBCOMPLETE FORCING AND ℒ-FORCING
• Forcing closed unbounded sets
• A characterization of Martin's axiom in terms of absoluteness
• Singularizing successor cardinals by forcing
• SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• Sufficient conditions for the forcing theorem, and turning proper classes into sets

This page was built for publication: Forcing axioms via ground model interpretations