Is Ramsey s Theorem omega-automatic?

Dietrich Kuske. Is Ramsey s Theorem omega-automatic?. In Jean-Yves Marion, Thomas Schwentick, editors, 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. Volume 5 of LIPIcs, pages 537-548, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]

@inproceedings{Kuske10,
  title = {Is Ramsey s Theorem omega-automatic?},
  author = {Dietrich Kuske},
  year = {2010},
  doi = {10.4230/LIPIcs.STACS.2010.2483},
  url = {http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2483},
  researchr = {https://researchr.org/publication/Kuske10},
  cites = {0},
  citedby = {0},
  pages = {537-548},
  booktitle = {27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France},
  editor = {Jean-Yves Marion and Thomas Schwentick},
  volume = {5},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-16-3},
}