Réalisation (D'Un Type)
- Pure Mathematics -
Algebra Dictionary
Définition
Une réalisation d'un type p(x) dans un modèle M est un élément ou un n-uplet a de M tel que chaque formule de p(x) soit vraie en a dans M ; autrement dit, a réalise p si M ⊨ φ(a) pour toute φ(x) ∈ p.