In Set Theory
In New Foundations (NF) and related set theories, a formula in the language of first-order logic with equality and membership is said to be stratified if and only if there is a function which sends each variable appearing in (considered as an item of syntax) to a natural number (this works equally well if all integers are used) in such a way that any atomic formula appearing in satisfies and any atomic formula appearing in satisfies .
It turns out that it is sufficient to require that these conditions be satisfied only when both variables in an atomic formula are bound in the set abstract under consideration. A set abstract satisfying this weaker condition is said to be weakly stratified.
The stratification of New Foundations generalizes readily to languages with more predicates and with term constructions. Each primitive predicate needs to have specified required displacements between values of at its (bound) arguments in a (weakly) stratified formula. In a language with term constructions, terms themselves need to be assigned values under, with fixed displacements from the values of each of their (bound) arguments in a (weakly) stratified formula. Defined term constructions are neatly handled by (possibly merely implicitly) using the theory of descriptions: a term (the x such that ) must be assigned the same value under as the variable x.
A formula is stratified if and only if it is possible to assign types to all variables appearing in the formula in such a way that it will make sense in a version TST of the theory of types described in the New Foundations article, and this is probably the best way to understand the stratification of New Foundations in practice.
The notion of stratification can be extended to the lambda calculus; this is found in papers of Randall Holmes.
Read more about this topic: Stratification (mathematics)
Famous quotes containing the words set and/or theory:
“My curse on plays
That have to be set up in fifty ways,
On the day’s war with every knave and dolt,
Theater business, management of men.”
—William Butler Yeats (1865–1939)
“We have our little theory on all human and divine things. Poetry, the workings of genius itself, which, in all times, with one or another meaning, has been called Inspiration, and held to be mysterious and inscrutable, is no longer without its scientific exposition. The building of the lofty rhyme is like any other masonry or bricklaying: we have theories of its rise, height, decline and fall—which latter, it would seem, is now near, among all people.”
—Thomas Carlyle (1795–1881)