The monadic second order theory of all countable ordinals - 359235 Buchi, J. Richard; Siefkes, Dirk (Berlin : Springer-Verlag, 1984)
41