Reduction games, provability and compactness. - Damir D. Dzhafarov; Denis R. Hirschfeldt; Sarah Reitzes (J. Math. Log., 2022)