Abstract :

Countable linear orderings are linear orderings over countable domains. They are of special interest because Monadic Second-order Logic is decidable over them but undecidable over arbitrary orders (in particular over the Reals). In the talk I will describe semigroups and algebras for dealing with countable orderings and their varieties. If time permits I will describe an extension of Variety DA of finite monoids to these algebras.