In combinatorics, Ramsey's theorem, in one of its graph-theoretic forms, states that one will find monochromatic cliques in any edge labelling (with colours)...
67 KB (8,534 words) - 13:26, 14 May 2025
red triangle? It turns out that the answer is 6. See the article on Ramsey's theorem for a rigorous proof. Another way to express this result is as follows:...
9 KB (1,148 words) - 05:04, 16 December 2024
theorem appealing. In 1930, in a paper entitled 'On a Problem of Formal Logic,' Frank P. Ramsey proved a very general theorem (now known as Ramsey's theorem)...
5 KB (622 words) - 20:12, 17 February 2025
logic, the Paris–Harrington theorem states that a certain claim in Ramsey theory, namely the strengthened finite Ramsey theorem, which is expressible in...
5 KB (650 words) - 08:41, 10 April 2025
area of mathematics known as Ramsey theory, a Ramsey class is one which satisfies a generalization of Ramsey's theorem. Suppose A {\displaystyle A} ...
2 KB (339 words) - 11:32, 27 March 2023
Ramsey-Turán theory is a subfield of extremal graph theory. It studies common generalizations of Ramsey's theorem and Turán's theorem. In brief, Ramsey-Turán...
7 KB (1,133 words) - 05:04, 12 April 2025
finitary result that makes precise one of the corollaries of Ramsey's theorem. While Ramsey's theorem makes it easy to prove that every infinite sequence of...
10 KB (1,179 words) - 15:57, 18 May 2024
a Problem of Formal Logic now bears his name (Ramsey's theorem). While this theorem is the work Ramsey is probably best remembered for, he proved it only...
39 KB (4,296 words) - 18:05, 28 February 2025
a second color for E2 to obtain a triangle-free edge coloring. By Ramsey's theorem, for any finite number k of colors, there exists a number n such that...
4 KB (481 words) - 08:23, 6 May 2024
In mathematics, the Graham–Rothschild theorem is a theorem that applies Ramsey theory to combinatorics on words and combinatorial cubes. It is named after...
9 KB (1,220 words) - 02:58, 12 April 2025
Infinitary combinatorics (redirect from Infinite Ramsey theory)
things studied include continuous graphs and trees, extensions of Ramsey's theorem, and Martin's axiom. Recent developments concern combinatorics of the...
10 KB (1,388 words) - 18:09, 28 January 2025
Frank P. Ramsey, whose theorem, called Ramsey's theorem establishes that ω enjoys a certain property that Ramsey cardinals generalize to the uncountable...
5 KB (550 words) - 23:28, 1 April 2025
In mathematical logic, Löb's theorem states that in Peano arithmetic (PA) (or any formal system including PA), for any formula P, if it is provable in...
12 KB (1,886 words) - 15:16, 21 April 2025
graph theorem (graph theory) Perlis theorem (graph theory) Planar separator theorem (graph theory) Pólya enumeration theorem (combinatorics) Ramsey's theorem...
78 KB (6,293 words) - 12:16, 2 May 2025
Rado's theorem is a theorem from the branch of mathematics known as Ramsey theory. It is named for the German mathematician Richard Rado. It was proved...
4 KB (606 words) - 03:13, 12 March 2024
theory, a branch of mathematics, the Erdős–Rado theorem is a basic result extending Ramsey's theorem to uncountable sets. It is named after Paul Erdős...
3 KB (289 words) - 12:58, 20 January 2025
mathematics, the Milliken–Taylor theorem in combinatorics is a generalization of both Ramsey's theorem and Hindman's theorem. It is named after Keith Milliken...
2 KB (395 words) - 08:38, 18 August 2023
IP set (redirect from Hindman's theorem)
Milliken–Taylor theorem is a common generalisation of Hindman's theorem and Ramsey's theorem. The definition of being IP has been extended from subsets of the special...
7 KB (807 words) - 05:38, 3 April 2025
Polyadic space (section Ramsey's theorem)
) {\displaystyle dis(X)\geq \Delta (X)} . There is an analogue of Ramsey's theorem from combinatorics for polyadic spaces. For this, we describe the relationship...
22 KB (3,619 words) - 19:51, 9 April 2025
Clique game (redirect from Ramsey game)
to Simmons. They called it the Ramsey game, since it is closely related to Ramsey's theorem (see below). Ramsey's theorem implies that, whenever we color...
4 KB (751 words) - 01:50, 2 February 2024
extended to a total function. Various theorems in combinatorics, such as certain forms of Ramsey's theorem.Theorem III.7.2 The system ATR0 adds to ACA0...
38 KB (4,782 words) - 23:58, 19 May 2025
List of mathematical proofs (section Theorems of which articles are primarily devoted to proving them)
value theorem Multivariate normal distribution (to do) Holomorphic functions are analytic Pythagorean theorem Quadratic equation Quotient rule Ramsey's theorem...
6 KB (593 words) - 20:11, 5 June 2023
Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories...
92 KB (12,173 words) - 10:15, 18 May 2025
of Man Ramsey High School, New Jersey, U.S. The Ramsey Academy, Halstead, Essex, England Ramsey theory, a branch mathematics Ramsey's theorem, in combinatorics...
2 KB (305 words) - 09:59, 4 June 2024
{\displaystyle r} pieces. Here are some of the classic results of Ramsey theory: (Finite) Ramsey's theorem: for every k ≤ m , r ∈ N {\displaystyle k\leq m,r\in \mathbb...
15 KB (2,383 words) - 20:26, 13 December 2024
Incidence coloring List coloring List edge-coloring Perfect graph Ramsey's theorem Sperner's lemma Strong coloring Subcoloring Tait's conjecture Total...
7 KB (663 words) - 02:52, 24 September 2024
also χ {\displaystyle \chi } -bounded, as Ramsey's theorem implies that they have large cliques. Vizing's theorem can be interpreted as stating that the...
13 KB (1,522 words) - 08:08, 27 March 2025
In mathematics, Milliken's tree theorem in combinatorics is a partition theorem generalizing Ramsey's theorem to infinite trees, objects with more structure...
3 KB (470 words) - 22:23, 9 July 2022
cardinal arithmetic and the study of extensions of Ramsey's theorem such as the Erdős–Rado theorem. Descriptive set theory is the study of subsets of...
54 KB (6,575 words) - 12:01, 1 May 2025
Graham's number (category Ramsey theory)
ISBN 978-0-393-02023-6. Graham, R. L.; Rothschild, B. L. (1971). "Ramsey's Theorem for n-Parameter Sets" (PDF). Transactions of the American Mathematical...
19 KB (2,541 words) - 18:27, 6 May 2025