Nonstandardness and the bounded functional interpretation

&
Annals of Pure and Applied Logic 166 (6):701-712 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.02.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

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.
On bounded functional interpretations.Gilda Ferreira & Paulo Oliva - 2012 - Annals of Pure and Applied Logic 163 (8):1030-1049.
A parametrised functional interpretation of Heyting arithmetic.Bruno Dinis & Paulo Oliva - 2021 - Annals of Pure and Applied Logic 172 (4):102940.
Bounded functional interpretation and feasible analysis.Fernando Ferreira & Paulo Oliva - 2007 - Annals of Pure and Applied Logic 145 (2):115-129.
Factorization of the Shoenfield-like Bounded Functional Interpretation.Jaime Gaspar - 2009 - Notre Dame Journal of Formal Logic 50 (1):53-60.
Nondeterministic bounded query reducibilities.Richard Beigel, William Gasarch & Jim Owings - 1989 - Annals of Pure and Applied Logic 41 (2):107-118.
Bounded arithmetic and truth definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.
Bounded stationary reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.

Analytics

Added to PP
2015-08-28

Downloads
39 (#568,851)

6 months
7 (#671,981)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.
Reverse Mathematics and parameter-free Transfer.Benno van den Berg & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (3):273-296.

View all 7 citations / 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.
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.
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.

View all 9 references / Add more references