20
Gaifman’s Theorem
•
Let
A
2
STRUCT[
s
]
•
Recall the r-ball (also called r-sphere):
B
r
(x) = {y | d(x,y)
·
r}
•
B
r
(x) can be expressed in FO (obviously)