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:
“Grandparents can be role models about areas that may not be significant to young children directly but that can teach them about patience and courage when we are ill, or handicapped by problems of aging. Our attitudes toward retirement, marriage, recreation, even our feelings about death and dying may make much more of an impression than we realize.”
—Eda Le Shan (20th century)
“Speak of me as I am. Nothing extenuate,
Nor set down aught in malice.”
—William Shakespeare (1564–1616)
“Don’t confuse hypothesis and theory. The former is a possible explanation; the latter, the correct one. The establishment of theory is the very purpose of science.”
—Martin H. Fischer (1879–1962)