The set theoretical foundations of nonstandard analysis

Journal of Symbolic Logic 38 (2):189-192 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272054

Other Versions

No versions found

Links

PhilArchive



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

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

Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.
A formalization of essenin-volpin's proof theoretical studies by means of nonstandard analysis.James R. Geiser - 1974 - Journal of Symbolic Logic 39 (1):81-87.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.
Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem.Masahiro Yasumoto - 1988 - Journal of Symbolic Logic 53 (2):470-480.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
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.
C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 179–229. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
On the strength of nonstandard analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.

Analytics

Added to PP
2009-01-28

Downloads
48 (#460,195)

6 months
16 (#190,991)

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

Nonstandard Analysis.James R. Geiser - 1970 - Mathematical Logic Quarterly 16 (6):297-318.

Add more references