Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST (Q1972520): Difference between revisions

The authors characterize the standard models of \textbf{ZFC} set theory that can be embedded as a class of standard sets in models of internal set theory, \textbf{IST}. The basic problem is to describe the transitive \(\in\)-models of \textbf{ZFC} that can be extended to a model of \textbf{IST}. The authors derive sufficient conditions for the existence of such an extension, which are necessary for the \textbf{IST}\(^+\) theory that is obtained by adding a certain natural form of the axiom of choice to \textbf{IST}.