Rigid models of Presburger arithmetic
Logic
2019-05-21 v2 Logic in Computer Science
Abstract
We present a description of rigid models of Presburger arithmetic (i.e., Z-groups). In particular, we show that Presburger arithmetic has rigid models of all infinite cardinalities up to the continuum, but no larger.
Cite
@article{arxiv.1803.05797,
title = {Rigid models of Presburger arithmetic},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:1803.05797},
year = {2019}
}
Comments
10 pages; accepted to Mathematical Logic Quarterly