TY  - RPRT
TI  - The proof-theoretic strength of Constructive Second-order set theories
AU  - Hanul Jeon
PY  - 2025
DO  - 10.1215/00294527-2025-0008
UR  - https://arxiv.org/abs/2312.12854
ID  - 2312.12854
ER  -