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