Existential Definability of Unary Predicates in Büchi Arithmetic

Original language	English
Title of host publication	Twenty Years of Theoretical and Practical Synergies
Subtitle of host publication	CiE 2024
Editors	Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea
Publisher	Springer Nature
Pages	218–232
Number of pages	15
ISBN (Electronic)	978-3-031-64309-5
ISBN (Print)	978-3-031-64308-8
DOIs	https://doi.org/10.1007/978-3-031-64309-5_18
State	Published - 2024
Event	Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in Europe - Amsterdam University College, Amsterdam, Netherlands Duration: 8 Jul 2024 → 12 Jul 2024 https://events.illc.uva.nl/CiE/CiE2024/Main/

Name	Lecture Notes in Computer Science
Volume	14773
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference	Twenty Years of Theoretical and Practical Synergies
Abbreviated title	CiE 2024
Country/Territory	Netherlands
City	Amsterdam
Period	8/07/24 → 12/07/24
Internet address	https://events.illc.uva.nl/CiE/CiE2024/Main/

ID: 121734306