scientific article; zbMATH DE number 3831930

MaRDI QIDQ3039340zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1982

zbMATH Keywords

monotone inductive definitionsmonotonicitypositive inductive definitionspositivityproof theory

Mathematics Subject Classification ID

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

Cited in

(9)

• Monotone inductive definitions in a constructive theory of functions and classes
• On the proof-theoretic strength of monotone induction in explicit mathematics
• Understanding uniformity in Feferman's explicit mathematics
• Second order theories with ordinals and elementary comprehension
• The Operational Perspective: Three Routes
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
• The operational penumbra: some ontological aspects
• Proof theory of constructive systems: inductive types and univalence
• Fragments of arithmetic

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 Q3039340)