1: \begin{abstract}

2:   We show that the existence of a "first-order formula" "separating" two monadic second order formulas over "countable ordinal words" is decidable.

3:   This extends the work of Henckell and Almeida on "finite words", and of Place and Zeitoun on "$\omega$-words".

4:   For this, we develop the algebraic concept of "monoid" (resp. $\omega$-semigroup, resp. "ordinal monoid") with "aperiodic merge", an extension of "monoids" (resp. $\omega$-semigroup, resp. "ordinal monoid")  that explicitly includes a new operation capturing the loss of precision induced by first-order indistinguishability.

5:   We also show the computability of "\FO-pointlike sets", and the decidability of the "covering problem" for "first-order logic" on "countable ordinal words".

6: 

7:   \emph{Keywords:} regular languages, separation, pointlike sets,

8:   countable ordinals, first-order logic, monadic second-order logic.

9: 

10:   \alert{This document contains internal hyperlinks, and is best read on an electronic device.}

11: \end{abstract}

12: