Proof interpretations and majorizability

MaRDI QIDQ3079692zbMATH OpenFDO

Authors Fernando Ferreira

Publication date 2 March 2011

zbMATH Keywords

survey paperproof miningbounded functional interpretationapplied proof theoryextraction of bounds

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25) Functionals in proof theory (03F10)

Recommendations

• Bounded functional interpretation
• scientific article; zbMATH DE number 5150882
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• scientific article; zbMATH DE number 1222925
• A note on the monotone functional interpretation

Cited in

(7)

• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
• The bounded functional interpretation of bar induction
• A note on the monotone functional interpretation
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• Proof interpretations. Theoretical and practical aspects.
• scientific article; zbMATH DE number 5150882 (Why is no real title available?)

This page was built for publication: Proof interpretations and majorizability

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