What internal set theory knows about standard sets
Logic
2007-05-23 v1
Abstract
We characterize those standard models M of ZFC which are embeddable, as the class of all standard sets, in a model of internal set theory IST. The necessary and sufficient condition is that 1) there is a wellordering < of M which does not destroy the ZFC schemata, and 2) the truth relation for (M,<) does not destroy Separation. The result is interpreted as the answer for the question in the title.
Cite
@article{arxiv.math/9711205,
title = {What internal set theory knows about standard sets},
author = {Vladimir Kanovei and Michael Reeken},
journal= {arXiv preprint arXiv:math/9711205},
year = {2007}
}