arxiv: 2603.15613 · v3 · submitted 2026-03-16 · 🧮 math.LO

Recognition: 2 theorem links

· Lean Theorem

Hierarchies of direct powers, ultrapowers and cumulative powers

Pedro Teixeira Yago

Authors on Pith no claims yet

Pith reviewed 2026-05-15 09:55 UTC · model grok-4.3

classification 🧮 math.LO

keywords cumulative powersdirect powersultrapowersreduced powersfirst-order preservationembeddabilitymodel theorysurreal numbers

0 comments

The pith

Cumulative powers of structures yield direct powers and ultrapowers as quotients by suitable equivalence relations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines cumulative powers as hierarchies of functions built on base structures. It proves that these hierarchies extend the model-theoretic preservation properties known for reduced powers and directly characterize the first-order fragment they preserve. Direct powers and ultrapowers then appear as quotients of the cumulative power by appropriate equivalence relations. Embeddability relations lift from the base structures through all three constructions, and conditions are given under which ultrapowers embed back into cumulative or direct powers. The same setup supplies an explicit construction of Conway's surreal field.

Core claim

Cumulative powers are hierarchies of functions on structures that extend the preservation phenomena of reduced powers; both direct powers and ultrapowers arise from them as quotients by suitable equivalence relations, while embeddability lifts across the constructions and ultrapowers embed into the others under stated conditions.

What carries the argument

Cumulative powers: hierarchies of functions on structures that interact with first-order satisfaction and serve as the ambient object from which direct powers and ultrapowers are recovered by quotienting.

If this is right

Embeddability from one structure to another lifts to their cumulative powers, direct powers, and ultrapowers.
Under explicit conditions an ultrapower embeds into the corresponding cumulative power or direct power.
The fragment of first-order logic preserved by cumulative powers is characterized.
Conway's surreal field arises by a direct application of the cumulative-power construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Varying the choice of equivalence relation on a fixed cumulative power may produce other model-theoretic constructions not yet named in the literature.
Proofs that rely on ultrapower properties could be shortened by first establishing the corresponding fact for the ambient cumulative power.
The framework supplies a uniform language for comparing preservation results across different kinds of reduced products.

Load-bearing premise

Base structures admit well-defined cumulative hierarchies of functions that interact with first-order satisfaction in the standard way.

What would settle it

A concrete structure whose cumulative power admits no equivalence relation whose quotient is an ultrapower or direct power of the original structure.

read the original abstract

In this paper we investigate cumulative hierarchies of functions on structures, or cumulative powers, and study their properties. Particularly, we show how they extend the preservation phenomena of reduced powers, direct powers and ultrapowers by offering a characterization of the fragment of first-order theory it preserves, and elucidate the connections between the three sorts of constructions. More precisely, we show how both direct powers and ultrapowers may be obtained from cumulative powers as quotients by appropriate equivalence relations. We address how embeddability lifts from generating structures to their cumulative powers, direct powers and ultrapowers, and under what conditions ultrapowers embed into corresponding cumulative powers or direct powers. We further offer an application of the framework to show a straightforward way of constructing Conway's surreal field.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Cumulative powers unify direct and ultrapowers as quotients and give a clean route to surreals, but the details of the hierarchies need careful checking.

read the letter

The paper's main move is to define cumulative powers as hierarchies of functions on a structure and then recover both direct powers and ultrapowers by quotienting them by suitable equivalence relations. This gives a single object from which the classical constructions drop out, along with a sharper description of the first-order fragment each preserves. The embeddability results and the conditions under which one power embeds into another follow from the same setup. The application to Conway's surreal field is presented as a direct consequence, which is a nice concrete illustration.

Referee Report

2 major / 2 minor

Summary. The paper defines cumulative powers as hierarchies of functions on structures and shows that direct powers and ultrapowers arise as quotients of cumulative powers by suitable equivalence relations. It characterizes the fragment of first-order logic preserved by cumulative powers, establishes that embeddability lifts from base structures to these constructions, identifies conditions for embeddings of ultrapowers into cumulative or direct powers, and applies the framework to construct Conway's surreal field.

Significance. If the central quotient characterizations and preservation results hold, the work supplies a unifying set-theoretic framework that recovers classical reduced powers, direct powers, and ultrapowers from a single cumulative hierarchy construction. This could simplify proofs involving elementary embeddings and preservation theorems in model theory while offering a direct link to the surreal numbers via standard function hierarchies, without extra language restrictions. The generality of the constructions strengthens their potential applicability beyond the specific examples treated.

major comments (2)

[§3] §3 (characterization of preserved fragment): the claim that cumulative powers extend the preservation properties of reduced powers requires an explicit comparison showing that the quotient equivalence relations recover Łoś's theorem for ultrapowers; without this, the extension statement remains schematic rather than verified for the central case.
[Definition of cumulative powers] Definition of cumulative powers (early section): the interaction between the cumulative hierarchy of functions and first-order satisfaction is asserted to hold via standard set-theoretic constructions, but the manuscript must confirm that this commutes with satisfaction for arbitrary languages, not merely relational ones, as the surreal-number application uses an ordered-field language.

minor comments (2)

Notation for the equivalence relations used in the quotient constructions should be introduced once and used consistently across the direct-power and ultrapower cases to avoid reader confusion.
The embeddability lifting theorem would benefit from a short diagram or commutative square illustrating the maps between the base structure, cumulative power, and quotient.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the helpful suggestions for improving clarity. We address the two major comments point by point below, indicating the revisions we will incorporate.

read point-by-point responses

Referee: [§3] §3 (characterization of preserved fragment): the claim that cumulative powers extend the preservation properties of reduced powers requires an explicit comparison showing that the quotient equivalence relations recover Łoś's theorem for ultrapowers; without this, the extension statement remains schematic rather than verified for the central case.

Authors: We agree that an explicit verification would strengthen the argument. The manuscript already defines the quotient equivalence relations on cumulative powers so that they coincide with the standard reduced-power construction, and the preservation theorem is proved directly from the inductive definition of satisfaction on the hierarchy. In the revision we will insert a short subsection in §3 that derives Łoś's theorem as a corollary by specializing the equivalence relation to an ultrafilter and showing that the induced quotient map preserves and reflects the relevant fragment of first-order logic. This will make the recovery of the classical case fully explicit. revision: yes
Referee: [Definition of cumulative powers] Definition of cumulative powers (early section): the interaction between the cumulative hierarchy of functions and first-order satisfaction is asserted to hold via standard set-theoretic constructions, but the manuscript must confirm that this commutes with satisfaction for arbitrary languages, not merely relational ones, as the surreal-number application uses an ordered-field language.

Authors: The definition is formulated for structures in any first-order language; the satisfaction relation is defined by the usual Tarskian recursion on terms and formulas, which already accommodates function symbols and constants. To address the concern explicitly, we will add a brief remark immediately after the definition confirming that the commutation with satisfaction holds for languages containing function symbols (by verifying the atomic case for function applications) and noting that the ordered-field language of the surreal-number construction is therefore covered without modification. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines cumulative powers via standard set-theoretic hierarchies of functions on structures that interact with first-order satisfaction in the usual way. Direct powers and ultrapowers are recovered explicitly as quotients by equivalence relations constructed from those hierarchies. All preservation, embeddability, and application results (including the surreal field construction) follow directly from the quotient definitions and standard model-theoretic facts without parameter fitting, self-definitional loops, or load-bearing self-citations. The derivation chain is therefore self-contained against external set-theoretic and model-theoretic primitives.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The framework rests on standard first-order model theory and set-theoretic definitions of functions and quotients; the new cumulative power is the primary invented entity.

axioms (1)

standard math Standard axioms of first-order logic and ZFC set theory for defining structures and functions
Invoked throughout to define powers and satisfaction.

invented entities (1)

cumulative powers no independent evidence
purpose: Generalize direct and ultrapowers while preserving a fragment of first-order theory
New construction introduced to unify the three sorts of powers.

pith-pipeline@v0.9.0 · 5412 in / 1102 out tokens · 39074 ms · 2026-05-15T09:55:36.664628+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Norman L. Alling. Conway’s field of surreal numbers.Transactions of the American Mathematical Society, 287:365–386, 1985

work page 1985
[2]

PhD thesis, Harvard University, 1970

Andreas Blass.Ordering of ultrafilters. PhD thesis, Harvard University, 1970

work page 1970
[3]

Chang and Howard J

Chen C. Chang and Howard J. Keisler.Model Theory. Studies in Logic and the Foundations of Mathematics (3rd ed.). Elsevier, 1990

work page 1990
[4]

Chang and Anne C

Chen C. Chang and Anne C. Morel. On closure under direct product.The Journal of Symbolic Logic, 23(2):149– 154, 1958

work page 1958
[5]

Conway.On Numbers and Games

John H. Conway.On Numbers and Games. Ak Peters Series. Taylor & Francis, 2000

work page 2000
[6]

An alternative construction of conway’s ordered field no.Algebra Universalis, 25:7–16, 1988

Philip Ehrlich. An alternative construction of conway’s ordered field no.Algebra Universalis, 25:7–16, 1988

work page 1988
[7]

Frayne, Anne C

Thomas E. Frayne, Anne C. Morel, and Dana S. Scott. Reduced direct products.Fundamenta Mathematicae, 51(3):195–228, 1962

work page 1962
[8]

Uniform extension operators for models

Haim Gaifman. Uniform extension operators for models. In J. N. Crossley, editor,Sets, Models and Recursion Theory, pages 122–155. North Holland, Amsterdam, 1967

work page 1967
[9]

Horn sentences.Annals of Mathematical Logic, 1(4):389, 1970

Fred Galvin. Horn sentences.Annals of Mathematical Logic, 1(4):389, 1970

work page 1970
[10]

Verlag Von Veit & Comp, Leipzig, 1914

Felix Hausdorff.Grundz¨ uge der Mengenlehre. Verlag Von Veit & Comp, Leipzig, 1914

work page 1914
[11]

Stephen H. Hechler. On a ubiquitous cardinal.Proceedings of the American Mathematical Society, 52(1):348–352, 1975

work page 1975
[12]

On sentences which are true of direct unions of algebras.Journal of Symbolic Logic, 16(1):14–21, 1951

Alfred Horn. On sentences which are true of direct unions of algebras.Journal of Symbolic Logic, 16(1):14–21, 1951

work page 1951
[13]

Howard J. Keisler. Reduced products and horn classes.Transactions of the American Mathematical Society, 117:307–328, 1965

work page 1965
[14]

Howard J. Keisler. Ultraproducts and saturated models.Journal of Symbolic Logic, 35(4):584–585, 1970

work page 1970
[15]

Ultrafilters and independent sets.Transactions of the American Mathematical Society, 172:299– 306, 1972

Kenneth Kunen. Ultrafilters and independent sets.Transactions of the American Mathematical Society, 172:299– 306, 1972

work page 1972
[16]

Quelques remarques, th´ eor` emes et probl` emes sur les classes d´ efinissables d’alg` ebres

Jerzy Lo´ s. Quelques remarques, th´ eor` emes et probl` emes sur les classes d´ efinissables d’alg` ebres. In Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin, and J. Lo´ s, editors,Mathematical Interpretation of Formal Systems, volume 16 ofStudies in Logic and the Foundations of Mathematics, pages 98–113. Elsevier, 1955

work page 1955
[17]

Mary E. Rudin. Partial orders on the types ofβn.Transaction of the American Mathematical Society, 155(2):353– 362, 1971

work page 1971
[18]

Fields of surreal numbers and exponentiation.Fundamenta Mathematicae - FUND MATH, 167:173–188, 01 2001

Lou van den Dries and Philip Ehrlich. Fields of surreal numbers and exponentiation.Fundamenta Mathematicae - FUND MATH, 167:173–188, 01 2001

work page 2001
[19]

The integers and topology

Eric van Douwen. The integers and topology. In K. Kunnen and J. E. Vaughan, editors,Handbook of Set-Theoretic Topology, pages 111–167. North Holland, Amsterdam, 1984

work page 1984
[20]

PhD thesis, University of Wisconsin, 1965

Joseph Michael Weinstein.First order properties preserved by direct product. PhD thesis, University of Wisconsin, 1965

work page 1965