Dependent Choice, Properness, and Generic Absoluteness

DOI10.1017/S1755020320000143arXiv1806.04077MaRDI QIDQ6302867

Publication date: 11 June 2018

Abstract: We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to DC-preserving symmetric submodels of forcing extensions. Hence, ZF+DC not only provides the right framework for developing classical analysis, but is also the right base theory over which to safeguard truth in analysis from the independence phenomenon in the presence of large cardinals. We also investigate some basic consequences of the Proper Forcing Axiom in ZF, and formulate a natural question about the generic absoluteness of the Proper Forcing Axiom in ZF+DC and ZFC. Our results confirm ZF+DC as a natural foundation for a significant portion of "classical mathematics" and provide support to the idea of this theory being also a natural foundation for a large part of set theory.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Axiom of choice and related propositions (03E25) Generic absoluteness and forcing axioms (03E57)

This page was built for publication: Dependent Choice, Properness, and Generic Absoluteness

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