A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak   systems of arithmetic
  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 $IE_2$. 
Merlin Carl
math.LO