Transitive model: Difference between revisions

Revision as of 16:12, 30 August 2014

Revision as of 02:46, 1 September 2014

Line 1:

In matheamticalmathematical [[set theory]], a '''transitive model''' is a [[Model theory|model]] of set theory that is [[Inner model|standard and transitive]]. Standard means that the membership relation is the usual one, and transitive means that the model is a [[transitive set]] or class.

==Examples==

*An [[inner model]] is a transitive model containing all ordinals.

*A countable transitive model (CTM) is, as the name suggests, a transitive model with a countable number of elements.

==References==

* {{cite book | last1=Jech | first1=Thomas | author1-link=Thomas Jech | title=Set Theory | edition=Third Millennium | publisher=[[Springer-Verlag]] | ___location=Berlin, New York | series=Springer Monographs in Mathematics | isbn=978-3-540-44085-7 | year=2003 | zbl=1007.03002 }}