Fragments of First-Order Logic over Infinite Words

Volker Diekert & Manfred Kufleitner
We give topological and algebraic characterizations as well as language theoretic descriptions of the following subclasses of first-order logic $\mathrm{FO}[