Title: Decidable Expansions of Labelled Linear Orderings
Alex Rabinovich
Abstract: Let M=(A,<, {P_1, ... P_k}) where (A,<) is a linear ordering
and P_1 , ...,P_k are monadic predicates on A. We show that if the
monadic second-order theory of M is decidable, then there exists a
non-trivial expansion M' of M by a monadic predicate such that the
monadic second-order theory of M' is still decidable.
Joint work with Alexis Bes