Nonstandard models for arithmetic and analysis

Studia Logica 33 (1):11 - 22 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02120863

Links

PhilArchive



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

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

Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
Nonstandard second-order arithmetic and Riemannʼs mapping theorem.Yoshihiro Horihata & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):520-551.
Nonstandard models for arithmetic and analysis.Aleksander Abian - 1974 - Studia Logica 33:11.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Constant Regions in Models of Arithmetic.Tin Lok Wong - 2015 - Notre Dame Journal of Formal Logic 56 (4):603-624.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - 2014 - Bulletin of Symbolic Logic 20 (2):170-200.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeremy Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.
Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Nonstandard Models and Kripke's Proof of the Gödel Theorem.Hilary Putnam - 2000 - Notre Dame Journal of Formal Logic 41 (1):53-58.
Nonstandard characterizations of recursive saturation and resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.

Analytics

Added to PP
2009-01-28

Downloads
50 (#303,392)

6 months
6 (#417,196)

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

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.

Add more references