A parametrised functional interpretation of Heyting arithmetic
From MaRDI portal
Publication:2659105
DOI10.1016/j.apal.2020.102940zbMath1506.03122arXiv2005.05794OpenAlexW3121061561MaRDI QIDQ2659105
Publication date: 25 March 2021
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.05794
First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Functionals in proof theory (03F10) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A functional interpretation for nonstandard arithmetic
- Unifying functional interpretations
- Functional interpretations of linear and intuitionistic logic
- Factorization of the Shoenfield-like bounded functional interpretation
- Intuitionistic nonstandard bounded modified realisability and functional interpretation
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
- Nonstandardness and the bounded functional interpretation
- A herbrandized functional interpretation of classical first-order logic
- Bounded functional interpretation
- Hybrid Functional Interpretations of Linear and Intuitionistic Logic
- Proof interpretations with truth
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Shoenfield is Gödel after Krivine
- Hybrid Functional Interpretations
- Computational Interpretations of Classical Linear Logic
- Interpretationen der Heyting-Arithmetik endlicher Typen
- Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Bounded modified realizability
- Functional Interpretations of Intuitionistic Linear Logic
This page was built for publication: A parametrised functional interpretation of Heyting arithmetic
