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		Revision as of 17:10, 23 March 2021 edit undo Beland (talk \| contribs) Autopatrolled, Administrators 259,169 edits m convert special characters (via WP:JWB) Next edit →
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==

Transitive model: Difference between revisions