Realisierung (Eines Typs)

- Pure Mathematics -
Algebra Dictionary
Eine Realisierung eines Typs p(x) in einem Modell M ist ein Element bzw. Tupel a ∈ M, so dass jede Formel in p(x) an a in M wahr ist; äquivalent: a realisiert p, wenn M ⊨ φ(a) für alle φ(x) ∈ p ist.