Transitive model: Difference between revisions

Content deleted Content added

Revision as of 13:57, 9 February 2018 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits ++Properties ← Previous edit		Latest revision as of 21:30, 19 January 2022 edit undo Felix QW (talk \| contribs) Extended confirmed users 8,596 edits removed Category:Model theory using HotCat Definitely set theory rather than model theory
(One intermediate revision by one other user not shown)
Line 7: ==Properties== If ''M'' is a transitive model, then ~~ω~~ω<sup>''M''</sup> is the standard ~~ω~~ω. This implies that the natural numbers, integers, and rational numbers of the model are also the same as their standard counterparts. Each real number in a transitive model is a standard real number, although not all standard reals need be included in a particular transitive model. ==References== Line 13: [[Category:Set theory]] ~~[[Category:Model theory]]~~