scientific article

zbMath0525.03037MaRDI QIDQ3039340

Solomon Feferman

Publication date: 1982

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

zbMATH Keywords

monotonicitypositivityproof theorymonotone inductive definitionspositive inductive definitions

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Inductive definability (03D70) Proof theory and constructive mathematics (03F99)

Related Items

Understanding uniformity in Feferman's explicit mathematics, On the proof-theoretic strength of monotone induction in explicit mathematics, Second order theories with ordinals and elementary comprehension, Monotone inductive definitions in a constructive theory of functions and classes, The Operational Perspective: Three Routes, The Operational Penumbra: Some Ontological Aspects, Proof Theory of Constructive Systems: Inductive Types and Univalence, Fragments of arithmetic, On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics