Email Record: The Monadic second order theory of all countable ordinals /