An Algebraic Approach to MSO-Definability on Countable linear Orderings

Olivier Carton, Thomas Colcombet, Gabriele Puppis. An Algebraic Approach to MSO-Definability on Countable linear Orderings. Journal of Symbolic Logic, 83(3):1147-1189, 2018. [doi]

Abstract

Abstract is missing.