Title: The monadic second order theory of all countable ordinals
Subjects: Gödel's theorem, Model theory