Department of Mathematics

Indian Institute Of Technology Madras , Chennai

Countable linear orderings and the Variety DA

Speaker : Dr. Amaldev Manuel


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.

Key Speaker Dr. Amaldev Manuel
Place Madhava Hall
Start Time 3:00 PM
Finish Time 4:00 PM
External Link None