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