TY  - RPRT
TI  - Dependent Choice, Properness, and Generic Absoluteness
AU  - David Asperó
AU  - Asaf Karagila
PY  - 2020
DO  - 10.1017/s1755020320000143
UR  - https://arxiv.org/abs/1806.04077
ID  - 1806.04077
ER  -