Are the types of nonstandard natural numbers within a Z-chain identical? Hi,
I was wondering how much (if anything) $\mathcal{L}_{PA}$ can express about individual nonstandard elements in a nonstandard model of PA. For instance, presumably it can say that each has $k$-many predecessors, for each $k\in\mathbb{N}$. But:
(a) I can't see that there is any way that the type of one element in a $\mathbb{Z}$-chain differs from the type of any other in that same chain. Is this correct?
(b) Are the types of  elements in separate $\mathbb{Z}$-chains also identical? I mean, clearly they won't be the same as those of elements in the initial segment $\mathbb{N}$ - these will have a finite number of predecessors - but in two of the additional chains?
To me, it looks like these questions are straightforwardly true but I could be wrong. Many thanks,
Kate
 A: To complement Joel's answer, two different $\mathbb{Z}$-chains can realize different sets of types. For example, some $Z$-chains contain prime numbers but some don't. The fact that some $\mathbb{Z}$-chains contain primes follows from the infinitude of primes. To see that some $\mathbb{Z}$-chains don't contain primes, pick a nonstandard $N$ and consider a $\mathbb{Z}$-chain contained in the infinite interval $[N!+2,N!+N]$ — since all positive integers up to $N$ divide $N!$, every element of that $\mathbb{Z}$-chain has factor which is no larger than $N$.
A: Since the nonstandard numbers believe that every other number is even and every other number is odd, a fact that is expressible in the language you mention, it follows that the types are not the same for every two elements in a $Z$-chain. In fact, more is true: any two nonstandard natural numbers in a common $Z$-chain have distinct types, for if they differ by a finite number $n$, then they will have different residue modulo $n+1$, making their types different.
If one restricts attention only to the order, however, then any two elements in a nonstandard $Z$-chain have the same type, since there are order-automorphisms that shift within this $Z$-chain.  And in a countable nonstandard model, the $Z$-chains are ordered like the rationals, and so the order automorphism group acts transitively on these elements. It follows that all the nonstandard elements have the same type in the language containing only the order.
