Diagramme (logique mathématique)
Aller à la navigation
Aller à la recherche
Modèle:À sourcer En théorie des modèles, une branche de la logique mathématique, le diagramme d'une structure est un concept simple mais utile pour prouver des propriétés d'une théorie, comme par exemple la propriété d'amalgamation et le théorème des plongements joints de Robinson.
Définition
Soit un langage du premier ordre et une théorie de Pour un modèle de , on étend en un nouveau langage
en ajoutant un nouveau symbole de constante pour chaque élément dans où est l'ensemble sous-jacent à On peut étendre en la -structure
Le diagramme de est l'ensemble de toutes les -formules closes vraies dans , c'est-à-dire les avec une -formule telle que