Weakly Maximal Decidable Structures

Alexis Bès (1) , Patrick Cégielski (1)

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable.

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

Alexis Bès, Patrick Cégielski. Weakly Maximal Decidable Structures. 2007. ⟨hal-00155281⟩