TY  - RPRT
TI  - Enayat Models of Peano Arithmetic
AU  - Athar Abdul-Quader
PY  - 2017
DO  - 10.1017/jsl.2018.29
UR  - https://arxiv.org/abs/1709.07829
ID  - 1709.07829
ER  -