The proof-theoretic strength of Constructive Second-order set theories
From MaRDI portal
Publication:6464374
arXiv2312.12854MaRDI QIDQ6464374FDOQ6464374
Authors: Hanul Jeon 
Publication date: 20 December 2023
Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65) Relative consistency and interpretations (03F25)
This page was built for publication: The proof-theoretic strength of Constructive Second-order set theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6464374)
