Baumgartner's conjecture and bounded forcing axioms

DOI10.1016/J.APAL.2013.06.006zbMATH Open1320.03079arXiv1102.2275OpenAlexW2019676869WikidataQ122873356 ScholiaQ122873356MaRDI QIDQ490654FDOQ490654

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)

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.

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

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

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)

Cited In (9)

• Incompatible bounded category forcing axioms
• A Forcing Axiom Deciding the Generalized Souslin Hypothesis
• Iteration of Souslin forcing, projective measurability and the Borel conjecture
• In memoriam: James Earl Baumgartner (1943--2011)
• A Note on Shoenfield's Unramified Forcing
• Title not available (Why is that?)
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• The bounded proper forcing axiom
• 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)