Highly Influential

The first-order theory of linear order is far from trivia!. The monadic (secondorder) theory of linear order is much stronger. Stil~ surpr,Mng decidability results were proven in that direction. Rabin proved in [10i that the monadic theory of the rational chain is decidable. Hence the monadic theory of all countable linear orders is decidable. Biichi proved… (More)

### Presentations referencing similar topics