Rigid models of Presburger arithmetic
classification
🧮 math.LO
cs.LO
keywords
arithmeticmodelspresburgerrigidcardinalitiescontinuumdescriptioninfinite
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.