Fixed points of self-embeddings of models of arithmetic

We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. Our principal results are Theorem A, Theorem B, Theorem C below. In what follows M is a countable nonstandard model of the fragment IΣ1 of PA (Peano Arithmetic); N is the initial segment of M consisting of standard numbers of M; Ifix(j) is the longest initial segment of fixed points of j; Fix(j) is the fixed point set of j; K1(M) consists of Σ1-definable elements of M; and a self-embedding j of M is said to be a proper initial self-embedding if j(M) is a proper initial segment of M. Theorem AThe following are equivalent for a proper initial segment I ofM:(1)I=Ifix(j)for some self-embedding j ofM.(2)I is closed under exponentiation.(3)I=Ifix(j)for some proper initial self-embedding j ofM.