scientific article; zbMATH DE number 1870425
From MaRDI portal
Publication:4793037
zbMath1015.03057MaRDI QIDQ4793037
Publication date: 18 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof-theoretic strengthexplicit mathematicsmonotone inductive definitionmonotone fixed point principle
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items
The Operational Perspective: Three Routes ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ Proof Theory of Constructive Systems: Inductive Types and Univalence ⋮ On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics ⋮ A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)