Proof interpretations and majorizability

MaRDI QIDQ3079692zbMATH OpenFDO

Authors Fernando Ferreira

Publication date 2 March 2011

zbMATH Keywords

applied proof theorybounded functional interpretationextraction of boundsproof miningsurvey paper

Mathematics Subject Classification ID

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

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)

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

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)