Weak decidability of some modal extention of trigonometry
Page 1
Displaying 1 – 2 of 2
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 – 2 of 2
Page 1