A note on the monotone functional interpretation

DOI10.1002/MALQ.201110023MaRDI QIDQ3107344zbMATH OpenOpenAlexFDO

Authors Ulrich Kohlenbach

Publication date 23 December 2011

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201110023

zbMATH Keywords

bounded functional interpretationmajorizabilitymonotone functional interpretationproof mining

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55)

Recommendations

• Bounded functional interpretation
• On bounded functional interpretations
• Bounded functional interpretation and feasible analysis
• Proof interpretations and majorizability
• scientific article; zbMATH DE number 7377974

Cites work

• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation
• General logical metatheorems for functional analysis
• scientific article; zbMATH DE number 51623 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• On the computational content of the Bolzano-Weierstraß Principle
• Ordinal analysis of simple cases of bar recursion
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

Cited in

(3)

• Monotone majorizable functionals
• Proof interpretations and majorizability
• Bounded Dialectica interpretation: categorically

This page was built for publication: A note on the monotone functional interpretation

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