Tennenbaum's theorem
Tennenbaum's theorem, named for Stanley Tennenbaum who presented the theorem in 1959, is a result in mathematical logic that states that no countable nonstandard model of first-order Peano arithmetic (PA) can be recursive (Kaye 1991:153ff).
Recursive structures for PA
A structure [math]\displaystyle{ M }[/math] in the language of PA is recursive if there are recursive functions [math]\displaystyle{ \oplus }[/math] and [math]\displaystyle{ \otimes }[/math] from [math]\displaystyle{ \mathbb{N} \times \mathbb{N} }[/math] to [math]\displaystyle{ \mathbb{N} }[/math], a recursive two-place relation <M on [math]\displaystyle{ \mathbb{N} }[/math], and distinguished constants [math]\displaystyle{ n_0,n_1 }[/math] such that
- [math]\displaystyle{ (\mathbb{N}, \oplus,\otimes,\lt _M,n_{0},n_{1}) \cong M, }[/math]
where [math]\displaystyle{ \cong }[/math] indicates isomorphism and [math]\displaystyle{ \mathbb{N} }[/math] is the set of (standard) natural numbers. Because the isomorphism must be a bijection, every recursive model is countable. There are many nonisomorphic countable nonstandard models of PA.
Statement of the theorem
Tennenbaum's theorem states that no countable nonstandard model of PA is recursive. Moreover, neither the addition nor the multiplication of such a model can be recursive.
Proof sketch
This sketch follows the argument presented by Kaye (1991). The first step in the proof is to show that, if M is any countable nonstandard model of PA, then the standard system of M (defined below) contains at least one nonrecursive set S. The second step is to show that, if either the addition or multiplication operation on M were recursive, then this set S would be recursive, which is a contradiction.
Through the methods used to code ordered tuples, each element [math]\displaystyle{ x \in M }[/math] can be viewed as a code for a set [math]\displaystyle{ S_x }[/math] of elements of M. In particular, if we let [math]\displaystyle{ p_i }[/math] be the ith prime in M, then [math]\displaystyle{ z \in S_x \leftrightarrow M \vDash p_z | x }[/math]. Each set [math]\displaystyle{ S_x }[/math] will be bounded in M, but if x is nonstandard then the set [math]\displaystyle{ S_x }[/math] may contain infinitely many standard natural numbers. The standard system of the model is the collection [math]\displaystyle{ \{ S_x \cap \mathbb{N} : x \in M\} }[/math]. It can be shown that the standard system of any nonstandard model of PA contains a nonrecursive set, either by appealing to the incompleteness theorem or by directly considering a pair of recursively inseparable r.e. sets (Kaye 1991:154). These are disjoint r.e. sets [math]\displaystyle{ A,B \subseteq \mathbb{N} }[/math] so that there is no recursive set [math]\displaystyle{ C \subseteq \mathbb{N} }[/math] with [math]\displaystyle{ A \subseteq C }[/math] and [math]\displaystyle{ B \cap C = \emptyset }[/math].
For the latter construction, begin with a pair of recursively inseparable r.e. sets A and B. For natural number x there is a y such that, for all i < x, if [math]\displaystyle{ i \in A }[/math] then [math]\displaystyle{ p_i | y }[/math] and if [math]\displaystyle{ i \in B }[/math] then [math]\displaystyle{ p_i \nmid y }[/math]. By the overspill property, this means that there is some nonstandard x in M for which there is a (necessarily nonstandard) y in M so that, for every [math]\displaystyle{ m \in M }[/math] with [math]\displaystyle{ m \lt _M x }[/math], we have
- [math]\displaystyle{ M \vDash (m \in A\to p_m |y)\land(m\in B \to p_m \nmid y) }[/math]
Let [math]\displaystyle{ S = \mathbb{N} \cap S_y }[/math] be the corresponding set in the standard system of M. Because A and B are r.e., one can show that [math]\displaystyle{ A \subseteq S }[/math] and [math]\displaystyle{ B \cap S = \emptyset }[/math]. Hence S is a separating set for A and B, and by the choice of A and B this means S is nonrecursive.
Now, to prove Tennenbaum's theorem, begin with a nonstandard countable model M and an element a in M so that [math]\displaystyle{ S = \mathbb{N} \cap S_a }[/math] is nonrecursive. The proof method shows that, because of the way the standard system is defined, it is possible to compute the characteristic function of the set S using the addition function [math]\displaystyle{ \oplus }[/math] of M as an oracle. In particular, if [math]\displaystyle{ n_0 }[/math] is the element of M corresponding to 0, and [math]\displaystyle{ n_1 }[/math] is the element of M corresponding to 1, then for each [math]\displaystyle{ i \in \mathbb{N} }[/math] we can compute [math]\displaystyle{ n_i = n_1 \oplus \cdots \oplus n_1 }[/math] (i times). To decide if a number n is in S, first compute p, the nth prime in [math]\displaystyle{ \mathbb{N} }[/math]. Then, search for an element y of M so that
- [math]\displaystyle{ a = \underbrace{y \oplus y \oplus \cdots \oplus y}_{p \text{ times}} \oplus n_i }[/math]
for some [math]\displaystyle{ i \lt p }[/math]. This search will halt because the Euclidean algorithm can be applied to any model of PA. Finally, we have [math]\displaystyle{ n \in S }[/math] if and only if the i found in the search was 0. Because S is not recursive, this means that the addition operation on M is nonrecursive.
A similar argument shows that it is possible to compute the characteristic function of S using the multiplication of M as an oracle, so the multiplication operation on M is also nonrecursive (Kaye 1991:154).
References
- Boolos, George; Burgess, John P.; Jeffrey, Richard (2002). Computability and Logic (4th ed.). Cambridge University Press. ISBN 0-521-00758-5.
- Kaye, Richard (1991). Models of Peano arithmetic. Oxford University Press. ISBN 0-19-853213-X.
- Kaye, Richard (Sep 2011). "Tennenbaum's Theorem for Models of Arithmetic". in Juliette Kennedy and Roman Kossak. Set theory, arithmetic, and foundations of mathematics - theorems, philosophies. Lecture Notes in Logic. 36. ISBN 9781107008045. http://web.mat.bham.ac.uk/R.W.Kaye/papers/tennenbaum/tennenbaum.pdf.
- Tennenbaum, Stanley (1959). "Non-Archimedean models for arithmetic". Notices of the American Mathematical Society 6.
 |  |
