Cordón Franco, AndrésLara Martín, Francisco FélixLoureiro, J.S.2025-01-082025-01-082024-07-02Cordón Franco, A., Lara Martín, F.F. y Loureiro, J.S. (2024). Lipschitz determinacy and Arithmetic Transfinite Recursion. En Twenty Years of Theoretical and Practical Synergies (Conference on Computability in Europe) (285-297), Amsterdam: Springer.0302-97431611-3349https://hdl.handle.net/11441/166245We investigate the logical strength of Lipschitz determinacy, and the tightly related Semi-Linear Ordering principle, for the first levels of the Borel hierarchy in the Baire space. As a result, we obtain characterizations of ATR0 in terms of these determinacy principles.application/pdf12 p.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Reverse mathematicsDeterminacyLipschitz gamesSemilinear Ordering principleinfo:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/embargoedAccesshttps://doi.org/10.1007/978-3-031-64309-5_23