FOM: Nonstandard models of N

Jeffrey Ketland Jeffrey.Ketland at
Thu Mar 15 10:16:09 EST 2001

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
Tel: 0115 951 5843
E-mail: jeffrey.ketland at

More information about the FOM mailing list