In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model N without parameters in a model M , we show that N is isomorphic to M if M is elementary extension of the standard model and N is elementarily equivalent to M . On the other hand, we show that there is a model M and a definable model N with… (More)