Nonstandard models that are definable in models of Peano Arithmetic

Abstract

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)
DOI: 10.1002/malq.200610020

Topics

  • Presentations referencing similar topics