nLab nonstandard model of arithmetic

Redirected from "hypernatural number".
Contents

Contents

Idea

In the same way that in nonstandard analysis one passes to elementary extensions of the field \mathbb{R} which realizes more types (in particular the types of infinite and infinitesimal numbers), one can extend the standard model (,0,1,+,×,S)(\mathbb{N}, 0, 1, +, \times, S) of first-order Peano arithmetic to proper elementary extensions that have infinite natural numbers.

These “points at infinity” that live in the nonstandard part tend to embody the uniform behavior of the numbers from the standard part. (For example, by compactness, the twin prime conjecture is true if and only if in some nonstandard model of arithmetic there exists just a single pair of nonstandard twin primes, and similarly Dirichlet’s theorem on arithmetic progressions can be reformulated as saying that for every coprime positive pair of numbers aa and bb there exists just one nonstandard prime congruent to aa modulo bb.)

Definition

A nonstandard model of arithmetic is a proper elementary extension of the standard model (,0,1,+,×,S)(\mathbb{N}, 0, 1, +, \times, S) of first-order Peano arithmetic.

Examples

  • In the same way the hyperreal numbers are obtained by taking a countable ultrapower 𝒰\mathbb{R}^{\mathcal{U}} of \mathbb{R}, we can obtain the hypernatural numbers by taking a countable ultrapower 𝒰\mathbb{N}^{\mathcal{U}}.

Remarks

This is all discussed in e.g. (Gitman).

  • While the standard model of arithmetic has no automorphisms, there exist countable models of arithmetic with continuum-many automorphisms.

  • A theorem due to Harvey Friedman states that every nonstandard model of arithemetic is isomorphic to some initial segment (in terms of the ordering discussed below) of itself.

  • A theorem due to Stanley Tennenbaum states that there is no countable nonstandard model of arithmetic for which there is an algorithm to compute addition or multiplication on the nonstandard part.

  • The usual ordering on the natural numbers is definable in PA since abca \leq b \iff \exists c such that a+c=ba + c = b.

Denseness of ordering on nonstandard part

As remarked above, the usual ordering on \mathbb{N} is definable in PA\mathsf{PA}. Since the theory defines it, every nonstandard model of arithmetic is linearly ordered. For every nonstandard number ω\omega, one can generate using addition and subtraction a copy of \mathbb{Z} around ω\omega, like so:

{ωn,,ω1,ω,ω+1,,ω+n,}\left\{ \dots \omega - n, \dots, \omega - 1, \omega, \omega + 1, \dots, \omega + n, \dots\right\}

Since addition respects the ordering, ω+ω\omega + \omega is greater than anything in this copy of \mathbb{Z}, and since multiplication respects the ordering also, ω×ω\omega \times \omega is greater than n×ωn \times \omega for any finite nn.

Similarly, if ω 1<ω 2\omega_1 &lt; \omega_2, then the copy of \mathbb{Z} around ω 1\omega_1 is below the copy of \mathbb{Z} around ω 2\omega_2 in the ordering.

It turns out that if you quotient out these copies of \mathbb{Z} in the nonstandard part of (any) nonstandard model of arithmetic, the resulting order on the nonstandard part is dense and without endpoints.

Let’s prove this. We’ll give two proofs; they’re really the same proof, but one uses the language of an ultrapower (the “hypernatural numbers”) while the other doesn’t.

Proposition

The ordering of the copies of \mathbb{Z} in the nonstandard part of a nonstandard model of arithmetic is dense and without endpoints.

Proof

(First proof.)

The theory of arithmetic proves that every other element is divisible by 22, so pick even representatives from every copy of \mathbb{Z} in the nonstandard part. Let aa represent a copy of \mathbb{Z} below a copy of \mathbb{Z} represented by bb. The theory of arithmetic also proves that when aa and bb are even,

a<a+b2<b\models a &lt; \frac{a+b}{2} &lt; b

and since we have that a+n<b\models a + n &lt; b for each finite nn, we can also see that

a+n<a+b2<b\models a + n &lt; \frac{a + b}{2} &lt; b

for each finite nn (resp. < bnb - n for all finite nn). This order is dense and has no endpoints, since for any copy of \mathbb{Z} in the nonstandard part we can take an even representative and divide by 22 to obtain another nonstandard number which is below this copy of \mathbb{Z} (to see it has no upper bound, we can just look at ω,ω 2,ω 3,\omega, \omega^2, \omega^3, \dots.)

Proof

(Second proof.)

Let *^*\mathbb{N} be any ultrapower nonstandard model of arithmetic. This is an uncountable and (at least) 1\aleph_{1}-saturated model of PA\mathsf{PA}, and its elements are equivalence classes (germs) of sequences x¯\overline{x} of natural numbers. The nonstandard part still consists of copies of \mathbb{Z}. Let a¯\overline{a} and b¯\overline{b} be nonstandard numbers such that a¯\overline{a} belongs to a lower copy of \mathbb{Z} than b¯\overline{b} does. By the Los ultraproduct theorem, a¯\overline{a} and b¯\overline{b} must therefore differ as sequences 𝒰\mathcal{U}-often, with an unbounded sequence of differences. We can assume a¯\overline{a} and b¯\overline{b} are sequences of even numbers, since any perturbation of a¯\overline{a} and b¯\overline{b} by a sequence of 00s and 11s doesn’t change what copy of \mathbb{Z} a¯\overline{a} and b¯\overline{b} are in. Then the sequence c¯\overline{c} of their pointwise average will be between them, and will have unbounded 𝒰\mathcal{U}-often difference from a¯\overline{a} and b¯\overline{b}.

Again by the Los ultraproduct theorem, the arithmetic operations in *^*\mathbb{N} are computed pointwise, so this argument will work in any elementary submodel of *^*\mathbb{N}. In particular, any nonstandard model MPAM \models \mathsf{PA} embeds diagonally into its ultrapower M 𝒰M^{\mathcal{U}}.

Countable nonstandard models of arithmetic

Peano arithmetic is the quintessential unstable theory, and so there are plenty of countable nonstandard models of Peano arithmetic (2 02^{\aleph_0}-many.) One can see this directly by omitting the types of nonstandard numbers whose only finite prime divisors is an arbitrary set of finite primes.

By the discussion above, the nonstandard part is linearly ordered and can be partitioned into copies of \mathbb{Z}, and in fact these copies of \mathbb{Z} are densely ordered without endpoints.

Since the theory of dense linear orders without endpoints has the unique countable model (,<)(\mathbb{Q}, &lt;), this means that for any countable nonstandard model of arithmetic, the order type of the nonstandard part is \mathbb{Q} \mathbb{Z}, i.e. \mathbb{Q}, but every time there’s a rational number, you have a copy of the integers instead.

So in a way, the wild divergence among the countable models of PA\mathsf{PA} comes very concretely from the arithmetic part of PA\mathsf{PA}, and not at all from the ordering. However, this niceness (“categoricity”) of the ordering on nonstandard models of arithmetic is also being controlled by the arithmetic part of PA\mathsf{PA} (since that was all we used in the proofs of denseness above): if we were looking at just elementary extensions of (,<)(\mathbb{N}, &lt;), you would need to stipulate ω\omega-saturation to force the order type on the nonstandard part to be \mathbb{Q} \mathbb{Z}, because otherwise there would be nothing wrong with just adjoining a single point at infinity and generating a single copy of \mathbb{Z} (possible with just the order because you can ask for the next or previous element in the ordering) around that for a countable elementary extension of (,<)(\mathbb{N}, &lt;).

Related entries

References

Last revised on June 16, 2020 at 22:27:13. See the history of this page for a list of all contributions to it.