Enayat Models of Peano Arithmetic

A. Abdul-Quader

DOI:10.1017/jsl.2018.29

Corpus ID: 58007956

Enayat Models of Peano Arithmetic

@article{AbdulQuader2018EnayatMO,
  title={Enayat Models of Peano Arithmetic},
  author={A. Abdul-Quader},
  journal={J. Symb. Log.},
  year={2018},
  volume={83},
  pages={1501-1511}
}

A. Abdul-Quader

Published 2018

Mathematics, Computer Science

J. Symb. Log.

Simpson showed that every countable model $\mathcal{M} \models \mathsf{PA}$ has an expansion $(\mathcal{M}, X) \models \mathsf{PA}^*$ that is pointwise definable. A natural question is whether, in general, one can obtain expansions of a non-prime model in which the definable elements coincide with those of the underlying model. Enayat showed that this is impossible by proving that there is $\mathcal{M} \models \mathsf{PA}$ such that for each undefinable class $X$ of $\mathcal{M}$, the expansion… CONTINUE READING

View PDF on arXiv