Non-Maximal Decidable Structures
Résumé
Given any infinite structure M with a decidable first-order theory, we give a sufficient condition in terms of the Gaifman graph of M, which ensures that M can be expanded with some non-definable predicate in such a way that the first-order theory of the expansion is still decidable.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...