Publication:3035279
From MaRDI portal
zbMath0693.03039MaRDI QIDQ3035279
Publication date: 1988
03F35: Second- and higher-order arithmetic and fragments
Related Items
Universes in explicit mathematics, Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms, Explicit mathematics: power types and overloading, Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe, Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
Uses Software