Baumgartner's conjecture and bounded forcing axioms

DOI10.1016/J.APAL.2013.06.006MaRDI QIDQ490654zbMATH OpenOpenAlexWikidataFDO

Authors David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok

Publication date 27 August 2015

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

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

zbMATH Keywords

proper forcingaxiom A forcingbounded forcing axioms

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Other set-theoretic hypotheses and axioms (03E65) Continuum hypothesis and Martin's axiom (03E50) Generic absoluteness and forcing axioms (03E57)

Abstract: We study the spectrum of forcing notions between the iterations of $sigma$-closed followed by ccc forcings and the proper forcings. This includes the hierarchy of $alpha$-proper forcings for indecomposable countable ordinals as well as the Axiom A forcings. We focus on the bounded forcing axioms for the hierarchy of $alpha$-proper forcings and connect them to a hierarchy of weak club guessing principles. We show that they are, in a sense, dual to each other. In particular, these weak club guessing principles separate the bounded forcing axioms for distinct countable indecomposable ordinals. In the study of forcings completely embeddable into an iteration of $sigma$-closed followed by ccc forcing, we present an equivalent characterization of this class in terms of Baumgartner's Axiom A. This resolves a well-known conjecture of Baumgartner from the 1980's.

Recommendations

• Bounded forcing axioms and the continuum
• The bounded proper forcing axiom
• scientific article; zbMATH DE number 2204754
• The bounded Axiom A forcing axiom
• A maximal bounded forcing axiom
• Forcing axioms and the Galvin number
• Forcing and the Halpern-Läuchli theorem
• Forcing axioms and the continuum hypothesis
• Forcing-theoretic aspects of Hindman's theorem
• FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS

Cited in

(9)

• In memoriam: James Earl Baumgartner (1943--2011)
• The bounded proper forcing axiom
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• A Note on Shoenfield's Unramified Forcing
• A Forcing Axiom Deciding the Generalized Souslin Hypothesis
• Iteration of Souslin forcing, projective measurability and the Borel conjecture
• scientific article; zbMATH DE number 4154903 (Why is no real title available?)
• Incompatible bounded category forcing axioms
• A club guessing toolbox. I

This page was built for publication: Baumgartner's conjecture and bounded forcing axioms

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