A note on mathbb{Z} as a direct summand of nonstandard models of weak systems of arithmetic
classification
🧮 math.LO
keywords
modelsnonstandarddirectmathbbsummandadditivearithmeticgroup
read the original 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 $IE_2$.
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.