Article contents
Weakly maximal decidable structures
Published online by Cambridge University Press: 18 January 2008
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- © EDP Sciences, 2007
References
- 6
- Cited by