8
0/1 Law for L
w
1
w
•
Proof via a Transfer Theorem
•
[Kolaitis and Vardi]
•
•
Lemma
.
8
k > 0 there is
y
k
2
FO
k
such that:
1.
R
²
y
k
2.
For
f
in L
k
1
w
there is
f
’ in FO
k
such that:
y
k
²
f
$
f
’