Bounded forcing axioms as principles of generic absoluteness
type: Item
instance of: scholarly article
title: Bounded forcing axioms as principles of generic absoluteness
zbMATH Open document ID: 0966.03047
author: Joan Bagaria
published in: Archive for Mathematical Logic
publication date: 2001-07-24T00:00:00Z
review text: The abstract of the paper is quite descriptive: ``We show that the Bounded Forcing Axioms (for instance Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a \(\Sigma_1\) sentence of the language of set theory with parameters in a small transitive size is forceable, then it is true. We also show that the Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a \(\Sigma_3^1\) sentence with parameters is forceable, then it is true. Further, if for every real \(x\), \(x^\sharp\) exists, and the second uniform indiscernible is less than \(\omega_2\), then the same holds for \(\Sigma_4^1\) sentences.'' A forcing axiom for a poset \(\mathbb P\), \(\mathbf{FA}_\kappa(\mathbb P)\), asserts that for any family of at most \(\kappa\) maximal antichains of \(\mathbb P\), there is a filter which meets each of the antichains. Of course, the familiar Martin's Axiom is the assertion that \(\mathbf{FA}_\kappa(\mathbb P)\) holds for each ccc poset \(\mathbb P\) and each \(\kappa<\mathfrak c\). To introduce the notion of a \textbf{bounded} forcing axiom the reader must recall that each poset has a (unique) completion, let us denote the completion of \(\mathbb P\) as \(\overline{\mathbb P}\). The poset \(\mathbb P\) is a dense subset of \(\overline{ \mathbb P}\) and every subset of \(\mathbb P\) has a least upper bound in \(\overline{\mathbb P}\). Then a bounded forcing axiom for \(\mathbb P\), \(\mathbf{BFA}_\kappa(\mathbb P)\), asserts the same as \(\mathbf{FA}_\kappa(\mathbb P)\) except that the maximal antichains are \(\leq \kappa\) sized maximal antichains of \(\overline{\mathbb P}\). The notion of \(\Sigma_1(A)\)-absoluteness for a poset \(\mathbb P\) is defined as follows: if \(\varphi(x_1,\ldots, x_n)\) is a \(\Sigma_1\)-formula (only one quantifier, an existential, which does not bound its argument as in \(\exists x\…
Mathematics Subject Classification ID: 03E40
zbMATH DE Number: 1523600
zbMATH Keywords: bounded forcing axiom
zbMATH Keywords: Martin's Axiom
zbMATH Keywords: generic absoluteness
reviewed by: Alan Dow
MaRDI profile type: Publication
full work available at URL: s001530050154
OpenAlex ID: W2090425123
Wikidata QID: Q56813225
DOI: 10.1007/S001530050154
description: scientific article; zbMATH DE number 1523600