Non-standard model of arithmetic¶
A non-standard model of arithmetic satisfies first-order Peano arithmetic while containing elements beyond every standard numeral.
Core Idea¶
A non-standard model satisfies first-order Peano arithmetic yet contains an element above every externally standard numeral 0, 1, 2, … . It does not contradict the arithmetic axioms; it shows that their first-order induction schema does not uniquely determine the intended natural-number structure.[ref-26e1796048c9][ref-52b84bc44813]
Scope of Application¶
Compactness constructs such a model from PA plus demands c>n for each standard numeral: every finite batch is satisfiable in ordinary N, so the whole first-order theory has a model. Schimmerling's alternative ultrapower N^N/U exhibits the identity-sequence class [i↦i] above every constant-sequence numeral. The first can be chosen countable; the latter is not assumed countable.[ref-26e1796048c9][ref-64fe78a90590]
Clarity¶
For a finite batch ending at c>100, choose c=101 in ordinary N. No fixed standard choice meets the whole infinite family, so compactness's model has a genuinely nonstandard witness. In the ultrapower, {i:i>n} is cofinite for each fixed n and belongs to a nonprincipal ultrafilter; hence [i↦i]>[i↦n].[^ref-26e1796048c9]
Manages Complexity¶
Order and computability are separate results. A countable nonstandard PA model's order looks like N followed by densely arranged Z-blocks, but that order does not determine its addition and multiplication. Tennenbaum's theorem rules out a computable presentation of a countable nonstandard PA model; countability alone is not algorithmic explicitness.[ref-64fe78a90590][ref-f9b992168004]
Abstract Reasoning¶
First-order PA retains compactness but admits nonstandard models. Full second-order PA quantifies over all subsets and is categorical under standard semantics, but does not retain the same compactness/completeness package. Henkin second-order semantics can recover first-order-style metatheorems but not that full categoricity. The semantics must be named before drawing the contrast.[ref-52b84bc44813][ref-dc3e2547e344]
Knowledge Transfer¶
Ultrapower methods travel to other structures, but PA-specific Z-block and Tennenbaum claims require their own hypotheses. “Infinite natural” is an external description of a model element, not a claim that an ordinary finite numeral has become infinite. The live Mathematical Structure entry is the strict genus of the carrier with interpreted operations and axioms, not a claim about every formal theory.[ref-26e1796048c9][ref-64fe78a90590]
[^ref-26e1796048c9]: Ernest Schimmerling, Basic and Intermediate Logic, ch. 5, original author exposition, §§5.2–5.3. [^ref-64fe78a90590]: Asher M. Kach, Non-Standard Models of Arithmetic (2004), original author slides, pp. 2–4. [^ref-52b84bc44813]: MIT OpenCourseWare, Peano Arithmetic, Logic II notes, pp. 1, 13–15. [^ref-f9b992168004]: Marc Hermes and Dominik Kirst, original Tennenbaum theorem analysis, Introduction and formalized proof. [^ref-dc3e2547e344]: Mark Koch and Dominik Kirst, original second-order semantics formalization, publication abstract.
Relationships to Other Abstractions¶
Current abstraction Non-standard model of arithmetic Domain-specific
Parents (1) — more general patterns this builds on
-
Non-standard model of arithmetic is a kind of Mathematical structure Domain-specific
A non-standard PA model is a mathematical structure.
Hierarchy path (1) — routes to 1 parentless root
- Non-standard model of arithmetic → Mathematical structure → Set and Membership
Neighborhood in Abstraction Space¶
Non-standard model of arithmetic sits in a moderately populated region (58th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Formal Models & Logical Foundations (33 abstractions)
Nearest neighbors
- First-Order Arithmetic — 0.86
- Average Order of an Arithmetic Function — 0.85
- Natural Number — 0.85
- Slow-Growing Hierarchy — 0.85
- Elementary-embedding large-cardinal schema — 0.85
Computed from structural-signature embeddings · 2026-10-08