A note on non-classical nonstandard arithmetic

Annals of Pure and Applied Logic 170 (4):427-445 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.11.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Nonstandard second-order arithmetic and Riemannʼs mapping theorem.Yoshihiro Horihata & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):520-551.
Relative arithmetic.Sam Sanders - 2010 - Mathematical Logic Quarterly 56 (6):564-572.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
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.
Nonstandard arithmetic and recursive comprehension.H. Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
Nonstandard arithmetic of Hilbert subsets.Masahiro Yasumoto - 1991 - Annals of Pure and Applied Logic 52 (1-2):195-202.
Tennenbaum's Theorem and Unary Functions.Sakae Yaegasi - 2008 - Notre Dame Journal of Formal Logic 49 (2):177-183.
Nonstandard arithmetic and recursive comprehension.H. Jerome Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.

Analytics

Added to PP
2018-11-09

Downloads
23 (#644,212)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sam Sanders
Ruhr-Universität Bochum

Citations of this work

No citations found.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
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.
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.

View all 10 references / Add more references