Mathematics – Logic
Scientific paper
1997-11-26
Mathematics
Logic
Scientific paper
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.
Kanovei Vladimir
Reeken Michael
No associations
LandOfFree
What internal set theory knows about standard sets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with What internal set theory knows about standard sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and What internal set theory knows about standard sets will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-504221