What internal set theory knows about standard sets

Vladimir Kanovei, Michael Reeken

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 conditio…