TY  - RPRT
TI  - Erdos-Szekeres-type statements: Ramsey function and decidability in dimension 1
AU  - Boris Bukh
AU  - Jiri Matousek
PY  - 2013
DO  - 10.1215/00127094-2785915
UR  - https://arxiv.org/abs/1207.0705
ID  - 1207.0705
ER  -