A maximal bounded forcing axiom

Journal of Symbolic Logic 67 (1):130-142 (2002)

Abstract

After presenting a general setting in which to look at forcing axioms, we give a hierarchy of generalized bounded forcing axioms that correspond level by level, in consistency strength, with the members of a natural hierarchy of large cardinals below a Mahlo. We give a general construction of models of generalized bounded forcing axioms. Then we consider the bounded forcing axiom for a class of partially ordered sets Γ 1 such that, letting Γ 0 be the class of all stationary-set-preserving partially ordered sets, one can prove the following: (a) $\Gamma_0 \subseteq \Gamma_1$ , (b) Γ 0 = Γ 1 if and only if NS ω 1 is ℵ 1 -dense. (c) If P $\notin \Gamma_1$ , then BFA({P}) fails. We call the bounded forcing axiom for Γ 1 Maximal Bounded Forcing Axiom (MBFA). Finally we prove MBFA consistent relative to the consistency of an inaccessible Σ 2 -correct cardinal which is a limit of strongly compact cardinals

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,722

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
28 (#413,193)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Aspero
University of East Anglia

References found in this work

Bounded Forcing Axioms as Principles of Generic Absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.

Add more references

Citations of this work

The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.

Add more citations

Similar books and articles

The Independence of Δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
The Bounded Proper Forcing Axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.