A theorem postulating that all black hole solutions of the Einstein-Maxwell equations in general relativity can be completely characterized by only three externally observable classical parameters: mass, electric charge, and angular momentum.

(mathematics) a theorem providing conditions under which an operator or matrix can be diagonalized

(probability theory) A theorem expressed as an equation that describes the conditional probability of an event or state given prior knowledge of another event.

(algebraic geometry) A theorem stating that a normal algebraic variety with an action of a torus can be covered by torus-invariant affine open subsets.

(mathematics) A result in combinatorics, stating that every set of integers with positive natural density contains a k-term arithmetic progression for every k.

(mathematics) A theorem proving that it is always possible to tile a chessboard with dominoes if two squares of opposite colors are first removed from the board.

(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.

(mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.

Synonym of Matiyasevich's theorem

(mathematics) A theorem in probability theory that extends some properties of algebraic operations on convergent sequences of real numbers to sequences of random variables.