14
Games on Sets
•
Let
s
=
;
(i.e. no relation names, no
constants), and assume |A|
¸
k, |B|
¸
k.
•
•
Theorem
A
º
k
B.
[why ?]
•
•
Corollary
EVEN is not expressible in FO
when
s
=
;