Preserving Dependent Choice
Logic
2019-05-10 v3
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.
Cite
@article{arxiv.1810.11301,
title = {Preserving Dependent Choice},
author = {Asaf Karagila},
journal= {arXiv preprint arXiv:1810.11301},
year = {2019}
}
Comments
8 pages; updated and corrected bibliography references and additional typos