Preserving Dependent Choice
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 67 (2019) no. 1, pp. 19-29
Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences
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.
Keywords:
prove general theorems preserving dependent choice taking symmetric extensions which unwritten folklore results apply these various constructions obtain various simple consistency proofs
Affiliations des auteurs :
Asaf Karagila  1
@article{10_4064_ba8169_12_2018,
author = {Asaf Karagila},
title = {Preserving {Dependent} {Choice}},
journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
pages = {19--29},
year = {2019},
volume = {67},
number = {1},
doi = {10.4064/ba8169-12-2018},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/ba8169-12-2018/}
}
Asaf Karagila. Preserving Dependent Choice. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 67 (2019) no. 1, pp. 19-29. doi: 10.4064/ba8169-12-2018
Cité par Sources :