The syntax of nonstandard analysis

Annals of Pure and Applied Logic 38 (2):123-134 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(88)90050-4

Other Versions

No versions found

Links

PhilArchive



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

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

Edward Nelson. The syntax of nonstandard analysis. Annals of pure and applied logic, vol. 38 , pp. 123–134.Nigel Cutland - 1991 - Journal of Symbolic Logic 56 (2):751-752.
The strength of compactness in Computability Theory and Nonstandard Analysis.Dag Normann & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (11):102710.
Combinatorial principles in nonstandard analysis.Mauro Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
The generic filter property in nonstandard analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
A note on non-classical nonstandard arithmetic.Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (4):427-445.
Intuitionistic nonstandard bounded modified realisability and functional interpretation.Bruno Dinis & Jaime Gaspar - 2018 - Annals of Pure and Applied Logic 169 (5):392-412.
Extended use of IST.I. P. Van den Berg - 1992 - Annals of Pure and Applied Logic 58 (1):73-92.
Nelson Edward. Internal set theory: a new approach to nonstandard analysis. Bulletin of the American Mathematical Society, vol. 83 , pp. 1165–1198. [REVIEW]Martin Davis - 1983 - Journal of Symbolic Logic 48 (4):1203-1204.

Analytics

Added to PP
2014-01-16

Downloads
39 (#574,493)

6 months
7 (#698,214)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
On the strength of nonstandard analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
Nonstandardness and the bounded functional interpretation.Fernando Ferreira & Jaime Gaspar - 2015 - Annals of Pure and Applied Logic 166 (6):701-712.
Edward Nelson.Mikhail G. Katz & Semen S. Kutateladze - 2015 - Review of Symbolic Logic 8 (3):607-610.

View all 15 citations / Add more citations

References found in this work

Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.
Metamathematical problems.Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (3):500-516.

Add more references