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