17
Proof
•
9
SO
µ
NP is obvious [why ?]
•
•
NP
µ
9
SO requires us to model a Turing
Machine M running in NP with a formula
f
M
: like in Trakhtenbrot’s theorem, with
some additional complications
9
<.
9
T
0
.
9
T
1
9
H
q
1
…
9
H
q
m
.
f
M
[what are the arities of T
0
, T
1
, (H
q
)
q
2
Q
?
