Lipschitz and Wadge binary games in second order arithmetic. - Andrés Cordón-Franco; Francisco Félix Lara Martín; Manuel J. S. Loureiro (Ann. Pure Appl. Log., 2023)

Lipschitz Determinacy and Arithmetic Transfinite Recursion. - Andrés Cordón-Franco; Francisco Félix Lara Martín; Manuel J. S. Loureiro (CiE, 2024)