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 (5)

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

This page was built for publication: