Rich omega-Words and Monadic Second-Order Arithmetic.

Ludwig Staiger

Browse the full CSL paper archive.