# Category:Ramsey theory

Computing portal |

Here is a list of articles in the Ramsey theory category of the Computing portal that unifies foundations of mathematics and computations using computers.

## Subcategories

This category has only the following subcategory.

### G

## Pages in category "Ramsey theory"

The following 34 pages are in this category, out of 34 total.

- Ramsey theory
*(computing)*

### B

- Boolean Pythagorean triples problem
*(computing)*

### C

- Cap set
*(computing)* - Corners theorem
*(computing)*

### E

- Erdős–Burr conjecture
*(computing)* - Erdős–Hajnal conjecture
*(computing)* - Erdős–Szekeres theorem
*(computing)* - Erdős–Dushnik–Miller theorem
*(computing)* - Ergodic Ramsey theory
*(computing)*

### F

- Folkman's theorem
*(computing)*

### G

- Graham's number
*(computing)* - Green–Tao theorem
*(computing)*

### H

- Hales–Jewett theorem
*(computing)* - Halpern–Läuchli theorem
*(computing)* - Happy ending problem
*(computing)*

### I

- IP set
*(computing)*

### L

- Large set (Ramsey theory)
*(computing)*

### M

- The Mathematical Coloring Book
*(computing)* - Milliken's tree theorem
*(computing)* - Milliken–Taylor theorem
*(computing)*

### P

- Partition regularity
*(computing)* - Piecewise syndetic set
*(computing)* - Pigeonhole principle
*(computing)*

### R

- Rado's theorem (Ramsey theory)
*(computing)* - Ramsey class
*(computing)* - Ramsey's theorem
*(computing)*

### S

- Schur's theorem
*(computing)* - Sim (pencil game)
*(software)* - Slicing the Truth
*(computing)* - Structural Ramsey theory
*(computing)* - Szemerédi's theorem
*(computing)*

### T

- Theorem on friends and strangers
*(computing)*

### V

- Van der Waerden number
*(computing)* - Van der Waerden's theorem
*(computing)*