Tools
Tools
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
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 |