Expansions of Presburger arithmetic with the exchange property

DOI10.1002/malq.202000023zbMath1521.03096arXiv1806.00315OpenAlexW3206497469MaRDI QIDQ6047721

Nathanaël Mariaule

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1806.00315

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Cites Work

• Essentially periodic ordered groups
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
• Presburger sets and p-minimal fields

This page was built for publication: Expansions of Presburger arithmetic with the exchange property