A positional ${\mathbf{\Pi }}_3^0$-complete objective

Antonio Casares, Pierre Ohlmann, Pierre Vandenhove

We study zero-sum, turn-based games on graphs. In this note, we show the existence of a game objective that is ${\mathbf{\Pi }}_3^0$-complete for the Borel hierarchy and that is positiona…