Abstract

1. Internal set theory. We present here a new approach to Abraham Robinson's nonstandard analysis [10] with the aim of making these powerful methods readily available to the working mathematician. This approach to nonstandard analysis is based on a theory which we call internal set theory (1ST). We start with axiomatic set theory, say ZFC (Zermelo-Fraenkel set theory with the axiom of choice [1]). In addition to the usual undefined binary predicate E of set theory we adjoin a new undefined unary predicate standard. The axioms of 1ST are the usual axioms of ZFC plus three others, which we will state below. All theorems of conventional mathematics remain valid. No change in terminology is required. What is new in internal set theory is only an addition, not a change. We choose to call certain sets standard (and we recall that in ZFC every mathematical object-a real number, a function, etc.-is a set), but the theorems of conventional mathematics apply to all sets, nonstandard as well as standard.

Citations

258	Introduction to Mathematical Logic - Mendelson - 1971
82	Set Theory and the Continuum Hypothesis - Cohen - 1966
12	Some remarks on set theory - Erdős - 1950
9	Axiom schemata of strong infinity in axiomatic set theory - Lévy - 1960
5	A general theory of monads, Applications of Model Theory to Algebra, Analysis and Probability (Proc.Intern. Symp - Luxemburg - 1967
4	Perturbations of the Schrödinger equation by potentials with small support - Friedman - 1972
4	Strong derivatives and inverse mappings - Nijenhuis - 1974
3	Non-Standard Analysis, 2 nd ed - Robinson - 1974
1	of the Schrödinger equation by potentials with small support - Perturbations - 1972