11
Theorems
•
Suppose
s
has no constants
•
•
Theorem
[Fagin 76, Glebskii et al. 69]
FO admits a 0/1 law
•
•
Theorem
[Kolaitis and Vardi 92]
L
w
1
w
admits a 0/1 law