scientific article; zbMATH DE number 1420853
From MaRDI portal
Publication:4944921
zbMath0944.03057MaRDI QIDQ4944921
Publication date: 20 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive type theoryintuitionistic set theoryuniverse operatorsclassical set theorylarge set axiomsrecursively Mahlo universe of setsuniverses of types
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms, On the mathematical and foundational significance of the uncountable, 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