Rigid models of Presburger arithmetic
From MaRDI portal
Publication:5108850
DOI10.1002/malq.201800019OpenAlexW2793442860WikidataQ128115363 ScholiaQ128115363MaRDI QIDQ5108850
Publication date: 6 May 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1803.05797
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Cites Work
This page was built for publication: Rigid models of Presburger arithmetic