scientific article; zbMATH DE number 515742

zbMath0794.03083MaRDI QIDQ4283245

Markus Marzetta

Publication date: 11 September 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

universesexplicit mathematicspredicativitytheories of types and names

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

Levels of truth, Universes in explicit mathematics, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\), Universes over Frege structures