Realization (of a Type)
- Pure Mathematics -
Algebra Dictionary
Definition
A realization of a type p(x) in a model M is an element or tuple a of M such that every formula in p(x) is true of a in M; equivalently, a realizes p if M ⊨ φ(a) for every φ(x) ∈ p.