18
EVEN
•
Corollary
EVEN is not expressible in FO(<)
•
•
[why ?]
•
•
Corollary
Finite graph connectivity (CONN) is not
expressible in FO
•
•
[proof in class]