Modèle Premier
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un modèle minimal d'une théorie complète du premier ordre qui s'immerge élémentairement dans tout autre modèle de la théorie ; de façon équivalente, un modèle engendré par la réalisation des types principaux (isolés) sur l'ensemble vide.
Modèle Premier
- Pure Mathematics -
Algebra Dictionary
Définition
Un modèle P d'une théorie complète T est premier si P se plonge élémentairement dans tout modèle de T ; c'est un représentant canonique minimal (au sens des plongements élémentaires) de la théorie.