Mikhail R. Starchak. Existential Definability of Unary Predicates in Büchi Arithmetic. 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 218-232, Springer, 2024. [doi]
Abstract is missing.