Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 119533

Branch of combinatorics with the philosophy that 'total disorder is impossible'. For example, Ramsey's theorem asserts that for each $n$, every sufficiently large graph either contains a clique of size $n$ or a stable set of size $n$.

2 votes
Accepted

Instance of polynomial van der Waerden without good bounds

Isn't this paper the most up to date? I believe the introduction covers all of the relevant literature. "Proving a fully general quantitative polynomial Szemerédi theorem remains a very challenging o …
Ryan Alweiss's user avatar
5 votes
1 answer
353 views

Primitive recursive bounds for multidimensional polynomial vdW / HJ

In Shelah's paper 679, he proves primitive recursive bounds for the polynomial Hales-Jewett theorem and thus for the polynomial van der Waerden theorem. How about for the multidimensional polynomial H …