On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates.

Thomas Colcombet, Alexander Rabinovich

Browse the full CSL paper archive.