scientific article; zbMATH DE number 1390282

zbMath0961.03057MaRDI QIDQ4934569

Thomas Strahm

Publication date: 5 June 2001

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

zbMATH Keywords

proof-theoretic strengthexplicit mathematicsproof-theoretic ordinalmetapredicativitytransfinitely iterated fixed point theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items

The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice, Universes in explicit mathematics, A flexible type system for the small Veblen ordinal, Reflections on reflections in explicit mathematics, 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