Generic Σ31 absoluteness

DOI10.2178/jsl/1080938826zbMath1081.03051OpenAlexW1513191254MaRDI QIDQ5313382

Sy-David Friedman

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1080938826

zbMATH Keywords

generic extensionsbounded forcing axiomsgeneric absoluteness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

Lightface $\Sigma^1_2$-indescribable cardinals

Cites Work

• Some exact equiconsistency results in set theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Fine structure and class forcing
• Bounded forcing axioms as principles of generic absoluteness
• A characterization of Martin's axiom in terms of absoluteness
• Generic absoluteness

This page was built for publication: Generic Σ₃¹ absoluteness