1: \begin{abstract}

2: We investigate structures that can be represented by omega-automata, so called

3: omega-automatic structures, and prove that relations defined over such

4: structures in first-order logic expanded by the first-order quantifiers `there

5: exist at most $\aleph_0$ many', 'there exist finitely many' and 'there exist

6: $k$ modulo $m$ many' are omega-regular. The proof identifies certain algebraic

7: properties of omega-semigroups.

8: 

9: As a consequence an omega-regular equivalence relation of countable index has

10: an omega-regular set of representatives. This implies Blumensath's conjecture

11: that a countable structure with an $\omega$-automatic presentation can be

12: represented using automata on finite words. This also complements a very recent

13: result of Hj\"orth, Khoussainov, Montalban and Nies showing that 

14: there is an omega-automatic structure which has no injective presentation. 

15: 

16: 

17: %[Additionally, we identify certain

18: %algebraic properties of finite omega-semigroups in general and ones that

19: %represent transitive relations in particular.  These properties might be of

20: %independent interest and we use them to show a Ramsey-like result for

21: %$\omega$-regular relations on uncountable structures.]  

22: \end{abstract}

23: