@misc{indiciaeb7397afca17c,
  title = {The proof-theoretic strength of Constructive Second-order set theories},
  author = {Hanul Jeon},
  year = {2025},
  doi = {10.1215/00294527-2025-0008},
  url = {https://arxiv.org/abs/2312.12854},
  note = {Source identifier: 2312.12854}
}