The monadic second order theory of all countable ordinals
scientific article; zbMATH DE number 3467076