TY  - RPRT
TI  - Combinatorial Properties and Dependent choice in symmetric extensions based on Lévy Collapse
AU  - Amitayu Banerjee
PY  - 2022
DO  - 10.1007/s00153-022-00845-3
UR  - https://arxiv.org/abs/1903.05945
ID  - 1903.05945
ER  -