9
Interpretation
•
Given:
–
a
s
-structure A
–
A formula
f
with free variables x
1
, …, x
n
–
N constants a
1
, …, a
n
2
A
•
Define A
²
f
(a
1
, …, a
n
)
–
Inductively on
f