DOI10.1017/bsl.2014.21zbMath1345.03112MaRDI QIDQ2795201
Gerhard Jäger, Rico Zumbrunnen
Publication date: 18 March 2016 Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1017/bsl.2014.21
zbMATH Keywords
explicit mathematics; operational set theory
Mathematics Subject Classification ID
03E70: Nonclassical and second-order set theories
03F50: Metamathematics of constructive systems