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

Abstract

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 models of $I{E}_2$.