Preserving Dependent Choice
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 67 (2019) no. 1, pp. 19-29
Voir la notice de l'article provenant de 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},
publisher = {mathdoc},
volume = {67},
number = {1},
year = {2019},
doi = {10.4064/ba8169-12-2018},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/ba8169-12-2018/}
}
TY - JOUR AU - Asaf Karagila TI - Preserving Dependent Choice JO - Bulletin of the Polish Academy of Sciences. Mathematics PY - 2019 SP - 19 EP - 29 VL - 67 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/ba8169-12-2018/ DO - 10.4064/ba8169-12-2018 LA - en ID - 10_4064_ba8169_12_2018 ER -
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 :