scientific article; zbMATH DE number 1302486

MaRDI QIDQ4247802zbMATH OpenFDO

Authors Joan Bagaria

Publication date 11 October 1999

zbMATH Keywords

\(\Sigma^1_n\)-absolutenessforcing axiomsforcing extensionsMartin's axiomSuslin ccc posetstransitive model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55)

Review text

This is a survey of results about absoluteness under forcing extensions and its relationship with forcing axioms. A transitive model \(M\) of a fragment of ZFC is \(\Sigma^1_n\)-absolute for a poset \(\mathbf P\in M\) if for every \(\Sigma^1_n\)-formula \(\varphi(y_1,\dots,y_m)\) and every \(a_1,\dots,a_m\in\mathcal P(\omega)\) in \(M\), \(M\vDash\varphi(a_1,\dots,a_m)\) if and only if \(\varphi(a_1,\dots,a_m)\) holds in every \(\mathbf P\)-generic extension of \(M\). The author reviews some characterizations of \(\Sigma^1_3\)-absoluteness for natural ccc posets (Cohen, random, amoeba, and in general for Suslin ccc posets). He tries to generalize these results by considering formulas of higher complexity or by considering classes of posets wider than the class of ccc posets and presents some characterizations of forcing axioms (related to Martin's axiom) in terms of forcing absoluteness. For the entire collection see [Zbl 0905.00049].

Recommendations

• A characterization of Martin's axiom in terms of absoluteness
• Generic absoluteness under projective forcing
• Bounded forcing axioms as principles of generic absoluteness
• Generic Σ₃¹ absoluteness

Cited in

(10)

• Bounded forcing axioms as principles of generic absoluteness
• Generic absoluteness and Boolean names for elements of a Polish space
• Generic absoluteness under projective forcing
• A characterization of Martin's axiom in terms of absoluteness
• Coding into inner models at the level of strong cardinals
• Generic Σ₃¹ absoluteness
• scientific article; zbMATH DE number 5064944 (Why is no real title available?)
• The extender algebra and vagaries of ^2_1 absoluteness
• Forcing absoluteness and regularity properties
• Forcing axioms and the definability of the nonstationary ideal on the first uncountable

This page was built for publication:

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