18
Games for
9
MSO
•
The l, k – Ajtai-Fagin game on a property P
•
•
Duplicator selects A
2
P
•
Spoiler selects U
1
, …, U
l
µ
A
•
Duplicator selects B
Ï
P,
then selects V
1
, …, V
l
µ
B
•
Next they play EF on (A, U
1
, …, U
l
) and
(B, V
1
, …, V
l
)