12
Discussion
•
EVEN is not expressible in FO
•
•
But EVEN is expressible in FO(<, +)
•
•
PARITY is not expressible in
FO(<, +, exp, …, any-relation-on-N, ….) !