Let M be a model of first order Peano arithmetic (PA) and I an initial segment of M that is closed under multiplication. Let M_0 be the {0,1,+}-reduct of M. We show that there is another model N of PA that is also an expansion of M_0 such that α·~M α=α·~N α if and only if α∈I for allα∈M.
展开▼