Preserving Dependent Choice

Asaf Karagila
2019 Bulletin of the Polish Academy of Sciences Mathematics  
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.
doi:10.4064/ba8169-12-2018 fatcat:qwfi367jezgnlmlzdqhm4vz35m