A characterization of internal sets (Q1262312): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:44, 5 March 2024
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