Preserving dependent choice

DOI10.4064/BA8169-12-2018MaRDI QIDQ5382834zbMATH OpenOpenAlexWikidataFDO

Authors Asaf Karagila

Publication date 18 June 2019

Published in Bulletin Polish Acad. Sci. Math. (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.11301

zbMATH Keywords

dependent choicesymmetric extensionsthe axiom of choice

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35)

Abstract: We prove some general theorems for preserving Dependent Choice when taking symmetric extensions, some of which are unwritten folklore results. We apply these to various constructions to obtain various simple consistency proofs.

Recommendations

• The Morris model
• Iterating symmetric extensions
• The axiom of determinacy implies dependent choices in L(R)
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• The axiom of determinacy implies dependent choice in mice

Cites work

• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Embedding orders into the cardinals with \(\mathsf {DC}_{\kappa} \)
• Hamel bases and well–ordering the continuum
• Injectivity, Projectivity, and the Axiom of Choice
• Iterating symmetric extensions
• On some questions concerning strong compactness
• On the Effectivity of Some Field Constructions
• Sacks forcing and the total failure of Martin's axiom
• Six impossible rings
• Spectra of uniformity.
• The axiom of choice
• The Bristol model: an abyss called a Cohen real

Cited in

(14)

• Choiceless chain conditions
• Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
• Iterating symmetric extensions
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• TAKING REINHARDT’S POWER AWAY
• The Morris model
• REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
• Embedding orders into the cardinals with \(\mathsf {DC}_{\kappa} \)
• Sequential and distributive forcings without choice
• Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse
• Geometric condition for dependent choice
• Forcing more \(\mathsf{DC}\) over the Chang model using the thorn sequence
• Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?
• Maximal sets without choice

This page was built for publication: Preserving dependent choice

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