We prove that Standardization fails in every nontrivial universe
definable in the nonstandard set theory BST, and that a natural
characterization of the standard universe is both consistent with
and independent of BST. As a consequence we obtain a formulation of
nonstandard class theory in the ∈-language.
Publié le : 2004-03-14
Classification:
Nonstandard set theory,
standardization,
ultraproduct,
elementary embedding
@article{1080938835,
author = {Andreev, Petr and Hrbacek, Karel},
title = {Standard sets in nonstandard set theory},
journal = {J. Symbolic Logic},
volume = {69},
number = {1},
year = {2004},
pages = { 165-182},
language = {en},
url = {http://dml.mathdoc.fr/item/1080938835}
}
Andreev, Petr; Hrbacek, Karel. Standard sets in nonstandard set theory. J. Symbolic Logic, Tome 69 (2004) no. 1, pp. 165-182. http://gdmltest.u-ga.fr/item/1080938835/