11
Fagin’s Theorem
•
Define
9
SO to be formulas of the form:
•
•
•
•
Define
8
SO to be formulas of the form:
9
R
1
…
9
R
m
.
f
8
R
1
…
8
R
m
.
f