Proof interpretations and majorizability

zbMATH Open1231.03051MaRDI QIDQ3079692FDOQ3079692

Authors: Fernando Ferreira 

Publication date: 2 March 2011

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

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)

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.
• Title not available (Why is that?)

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)