Non-standard models of Peano arithmetic. (English) Zbl 0514.03045
Logic and arithmetic, int. Symp., Zürich 1980, Monogr. L’Enseign. Math. 30, 275-295 (1982).
MSC:
03H15 | Nonstandard models of arithmetic |