Positionality in ${\Sigma }_0^2$ and a completeness result

Pierre Ohlmann, Michał Skrzypczak

We study the existence of positional strategies for the protagonist in infinite duration games over arbitrary game graphs. We prove that prefix-independent objectives in ${\Sigma }_0^2$ wh…