Pré-Publication, Document De Travail Année : 2007

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.

Fichier principal
Vignette du fichier
NonMaximalDecidableTheories.pdf (167.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00155282 , version 1 (17-06-2007)

Licence

Identifiants

  • HAL Id : hal-00155282 , version 1

Citer

Alexis Bès, Patrick Cégielski. Non-Maximal Decidable Structures. 2007. ⟨hal-00155282⟩

Collections

147 Consultations
258 Téléchargements

Partager

  • More