Incompatible bounded category forcing axioms

DOI10.1142/S0219061322500064MaRDI QIDQ5094531zbMATH OpenOpenAlexWikidataFDO

Authors David Asperó, Matteo Viale

Publication date 3 August 2022

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

bounded category forcing axiomscategory forcingforcing axiomslarge cardinalsprojective resurrection

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other notions of set-theoretic definability (03E47) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Recommendations

• A maximal bounded forcing axiom
• Bounded forcing axioms as principles of generic absoluteness
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• The bounded Axiom A forcing axiom
• On a class of maximality principles

Cites work

• Absoluteness via resurrection
• Baumgartner's conjecture and bounded forcing axioms
• Bounded Martin's Maximum, weak Erdӧs cardinals, and ψ_Ac
• Canonical functions, non-regular ultrafilters and Ulam's problem on ω₁
• Class forcing in class theory
• Forcing axioms and stationary sets
• scientific article; zbMATH DE number 3933984 (Why is no real title available?)
• scientific article; zbMATH DE number 1741371 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• Martin's maximum revisited
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• On iterating semiproper preorders
• Proper forcing and \(L(\mathbb{R})\)
• Resurrection axioms and uplifting cardinals
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• SET MAPPING REFLECTION
• Set Theory
• Set theory. An introduction to independence proofs
• The bounded proper forcing axiom and well orderings of the reals
• Transfinite open-point games

Cited in

(1)

• Universality properties of forcing

This page was built for publication: Incompatible bounded category forcing axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094531)