Proof interpretations. Theoretical and practical aspects.

MaRDI QIDQ3118894zbMATH OpenFDO

Authors Jaime Gaspar

Publication date 5 March 2012

zbMATH Keywords

classical arithmeticfunctional interpretationintuitionistic arithmeticproof interpretationproof miningrealizability

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) 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

• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Proof interpretations with truth
• A complexity analysis of functional interpretations
• Proof interpretations and majorizability
• scientific article; zbMATH DE number 5150882

Cited in

(8)

• Rates of metastability for iterations on the unit interval
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Mathematical logic: proof theory, type theory and constructive mathematics
• Exploring the computational content of the infinite pigeonhole principle
• scientific article; zbMATH DE number 5150882 (Why is no real title available?)
• scientific article; zbMATH DE number 4099293 (Why is no real title available?)
• scientific article; zbMATH DE number 47249 (Why is no real title available?)
• Remarks on Barr's theorem: proofs in geometric theories

This page was built for publication: Proof interpretations. Theoretical and practical aspects.

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