FOM: Nonstandard models of N

[Jeffrey Ketland]

Supplementing previous messages:

For Tennenbaum's theorem for subsystems of PA, see

Richard Kaye 1991: _Models of PA _ (Oxford Logic Guides 15. OUP)

Chapter 11, Section 11.3 "Tennenbaum's Theorem".

This gives the improved result (due to McAloon 1982: "Complexity of models of arithmetic", JSL) that non-standard models of IDelta_0 are non-recursive.

Best - Jeff




~~~~~~ Jeffrey Ketland ~~~~~
Dept of Philosophy
University of Nottingham
Nottingham NG7 2RD
UNITED KINGDOM
Tel: 0115 951 5843
E-mail: jeffrey.ketland at nottingham.ac.uk
~~~~~~~~~~~~~~~~~~~~~~~~~~~~