Monadic second order theory of all countable ordinals - Buchi J R; Siefkes Dirk (Berlin Springer-Verlag, 1973)
Keywords: Countable ordinals; Mathematical analysis; Mathematical logic