A parametrised functional interpretation of Heyting arithmetic

&
Annals of Pure and Applied Logic 172 (4):102940 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102940

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quick cut-elimination for strictly positive cuts.Toshiyasu Arai - 2011 - Annals of Pure and Applied Logic 162 (10):807-815.
The FAN principle and weak König's lemma in herbrandized second-order arithmetic.Fernando Ferreira - 2020 - Annals of Pure and Applied Logic 171 (9):102843.
On the programs-as-formulas interpretation of parallel programs in peano arithmetic.E. J. Farkas & M. E. Szabo - 1988 - Annals of Pure and Applied Logic 37 (2):111-127.
Nonstandardness and the bounded functional interpretation.Fernando Ferreira & Jaime Gaspar - 2015 - Annals of Pure and Applied Logic 166 (6):701-712.
Injecting uniformities into Peano arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
The bounded functional interpretation of bar induction.Patrícia Engrácia - 2012 - Annals of Pure and Applied Logic 163 (9):1183-1195.
Intuitionistic nonstandard bounded modified realisability and functional interpretation.Bruno Dinis & Jaime Gaspar - 2018 - Annals of Pure and Applied Logic 169 (5):392-412.
Scattered toposes.Leo Esakia, Mamuka Jibladze & Dito Pataraia - 2000 - Annals of Pure and Applied Logic 103 (1-3):97-107.
Generalizing realizability and Heyting models for constructive set theory.Albert Ziegler - 2012 - Annals of Pure and Applied Logic 163 (2):175-184.
Transductions in arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.

Analytics

Added to PP
2021-01-09

Downloads
43 (#518,085)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
Shoenfield is Gödel after Krivine.Thomas Streicher & Ulrich Kohlenbach - 2007 - Mathematical Logic Quarterly 53 (2):176-179.

View all 15 references / Add more references