Journal of Symbolic Logic

Nonstandard Set Theory

Peter Fletcher

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


Nonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbacek, Kawai) are unsatisfactory in that the unlimited idealisation principle conflicts with the wish to have a full theory of external sets. I re-analyse the underlying requirements of nonstandard set theory and give a new formal system, stratified nonstandard set theory, which seems to meet them better than the other versions.

Article information

J. Symbolic Logic, Volume 54, Issue 3 (1989), 1000-1008.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Fletcher, Peter. Nonstandard Set Theory. J. Symbolic Logic 54 (1989), no. 3, 1000--1008.

Export citation