Weakly Maximal Decidable Structures
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|