The mathematical study of combinatorial objects in which a certain degree of order must occur as the scale of the object becomes large. Ramsey theory is named after Frank Plumpton Ramsey, who did seminal work in this area before his untimely death at age 26 in 1930. The theory was subsequently developed extensively by Erdős.
The classical problem in Ramsey theory is the party problem, which asks the minimum number of guests that must be invited so that at least will know each other (i.e., there exists a clique of order ) or at least will not know each other (i.e., there exists an independent set of order . Here, is called a Ramsey number.
A typical result in Ramsey theory states that if some mathematical object is partitioned into finitely many parts, then one of the parts must contain a subobject of an interesting kind. For example, it is known that if is large enough and is an -dimensional vector space over the field of integers (mod ), then however is partitioned into pieces, one of the pieces contains an affine subspace of dimension .