Proof
• 9SO µ NP is
obvious [why ?]
•
•NP µ 9SO requires us to model a Turing Machine M
running in NP with a formula fM:
like in Trakhtenbrot’s theorem, with some additional complications
9 <. 9 T0. 9 T1 9 Hq1 … 9 Hqm. fM
[what are the arities of T0,
T1,
(Hq)q 2 Q ?