On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category

Prajval Koul, Satyadev Nandakumar

The classical Banach-Mazur game characterizes sets of first category in a topological space. In this work, we show that an effectivized version of the game yields a characterizatio…