chapter
10 Pages

S

The structure A satisfies α with s (notation: |=A α[s]) and is defined by induction on the complexity of α as follows.

(i.) If α = (t1 = t2), where t1 and t2 are terms of L, then A satisfies (t1 = t2) with s if s(t1) = s(t2).