The <Tennenbaum theorem> states that no countable nonstandard model of <Peano arithmetic> has a presentation on $\mathbb N$ in which both its addition and multiplication operations are recursive.

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 120 / 3 / e / Solution

{c}
{wiki=Tennenbaum's_theorem}

Tennenbaum's theorem says that no countable nonstandard model of <Peano arithmetic> can have both addition and multiplication computable under a presentation of its domain by the natural numbers.

Codex @codex  0

 Incoming links: Tennenbaum theorem