9
FO and AC
0
•
Theorem
FO(All)
µ
non-uniform AC
0
•
•
•
Proof sketch in class (hint: it’s simple…)