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

Autor:	Carl, Merlin
Rok vydání:	2016
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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$.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1605.09222 Zobrazit plný text záznamu View this record from Arxiv