2
Computing Types
•
Recall: tp
FO
k
(A,
a
) = the set of all FO
k
formulas that are true at (A,
a
)
•
•
First question: given
a
,
b
2
A
m
, do they
have the same type ?
•
•
Notation:
a
¼
FO
k
b