TY  - RPRT
TI  - Exact completion and constructive theories of sets
AU  - Jacopo Emmenegger
AU  - Erik Palmgren
PY  - 2021
DO  - 10.1017/jsl.2020.2
UR  - https://arxiv.org/abs/1710.10685
ID  - 1710.10685
ER  -