Fixed Points of Self-embeddings of Models of Arithmetic

Saeideh Bahrami, Ali Enayat

We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arit…