A characterization of internal sets (Q1262312)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of internal sets |
scientific article |
Statements
A characterization of internal sets (English)
0 references
1989
0 references
The paper deals with a universe of sets satisfying the usual axioms of Zermelo-Fraenkel set theory with atoms (urelements). It is assumed that \({\mathbb{R}}\), the set of real numbers, is represented by a set of atoms. If in this universe of sets, A is the superstructure based on \({\mathbb{R}}\), then the theory \({\mathcal A}:=(A;\in | A^ 2;id| A^ 2)\) is called ``standard analysis''. The author considers nonstandard models of the theory of \({\mathcal A}\) that are proper extensions of \({\mathcal A}\). The main result of the paper is a characterization of the class of internal sets as the unique subclass of the model that contains the standard sets, is transitive and membership well-founded.
0 references
Zermelo-Fraenkel set theory
0 references
urelements
0 references
nonstandard models
0 references
internal sets
0 references