19
Games for
9
MSO
•
Theorem
If spoiler has winning strategy, then
P cannot be expressed by a formula in
MSO[l, k]
•
•
Application
: prove that
reachability
is not in
9
MSO
[ in class ? ]