TY  - RPRT
TI  - Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
AU  - Joel David Hamkins
AU  - Bokai Yao
PY  - 2022
DO  - 10.1017/jsl.2022.87
UR  - https://arxiv.org/abs/2204.09766
ID  - 2204.09766
ER  -