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)
“The Bostonians are really, as a race, far inferior in point of anything beyond mere intellect to any other set upon the continent of North America. They are decidedly the most servile imitators of the English it is possible to conceive.”
—Edgar Allan Poe (1809–1845)
“The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
—Giuseppe Mazzini (1805–1872)