Journal of Symbolic Logic

Nonstandard Set Theory

Peter Fletcher

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

Abstract

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

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

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183743034

Mathematical Reviews number (MathSciNet)
MR1011186

Zentralblatt MATH identifier
0688.03044

JSTOR
links.jstor.org

Citation

Fletcher, Peter. Nonstandard Set Theory. J. Symbolic Logic 54 (1989), no. 3, 1000--1008. https://projecteuclid.org/euclid.jsl/1183743034


Export citation