Abstract

We consider the question: If M is a countable recursively saturated model of PA and K is an elementary submodel of M, is there an automorphism α of M such that K is the fixed point set of α? We give a survey of the known results and we prove that, if M is arithmetically saturated, then M has continuum many pairwise nonisomorphic elementary submodels which are fixed point sets