Preserving Dependent Choice

Karagila, Asaf ORCID: https://orcid.org/0000-0003-1289-0904 (2019) Preserving Dependent Choice. Bulletin of the Polish Academy of Sciences Mathematics, 67. ISSN 1732-8985

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

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.

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
URI: https://ueaeprints.uea.ac.uk/id/eprint/69607
DOI: 10.4064/ba8169-12-2018

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item