A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmetic

Merlin Carl

There are nonstandard models of normal open induction ($NOI$) for which $\mathbb{Z}$ is a direct summand of their additive group. We show that this is impossible for nonstandard mo…