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:
“Today it is not the classroom nor the classics which are the repositories of models of eloquence, but the ad agencies.”
—Marshall McLuhan (1911–1980)
“What is love itself,
Even though it be the lightest of light love,
But dreams that hurry from beyond the world
To make low laughter more than meat and drink,
Though it but set us sighing?”
—William Butler Yeats (1865–1939)
“Every theory is a self-fulfilling prophecy that orders experience into the framework it provides.”
—Ruth Hubbard (b. 1924)