ordering theorem
11Sharkovskii's theorem — In mathematics, Sharkovskii s theorem is a result about discrete dynamical systems. One of the implications of the theorem is that if a continuous discrete dynamical system on the real line has a periodic point of period 3, then it must have… …
12Oseledets theorem — In mathematics, the multiplicative ergodic theorem, or Oseledets theorem provides the theoretical background for computation of Lyapunov exponents of a nonlinear dynamical system. It was proved by Valery Oseledets (also spelled Oseledec ) in 1965 …
13Kruskal's tree theorem — In mathematics, Kruskal s tree theorem states that the set of finite trees over a well quasi ordered set of labels is itself well quasi ordered (under homeomorphic embedding). The theorem was proved byharvs|txt=yes|year= 1960 |authorlink=Joseph… …
14Wick's theorem — is a method of reducing high order derivatives to a combinatorics problem.(Philips, 2001) It is named after Gian Carlo Wick. It is used extensively in quantum field theory to reduce arbitrary products of creation and annihilation operators to… …
15Vampire theorem prover — Vampire is an automatic theorem prover for first order classical logic developed in the Computer Science Department of the University of Manchester by Prof. Andrei Voronkov previously together with Dr. Alexandre Riazanov. It has won the world cup …
16Poincaré–Birkhoff–Witt theorem — In the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (Poincaré (1900), G. D. Birkhoff (1937), Witt (1937); frequently contracted to PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie… …
17Boolean prime ideal theorem — In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given abstract algebra. A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime… …
18Infinite monkey theorem — Not to be confused with Hundredth monkey effect. Given enough time, a hypothetical monkey typing at random would, as part of its output, almost surely produce all of Shakespeare s plays. In this image a chimpanzee is giving it a try. The infinite …
19Chebotarev's density theorem — in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field Q of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic… …
20Bolzano–Weierstrass theorem — In real analysis, the Bolzano–Weierstrass theorem is a fundamental result about convergence in a finite dimensional Euclidean space R^n. The theorem states that each bounded sequence in R^n has a convergent subsequence. An equivalent formulation… …
