ON THE ADDITIVE GROUP STRUCTURE OF NONSTANDARD MODELS OF Z

Authors: Ç. GENCER, M. TERZİLER

Abstract: Let \hat{Z} denote the inverse limit of finite cyclic groups and F_gZ the group where $F$ is a vector space over Q and + is defined by (a, x)+(b, y)=(a+b, x+y+g(a,b)) for some g: F\times F\rightarrow Z. In this paper we show that any nonstandard model Z^{\star} of Z is isomorphic to F_{\beta}Z for some \beta: F\rightarrow \hat{Z} where F=Z^{\star}/Z.

Keywords:

Full Text: PDF