17
FO
k
•
Is FO restricted to only k variables:
x
1
, …, x
k
•
•
What can we express here ?
•
Try this in FO
3
:
–
There exists a path of length 10 from u to v
[in class]
•