The reals as a subset of an ultraproduct of finite fields
Pith reviewed 2026-05-22 11:15 UTC · model grok-4.3
The pith
New constructions from internal sets show algebraic reals embed in ultraproducts of prime finite fields while the full reals do not.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We present several new constructions for external subsets in nonstandard models of arithmetic that use mostly internal sets. If an ultraproduct of prime finite fields contains a copy of the algebraic real numbers, then either this copy or its algebraic closure can be obtained via one of these constructions. No copy of the field of real numbers inside such an ultraproduct can be constructed in any of these ways. However, there must exist either a hyperreal field or an algebraically closed field of cardinality at least the continuum inside the ultraproduct.
What carries the argument
New construction methods for external subsets of nonstandard models of arithmetic that rely primarily on internal sets.
If this is right
- Any algebraic real copy inside the ultraproduct arises directly from one of the internal-set constructions or its closure does.
- The full real numbers cannot appear via any of the listed construction methods.
- The ultraproduct is guaranteed to contain either a hyperreal field or a large algebraically closed field.
- The distinction between algebraic reals and full reals persists even when external subsets are built mostly from internal ones.
Where Pith is reading between the lines
- The same construction techniques may limit which ordered fields can embed into other ultraproducts of finite structures.
- These methods could be tested on ultraproducts over different families of fields to see if similar algebraic-versus-transcendental separations appear.
- The existence result for hyperreals or large closed fields suggests a minimal nonstandard enlargement that always occurs in such models.
Load-bearing premise
The ultraproduct is taken with respect to a non-principal ultrafilter and internal sets are defined in the standard way inside the nonstandard model of arithmetic.
What would settle it
An explicit construction of a copy of the full real numbers inside an ultraproduct of prime finite fields that uses only the new methods from internal sets would show the negative result is false.
read the original abstract
In this paper we present new ways to construct external subsets of nonstandard models of arithmetic using mostly internal sets, and show that if an ultraproduct of prime finite fields includes a copy of the algebraic real numbers then either this copy or its algebraic closure can be constructed in some of these ways. We also show that no copy of the field of real numbers inside such an ultraproduct can ever be constructed in any of these ways, but there is either a hyperreal field or an algebraically closed field of cardinality larger or equal to the continuum that can be.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces new methods for constructing external subsets of nonstandard models of arithmetic, primarily using internal sets. It demonstrates that if an ultraproduct of prime finite fields contains a copy of the algebraic real numbers, then either this copy or its algebraic closure can be obtained through these methods. Furthermore, it shows that no copy of the full field of real numbers can be constructed using any of these methods, but that either a hyperreal field or an algebraically closed field of cardinality at least the continuum can be constructed in this setting.
Significance. If the results hold, this paper offers a valuable distinction in the definability of real-closed fields within ultraproducts of finite fields. The explicit construction methods for external sets and the contrast between algebraic reals and the full reals provide new tools for model theory and nonstandard analysis. The existence claims for hyperreals or large algebraically closed fields add to the understanding of possible substructures in such models.
major comments (2)
- [§2.3] §2.3, Definition of construction class: The negative result that no copy of the reals can be obtained via the new methods (central to the contrast with algebraic reals) requires the class to be closed under the field operations and real-closure operations needed to produce a real-closed subfield. The definition is presented as a finite list of operations on mostly internal sets rather than an explicit inductive closure; without a proof that the class is closed under these operations, the impossibility claim for the reals does not fully follow from the positive results for algebraic reals.
- [Theorem 4.1] Theorem 4.1: The proof that the reals cannot be constructed relies on the ultrafilter being non-principal and internal sets being defined in the standard way, but does not address whether extending the allowed operations by one natural step (e.g., adjoining roots of internal polynomials) would permit a real-closed subfield, which would undermine the claimed exhaustive character of the negative result.
minor comments (2)
- [Introduction] The introduction would benefit from a short paragraph situating the new construction methods relative to existing notions of external sets in nonstandard models (e.g., those arising from Loeb measures or definable closure).
- [§3] Notation for the ultraproduct elements versus the induced field operations is occasionally ambiguous in §3; a single consistent symbol for the embedding of the algebraic reals would improve readability.
Simulated Author's Rebuttal
We thank the referee for the thorough review and valuable suggestions. We address the major comments point by point below. We agree that clarifications to the definition of the construction class will strengthen the manuscript and will incorporate them in the revision.
read point-by-point responses
-
Referee: [§2.3] §2.3, Definition of construction class: The negative result that no copy of the reals can be obtained via the new methods (central to the contrast with algebraic reals) requires the class to be closed under the field operations and real-closure operations needed to produce a real-closed subfield. The definition is presented as a finite list of operations on mostly internal sets rather than an explicit inductive closure; without a proof that the class is closed under these operations, the impossibility claim for the reals does not fully follow from the positive results for algebraic reals.
Authors: We agree with the referee that the presentation in §2.3 would benefit from greater explicitness. The construction class is intended as the smallest class containing all internal sets and closed under the listed operations (which encompass the field operations and real-closure steps required to generate real-closed subfields). We will revise the definition to state explicitly that it is the inductive closure under these operations and add a short lemma verifying closure under the relevant operations for producing real-closed fields. This will make the negative result for the full reals follow directly from the positive results for algebraic reals. revision: yes
-
Referee: [Theorem 4.1] Theorem 4.1: The proof that the reals cannot be constructed relies on the ultrafilter being non-principal and internal sets being defined in the standard way, but does not address whether extending the allowed operations by one natural step (e.g., adjoining roots of internal polynomials) would permit a real-closed subfield, which would undermine the claimed exhaustive character of the negative result.
Authors: The negative result of Theorem 4.1 applies specifically to the construction class defined in §2.3 and does not claim to exhaust all conceivable extensions of that class. Adjoining roots of internal polynomials in a manner not already covered by the listed operations would indeed generate a strictly larger class, for which our impossibility claim does not apply. We will add a brief remark after Theorem 4.1 noting this scope limitation and clarifying that the result concerns the methods introduced in the paper rather than every possible enlargement of the class. We do not believe this affects the validity of the stated theorem. revision: partial
Circularity Check
No significant circularity; claims rest on standard ultraproduct and internal-set definitions
full rationale
The paper defines new constructions of external subsets from mostly internal sets in ultraproducts of prime finite fields and proves existence/non-existence results for copies of algebraic reals, the reals, hyperreals, and large algebraically closed fields. These rest on explicit definitions of internal sets within nonstandard models of arithmetic and standard properties of non-principal ultrafilters. No quoted step reduces a prediction or central claim to a fitted parameter, self-definition, or load-bearing self-citation chain; the delimitation of constructions is introduced as part of the paper's contribution rather than presupposed. The derivation is self-contained against external benchmarks of model theory.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Ultraproducts of fields are formed using a non-principal ultrafilter on the index set.
- domain assumption Internal sets in nonstandard models are those definable in the language of arithmetic.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.