Bounded forcing axioms as principles of generic absoluteness

DOI10.1007/s001530050154zbMath0966.03047OpenAlexW2090425123WikidataQ56813225 ScholiaQ56813225MaRDI QIDQ1584010

Joan Bagaria

Publication date: 24 July 2001

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050154

zbMATH Keywords

generic absolutenessMartin's Axiombounded forcing axiom

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Related Items (39)

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ A maximal bounded forcing axiom ⋮ Generic Σ₃¹ absoluteness ⋮ On a class of maximality principles ⋮ Definable MAD families and forcing axioms ⋮ Guessing and non-guessing of canonical functions ⋮ Structural reflection, shrewd cardinals and the size of the continuum ⋮ A generalization of Martin's axiom ⋮ What makes the continuum ℵ₂ ⋮ How many real numbers are there? ⋮ Absoluteness via resurrection ⋮ Bounded Namba forcing axiom may fail ⋮ Subcomplete forcing principles and definable well‐orders ⋮ Non-absoluteness of Hjorth’s cardinal characterization ⋮ Forcing axioms via ground model interpretations ⋮ Resurrection axioms and uplifting cardinals ⋮ SET MAPPING REFLECTION ⋮ Parametrized Measuring and Club Guessing ⋮ HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES ⋮ HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS ⋮ Canonical fragments of the strong reflection principle ⋮ Generic absoluteness ⋮ Bounded forcing axioms and the continuum ⋮ Determinacy and weakly Ramsey sets in Banach spaces ⋮ The Tree Property at $\omega _2$ and Bounded Forcing Axioms ⋮ SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS ⋮ Martin's maximum revisited ⋮ Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders ⋮ Naturalness in Mathematics ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ Infinite forcing and the generic multiverse ⋮ On a convenient property about \([\gamma^{\aleph_0}\)] ⋮ BPFA and projective well-orderings of the reals ⋮ COMBINING RESURRECTION AND MAXIMALITY ⋮ ON RESURRECTION AXIOMS ⋮ Huge reflection ⋮ Lightface $\Sigma^1_2$-indescribable cardinals ⋮ Bounded Martin's Maximum, weak Erdӧs cardinals, and ψ_Ac

This page was built for publication: Bounded forcing axioms as principles of generic absoluteness