Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro. Lipschitz Determinacy and Arithmetic Transfinite Recursion. In Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea, editors, Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings. Volume 14773 of Lecture Notes in Computer Science, pages 285-297, Springer, 2024. [doi]
Abstract is missing.