Groups definable in Presburger arithmetic
Here we give a complete list of the groups definable in Presburger arithmetic up to a finite index subgroup.
Authors
- Juan Pablo Acosta López (ORCID: https://orcid.org/0000-0003-4534-8636)
Institutions
- University of Münster (DE)
Publication Details
- Journal
- Annals of Pure and Applied Logic
- Published
- 2024-08-10
- DOI
- https://doi.org/10.1016/j.apal.2024.103507
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Alexander von Humboldt-Stiftung
- Deutsche Forschungsgemeinschaft