Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 54, Issue 3 (1989), 1000-1008.
Nonstandard Set Theory
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.
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. https://projecteuclid.org/euclid.jsl/1183743034