Non-Maximal Decidable Structures

Abstract : 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.
Type de document :
Pré-publication, Document de travail
Rapport interne LACL 2007-06. 2007
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00155282
Contributeur : Alexis Bès <>
Soumis le : dimanche 17 juin 2007 - 09:02:14
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : jeudi 8 avril 2010 - 20:31:14

Fichiers

NonMaximalDecidableTheories.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00155282, version 1

Collections

Citation

Alexis Bès, Patrick Cégielski. Non-Maximal Decidable Structures. Rapport interne LACL 2007-06. 2007. 〈hal-00155282〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

58