Symmetry for Transfinite Computability

Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe. Symmetry for Transfinite Computability. In Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors, Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings. Volume 13967 of Lecture Notes in Computer Science, pages 65-76, Springer, 2023. [doi]

Abstract

Abstract is missing.