Internal set theory: A new approach to nonstandard analysis

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 (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. In writing formulas we use A for and, V for or, ~ for not, =* for implies, and for is equivalent to. We call a formula of 1ST internal in case it does not involve the new predicate (that is, in case it is a formula of ZFC); otherwise we call it external. Thus standard is the simplest example of an external formula. To assert that x is a set has no meaning within conventional mathematics-it is a new undefined notion. The fact that we have adjoined as an undefined predicate (rather than defining it in terms of E as is the case with all of the predicates of conventional mathematics) requires a readjustment of an engrained habit. We are used to defining subsets by means of predicates. In fact, it follows from the axioms of ZFC that if A(z) is an internal formula then for all sets x there is a set y = {z E x: A(z)} such that for all sets z we have z&y n E N A n standard. We may not use external predicates to define subsets. We call the violation of this rule illegal set formation. We adopt the following abbreviations: