Cardinality and counting quantifiers on omega-automatic structures

Lukasz Kaiser, Sasha Rubin, Vince Bárány

We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logi…