J Richard Büchi

• The monadic second order theory of all countable ordinals