What internal set theory knows about standard sets
From MaRDI portal
Publication:6500761
arXivmath/9711205MaRDI QIDQ6500761FDOQ6500761
Authors: Vladimir Kanovei, M. Reeken 
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.
This page was built for publication: What internal set theory knows about standard sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6500761)
