The bounded functional interpretation of the double negation shift

DOI10.2178/JSL/1268917503MaRDI QIDQ3570171zbMATH OpenOpenAlexFDO

Authors Patrícia Engrácia, Fernando Ferreira

Publication date 24 June 2010

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1268917503

zbMATH Keywords

bar recursionfunctional interpretation

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Recommendations

• Bounded functional interpretation
• On bounded functional interpretations
• The bounded functional interpretation of bar induction
• Bounded functional interpretation and feasible analysis
• Nonstandardness and the bounded functional interpretation

Cites work

• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation
• Factorization of the Shoenfield-like bounded functional interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(11)

• Bounded Dialectica interpretation: categorically
• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
• The bounded functional interpretation of bar induction
• Delimited control operators prove double-negation shift
• Factorization of the Shoenfield-like bounded functional interpretation
• Diller-Nahm bar recursion
• Gödel functional interpretation and weak compactness
• Bounded functional interpretation
• The Herbrand functional interpretation of the double negation shift
• Interrelation between weak fragments of double negation shift and related principles
• A short note on Spector's proof of consistency of analysis

This page was built for publication: The bounded functional interpretation of the double negation shift

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