Transitive Models of Set Theory
Transitive classes are often used for construction of interpretations of set theory in itself, usually called inner models. The reason is that properties defined by bounded formulas are absolute for transitive classes.
A transitive set (or class) that is a model of a formal system of set theory is called a transitive model of the system. Transitivity is an important factor in determining the absoluteness of formulas.
In the superstructure approach to non-standard analysis, the non-standard universes satisfy strong transitivity, see (Goldblatt, 1998, p.161).
Read more about this topic: Transitive Set
Famous quotes containing the words models, set and/or theory:
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)
“The ladies understood each other, in the careful way that ladies do once they understand each other. They were rather a pair than a couple, supporting each other from day to day, rather a set of utile, if ill-matched, bookends between which stood the opinion and idea in the metaphorical volumes that both connected them and kept them apart.”
—Alexander Theroux (b. 1940)
“Osteopath—One who argues that all human ills are caused by the pressure of hard bone upon soft tissue. The proof of his theory is to be found in the heads of those who believe it.”
—H.L. (Henry Lewis)