Modern Logic

  • Mod. Log.
  • Volume 4, Number 3 (1994), 237-255.

A survey of nonstandard set theory

D. Singh and S. K. Singh

Full-text: Open access


This survey paper presents an up-to-date account of Nonstandard Set Theory (NST). The introduction presents a brief historical perspective on motivation and the techniques exploited for the realisation of alternative models for the system, first systematically advanced in Robinson's work. It also elaborates on the need for an axiomatic foundation for nonstandard analysis as against an ultrapower enlargement of typestructure or cumulative structure over the systen of real numbers or the system of natural numbers, in particular. In section 1, a systematization of the axiomatic foundation for nonstandard analysis is presented. The axioms of Extension, Transfer, Saturation and the principle of Internality together with their consequences are discussed. Section 2 presents a systematization of NST as a conservative or nonconservative extension of the Zermelo-Fraenkel set theory with the axiom of choice. It elaborates on Nelson's internal set theory in Section 2.1, on Hrbácek's axiomatics in Section 2.2, on Kawai's system, along with Kinoshita's refinements, in section 2.3, and on Fletcher's stratified nonstandard set theory in section 2.4. Finally, the paper indicates the possibility of relating NST to Alternative Set Theory (AST) in so far as the latter is concerned with constructing ultrafilters using various types of automosphisms and endomorphisms. It also notes that introducing some restricted form of infinitesimal analysis not dependent on the explicit use of the transfer principle, as opposed to pursuing approaches heavily depending on set-theoretic sophistication, might yield good results.

Article information

Mod. Log., Volume 4, Number 3 (1994), 237-255.

First available in Project Euclid: 6 March 2008

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03H05: Nonstandard models in mathematics [See also 26E35, 28E05, 30G06, 46S20, 47S20, 54J05]
Secondary: 03E70: Nonclassical and second-order set theories


Singh, D.; Singh, S. K. A survey of nonstandard set theory. Mod. Log. 4 (1994), no. 3, 237--255.

Export citation

See also