19
Games for 9MSO
•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 9MSO  [ in class ? ]