TY  - RPRT
TI  - Is Ramsey's theorem omega-automatic?
AU  - Dietrich Kuske
PY  - 2010
UR  - https://arxiv.org/abs/0912.2625
ID  - 0912.2625
ER  -