As I recall, McAloon's method for proving that there are no computable nonstandard models of $I\Delta_0$ was to show that there are initial segments that are nonstandard models of PA. The usual Tennenbaum tricks can then be used to show that addition and multiplication are not computable.
Dave Marker
- 3.5k
- 22
- 22