The Uniformisation of Monadic Second-Order Logic over Countable Ordinals.

Thomas Colcombet, Alexander Rabinovich

Browse the full LICS paper archive.