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
    1 Citations

    Topics from this paper

    Neutrally expandable models of arithmetic
    • PDF

    References

    SHOWING 1-4 OF 4 REFERENCES
    Forcing and models of arithmetic
    • 13
    • PDF
    On models of arithmetic
    • 57
    • Highly Influential
    A note on models and submodels of arithmetic
    • 41