Binary choice games and arithmetical comprehension. - Juan P. Aguilera 001; Thibaut Kouptchinsky (Arch. Math. Log., 2026)