scientific article; zbMATH DE number 1390282

MaRDI QIDQ4934569zbMATH OpenFDO

Authors Thomas Strahm

Publication date 5 June 2001

zbMATH Keywords

explicit mathematicsmetapredicativityproof-theoretic ordinalproof-theoretic strengthtransfinitely iterated fixed point theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics
• Metamathematics of first-order arithmetic
• scientific article; zbMATH DE number 227056
• Predicativity and constructive mathematics
• A metasemantic challenge for mathematical determinacy
• scientific article; zbMATH DE number 1820020
• `Metamathematics' in transition
• scientific article; zbMATH DE number 3171968
• scientific article; zbMATH DE number 2204757
• scientific article; zbMATH DE number 47249

Cited in

(11)

• The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
• Universes in metapredicative analysis
• Universes over Frege structures
• A metasemantic challenge for mathematical determinacy
• A flexible type system for the small Veblen ordinal
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• Reflections on reflections in explicit mathematics
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• On power set in explicit mathematics
• Universes in explicit mathematics
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934569)