Realizing Mahlo set theory in type theory

DOI10.1007/s00153-002-0159-6zbMath1025.03061OpenAlexW2055120637WikidataQ126372037 ScholiaQ126372037MaRDI QIDQ1407579

Michael Rathjen

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-002-0159-6

zbMATH Keywords

Martin-Löf type theoryconstructive set theoryrealizability interpretationMahlo set

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe, The constructive Hilbert program and the limits of Martin-Löf type theory