Page 1

Displaying 1 – 1 of 1

Showing per page

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. 


Currently displaying 1 – 1 of 1

Page 1