Weakly maximal decidable structures Alexis Bès, Patrick Cégielski (2008) RAIRO - Theoretical Informatics and Applications 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.