Stratification (mathematics)

Stratification has several usages in mathematics.

## Contents

* 1 In mathematical logic
* 2 In a specific set theory
* 3 In topology
* 4 In statistics

## In mathematical logic

In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretation of a logical theory exists. Specifically, we say that a set of clauses of the form Q1∧…∧Qn∧¬Qn+1∧…∧¬Qn+m->P is stratified if and only if there is a stratification assignment S that fulfills the following conditions:

1. If a predicate P is positively derived from a predicate Q (i.e., P is the head of a rule, and Q occurs positively in the body of the same rule), then the stratification number of P must be greater than or equal to the stratification number of Q, in short S(P)≥S(Q).
2. If a predicate P is derived from a negated predicate Q (i.e., P is the head of a rule, and Q occurs negatively in the body of the same rule), then the stratification number of P must be greater than the stratification number of Q, in short S(P)>S(Q).

The notion of stratified negation leads to a very effective operational semantics for stratified programs in terms of the stratified least fixpoint, that is obtained by iteratively applying the fixpoint operator to each stratum of the program, from the lowest one up. Stratification is not only useful for guaranteeing unique interpretation of Horn clause theories.

## In a specific 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 x∈y appearing in ϕ satisfies σ(x)+1=σ(y) and any atomic formula x=y appearing in ϕ satisfies σ(x)=σ(y).

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 {x∣ϕ} 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 (ιx.ϕ) (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.

A motivation for the use of stratification is to address Russell's paradox, the antinomy considered to have undermined Frege's central work Grundgesetze der Arithmetik (1902). Quine, Willard Van Orman (1963). From a Logical Point of View (2nd ed.). New York: Harper & Row. p. 90.

## In topology

Main article: Stratified space

In singularity theory, there is a different meaning, of a decomposition of a topological space X into disjoint subsets each of which is a topological manifold (so that in particular a stratification defines a partition of the topological space). This is not a useful notion when unrestricted; but when the various strata are defined by some recognisable set of conditions (for example being locally closed), and fit together manageably, this idea is often applied in geometry. Hassler Whitney and René Thom first defined formal conditions for stratification. See Whitney stratification and topologically stratified space.

## In statistics

See stratified sampling.

* v
* t
* e

Mathematical logic

General|

* Formal language
* Formation rule
* Formal proof
* Formal semantics
* Well-formed formula
* Set
* Element
* Class
* Classical logic
* Axiom
* Rule of inference
* Relation
* Theorem
* Logical consequence
* Type theory
* Symbol
* Syntax
* Theory

Systems|

* Formal system
* Deductive system
* Axiomatic system
* Hilbert style systems
* Natural deduction
* Sequent calculus

Traditional logic|

* Proposition
* Inference
* Argument
* Validity
* Cogency
* Syllogism
* Square of opposition
* Venn diagram

Propositional calculus
and Boolean logic

* Boolean functions
* Propositional calculus
* Propositional formula
* Logical connectives
* Truth tables
* Many-valued logic

Predicate logic|

* First-order
* Quantifiers
* Predicate
* Second-order
* Monadic predicate calculus

Naive set theory|

* Set
* Empty set
* Element
* Enumeration
* Extensionality
* Finite set
* Infinite set
* Subset
* Power set
* Countable set
* Uncountable set
* Recursive set
* Domain
* Codomain
* Image
* Map
* Function
* Relation
* Ordered pair

Set theory|

* Foundations of mathematics
* Zermelo–Fraenkel set theory
* Axiom of choice
* General set theory
* Kripke–Platek set theory
* Von Neumann–Bernays–Gödel set theory
* Morse–Kelley set theory
* Tarski–Grothendieck set theory

Model theory|

* Model
* Interpretation
* Non-standard model
* Finite model theory
* Truth value
* Validity

Proof theory|

* Formal proof
* Deductive system
* Formal system
* Theorem
* Logical consequence
* Rule of inference
* Syntax

Computability
theory|

* Recursion
* Recursive set
* Recursively enumerable set
* Decision problem
* Church–Turing thesis
* Computable function
* Primitive recursive function

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Stratification (mathematics). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Stratification_(mathematics)&oldid=195633"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template