Weakly maximal decidable structures
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the first-order theory of every expansion of M by a constant is undecidable.
maximality decidability first-order theories monadic second-order theories automata rich words