Preserving Dependent Choice

Karagila, Asaf ORCID: (2019) Preserving Dependent Choice. Bulletin of the Polish Academy of Sciences Mathematics, 67. ISSN 1732-8985

[thumbnail of Accepted_Manuscript]
PDF (Accepted_Manuscript) - Accepted Version
Download (183kB) | Preview


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.

Item Type: Article
Uncontrolled Keywords: symmetric extensions,dependent choice,the axiom of choice
Faculty \ School: Faculty of Science > School of Mathematics
UEA Research Groups: Faculty of Science > Research Groups > Logic
Related URLs:
Depositing User: LivePure Connector
Date Deposited: 18 Jan 2019 09:30
Last Modified: 24 May 2023 03:36
DOI: 10.4064/ba8169-12-2018


Downloads per month over past year

Actions (login required)

View Item View Item