Enayat Models of Peano Arithmetic

@article{AbdulQuader2018EnayatMO,
title={Enayat Models of Peano Arithmetic},
journal={J. Symb. Log.},
year={2018},
volume={83},
pages={1501-1511}
}
• 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
1 Citations

Topics from this paper

Neutrally expandable models of arithmetic
• Mathematics, Computer Science
• Math. Log. Q.
• 2019
• PDF

References

SHOWING 1-4 OF 4 REFERENCES