Content deleted Content added
→References: Adding/improving reference(s) |
→top: Expanding article |
||
Line 1:
In matheamtical set theory, a '''transitive model''' is a model of set theory that is 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==
| |||