pith. sign in

arxiv: 2407.07442 · v4 · submitted 2024-07-10 · 🧮 math.LO

Truncations in languages of generalized power series and the structure of T-λ-spherical completions of o-minimal fields

Pietro Freni This is my paper

Pith reviewed 2026-05-23 23:03 UTC · model grok-4.3

classification 🧮 math.LO
keywords o-minimal fieldsgeneralized power seriestruncationsspherical completionssurreal numberselementary embeddingsT_expHahn fields
0
0 comments X

The pith

Models of theories like the reals with exponentiation have initial elementary embeddings into the surreal numbers.

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

The paper adapts Mourgues-Ressayre style constructions to obtain structure theorems for T0-reducts of T-λ-spherical completions of models of T_convex, where T is o-minimal and T0 a common reduct with T_an. It proves that when a family of generalized power series is closed under truncations and partial derivatives, truncation-closed subsets of the expanded domain generate truncation-closed substructures, and the same holds after closing under solutions to certain equations. This machinery yields the embedding result for models of T when T defines exponentiation, such as T_exp. A sympathetic reader would care because the result gives a uniform way to realize models of these theories inside the surreals.

Core claim

Expanding an integral domain of generalized series by a family of generalized power series interpreted as functions on infinitesimal elements yields the property that truncation-closed subsets generate truncation-closed substructures whenever the family itself is closed under truncations and partial derivatives; the further closure under solutions to certain equations preserves this closure. These facts are applied to deduce that T0-reducts of T-λ-spherical completions of models of T_convex carry the expected structure, which in turn entails that every model of T has an initial elementary embedding into the field No of surreal numbers whenever T is the theory of a reduct of R_an,exp that can

What carries the argument

The property that truncation-closed subsets generate truncation-closed substructures in expansions of generalized series domains by families closed under truncations and partial derivatives.

If this is right

  • T0-reducts of T-λ-spherical completions of models of T_convex admit the expected reduct structure.
  • Every model of T_exp admits an initial elementary embedding into the surreal numbers No.
  • The same holds for any T that is a reduct of R_an,exp defining exponentiation.
  • The closure of the generated set under solutions to certain equations remains closed under truncations.
  • The formal results leave room for generalization when T0 is power bounded but not a reduct of T_an.

Where Pith is reading between the lines

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

  • The embedding result supplies a canonical way to compare models of T inside a single ambient field.
  • The truncation-closure technique may extend directly to other classes of o-minimal expansions that satisfy the same algebraic closure conditions on their series.

Load-bearing premise

The family of generalized power series must itself be closed under truncations and partial derivatives.

What would settle it

An explicit truncation-closed subset of a Hahn field expanded by such a family whose generated substructure fails to be truncation-closed would falsify the central technical claim.

read the original abstract

Let $T$ be the theory of an o-minimal field and $T_0$ a common reduct of $T$ and $T_{an}$. I adapt Mourgues' and Ressayre's constructions to deduce structure results for $T_0$-reducts of $T$-$\lambda$-spherical completion of models of $T_{\mathrm{convex}}$. These in particular entail that whenever $T$ is the theory of a reduct of $\mathbb{R}_{an,\exp}$ defining the exponentiation (e.g.\ $T=T_{\exp}$, the theory of the field of reals expanded by the exponential function), every model of $T$ has an initial elementary embedding in the field $\mathbf{No}$ of surreal numbers. This answers positively an open question in (arXiv:2002.07739). The main technical result is that expanding an integral domain of generalized series in the sense of Hahn-Higman-Ribenboim (such as a Hahn field) by a family of generalized power series interpreted as functions defined on certain infinitesimal elements, has the property that truncation closed subsets generate truncation closed substructures, provided that the family of generalized power series is itself closed under truncations and partial derivatives. It is also shown that the further closure of the generated set under solutions to certain equations is as well closed under truncations. The formal results on power series leave room for possible generalizations to the case in which $T_0$ is power bounded but not necessarily a reduct of $T_{an}$.

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.

Referee Report

2 major / 1 minor

Summary. The paper adapts Mourgues-Ressayre constructions to T0-reducts of T-λ-spherical completions of models of T_convex for o-minimal T. The main technical result establishes that, for an integral domain of generalized series expanded by a family of generalized power series, truncation-closed subsets generate truncation-closed substructures provided the family is closed under truncations and partial derivatives; further closure under solutions to certain equations preserves the property. This yields structure results and, in particular, that when T is the theory of a reduct of R_an,exp defining exponentiation (e.g., T=T_exp), every model of T admits an initial elementary embedding into the surreal numbers No, positively answering an open question from arXiv:2002.07739. The results leave room for generalizations when T0 is power-bounded but not a reduct of T_an.

Significance. If the closure conditions on the relevant families hold, the work resolves the embedding question for exponential o-minimal fields into No and supplies a general framework for truncation closure in Hahn fields expanded by power series. The explicit preservation result under equation solutions is a concrete technical contribution that strengthens the main theorem.

major comments (2)
  1. [Abstract (main technical result) and application to T_exp] Abstract and main technical result: the generation of truncation-closed substructures is stated only conditionally on the family of generalized power series being closed under truncations and partial derivatives. For the T_exp application (which invokes the result to obtain the embedding into No), the manuscript must explicitly verify or prove this closure property for the specific family arising from the exponential interpreted on infinitesimals in the Hahn field; the provided outline does not contain this verification, rendering the embedding claim unsupported.
  2. [Adaptation section (application to T-λ-spherical completions)] § on adaptation of Mourgues-Ressayre: the spherical-completion structure results are derived by applying the conditional truncation-closure theorem, but without confirmation that the exponential family satisfies the hypothesis, the adaptation does not establish the claimed initial elementary embeddings for models of T_exp.
minor comments (1)
  1. The final paragraph notes possible generalizations to power-bounded T0 but does not indicate whether the truncation-closure arguments extend verbatim or require new hypotheses; a brief remark on the obstruction would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the verification of closure properties explicit in the T_exp application. We agree that this step should be added to strengthen the manuscript and will revise accordingly.

read point-by-point responses

  1. Referee: Abstract (main technical result) and application to T_exp: Abstract and main technical result: the generation of truncation-closed substructures is stated only conditionally on the family of generalized power series being closed under truncations and partial derivatives. For the T_exp application (which invokes the result to obtain the embedding into No), the manuscript must explicitly verify or prove this closure property for the specific family arising from the exponential interpreted on infinitesimals in the Hahn field; the provided outline does not contain this verification, rendering the embedding claim unsupported.

    Authors: We acknowledge that the main technical result is conditional and that the T_exp application requires explicit confirmation that the exponential family on infinitesimals satisfies closure under truncations and partial derivatives. The manuscript constructs this family from the exponential in the o-minimal reduct of R_an,exp, where such closures hold by the analyticity of exp and preservation under truncation of power series solutions. To address the concern directly, we will add a dedicated lemma in the adaptation section that proves these closure properties for the specific family, thereby supporting the embedding claim. revision: yes

  2. Referee: Adaptation section (application to T-λ-spherical completions): § on adaptation of Mourgues-Ressayre: the spherical-completion structure results are derived by applying the conditional truncation-closure theorem, but without confirmation that the exponential family satisfies the hypothesis, the adaptation does not establish the claimed initial elementary embeddings for models of T_exp.

    Authors: We agree that the adaptation section applies the conditional theorem to derive the structure results and embeddings for T_exp. Without the explicit verification of the hypothesis for the exponential family, the derivation is incomplete. As indicated in the response to the first comment, the revised manuscript will include this verification, after which the claimed initial elementary embeddings into No will be established. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via new conditional technical result; no reduction of claims to inputs by construction

full rationale

The paper's central technical result (that truncation-closed subsets generate truncation-closed substructures when the family of generalized power series is closed under truncations and partial derivatives) is stated explicitly as a conditional theorem and proved directly rather than by redefinition or fitting. This is then used to adapt the external Mourgues-Ressayre construction, with the application to T_exp models and the embedding into No likewise conditional on the closure property holding for the relevant family. The citation to arXiv:2002.07739 merely identifies the open question being addressed; it does not supply a load-bearing uniqueness theorem or ansatz. No equation or step equates a derived quantity to a fitted input, renames a known result, or imports uniqueness from prior self-work as an external fact. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background from o-minimal model theory and properties of Hahn fields and generalized power series; no free parameters or new invented entities are introduced. The central claims rest on the assumption that the power series family satisfies closure under truncations and derivatives, which is stated as a hypothesis rather than derived.

axioms (2)
  • domain assumption T is o-minimal and T0 is a common reduct of T and T_an
    Invoked at the outset to set up the reducts and spherical completions.
  • standard math Standard properties of integral domains of generalized series (Hahn-Higman-Ribenboim)
    Used as the base structure being expanded by the power series functions.

pith-pipeline@v0.9.0 · 5817 in / 1427 out tokens · 22610 ms · 2026-05-23T23:03:30.637397+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Berarducci and P

    A. Berarducci and P. Freni. On the value group of the transseries. Pacific J. Math. , 312(2):335–354, 2021. ISSN 0030-8730,1945-5844. doi:10.2140/pjm.2021.312.335. UR L https://doi.org/10.2140/pjm.2021.312.335

    work page doi:10.2140/pjm.2021.312.335 2021

  2. [2]

    D’Aquino, J

    P. D’Aquino, J. F. Knight, S. Kuhlmann, and K. Lange. Real closed exponential fields. Fund. Math. , 219(2):163–190,

    work page

  3. [3]

    doi:10.4064/fm219-2-6

    ISSN 0016-2736,1730-6329. doi:10.4064/fm219-2-6. URL https://doi.org/10.4064/fm219-2-6

    work page doi:10.4064/fm219-2-6

  4. [4]

    Denef and L

    J. Denef and L. van den Dries. p-adic and real subanalytic sets. Ann. of Math. (2) , 128(1):79–138, 1988. ISSN 0003-486X,1939-8980. doi:10.2307/1971463. URL https://doi.org/10.2307/1971463

    work page doi:10.2307/1971463 1988

  5. [5]

    Ehrlich and E

    P. Ehrlich and E. Kaplan. Surreal ordered exponen- tial fields. J. Symb. Log. , 86(3):1066–1115, 2021. ISSN 0022-4812,1943-5886. doi:10.1017/jsl.2021.59. URL https://doi.org/10.1017/jsl.2021.59

    work page doi:10.1017/jsl.2021.59 2021

  6. [6]

    Fornasiero

    A. Fornasiero. Initial embeddings in the sur- real numbers of models of tan(exp), 2013. URL https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=6fdc74d61b4acd866c

    work page 2013

  7. [7]

    P. Freni. T-convexity, weakly immediate types and t-λ- spherical completions of o-minimal structures, 2024. URL https://arxiv.org/abs/2404.07646

    work page arXiv 2024

  8. [8]

    A. M. Gabrielov. Projections of semi-analytic sets. Functional Analysis and its applications , 2(4):282–291, 1968

    work page 1968

  9. [9]

    W. Hodges. Model Theory . Encyclopedia of Mathemat- ics and its Applications. Cambridge University Press, 1993 . doi:10.1017/CBO9780511551574

    work page doi:10.1017/cbo9780511551574 1993

  10. [10]

    E. Kaplan. T -convex T -differential fields and their imme- diate extensions. Pacific J. Math. , 320(2):261–298, 2022. ISSN 0030-8730,1945-5844. doi:10.2140/pjm.2022.320.26 1. URL https://doi.org/10.2140/pjm.2022.320.261

    work page doi:10.2140/pjm.2022.320.26 2022

  11. [11]

    L. S. Krapp, S. Kuhlmann, and M. Serra. On Rayner struc- tures. Comm. Algebra , 50(3):940–948, 2022. ISSN 0092- 7872,1532-4125. doi:10.1080/00927872.2021.1976789. UR L https://doi.org/10.1080/00927872.2021.1976789

    work page doi:10.1080/00927872.2021.1976789 2022

  12. [12]

    Kuhlmann, S

    F.-V. Kuhlmann, S. Kuhlmann, and S. Shelah. Exponentia tion in power series fields. Proc. Amer. Math. Soc. , 125(11):3177–3183, 1997. ISSN 0002-9939,1088-6826. doi:10.1090/S0002-9939-97-0 3964-6. URL https://doi.org/10.1090/S0002-9939-97-03964-6

    work page doi:10.1090/s0002-9939-97-0 1997

  13. [13]

    Kuhlmann and S

    S. Kuhlmann and S. Shelah. κ-bounded exponential-logarithmic power series fields. Ann. Pure Appl. Logic , 136(3):284–296, 2005. ISSN 0168-0072,1873-2461. doi:10.1016/j.apal.2005.04. 001. URL https://doi.org/10.1016/j.apal.2005.04.001. THE MORGUES-RESSAYRE CONSTRUCTION 35

    work page doi:10.1016/j.apal.2005.04 2005

  14. [14]

    Marker and C

    D. Marker and C. I. Steinhorn. Definable types in O-minim al theo- ries. J. Symbolic Logic, 59(1):185–198, 1994. ISSN 0022-4812,1943-5886. doi:10.2307/2275260. URL https://doi.org/10.2307/2275260

    work page doi:10.2307/2275260 1994

  15. [15]

    Mourgues and J

    M.-H. Mourgues and J. P. Ressayre. Every real closed fiel d has an inte- ger part. J. Symbolic Logic, 58(2):641–647, 1993. ISSN 0022-4812,1943-

    work page 1993

  16. [16]

    URL https://doi.org/10.2307/2275224

    doi:10.2307/2275224. URL https://doi.org/10.2307/2275224

    work page doi:10.2307/2275224

  17. [17]

    B. H. Neumann. On ordered division rings. Trans. Amer. Math. Soc. , 66:202–252, 1949. ISSN 0002-9947,1088-6850. doi:10.2307 /1990552. URL https://doi.org/10.2307/1990552

    work page doi:10.2307/1990552 1949

  18. [18]

    Ressayre

    J.-P. Ressayre. Integer parts of real closed exponenti al fields (extended abstract). In Arithmetic, proof theory, and computational complexity (Prague, 1991), volume 23 of Oxford Logic Guides , pages 278–288. Ox- ford Univ. Press, New York, 1993. ISBN 0-19-853690-9

    work page 1991

  19. [19]

    Rolin and T

    J.-P. Rolin and T. Servi. Quantifier elimination and rec - tilinearization theorem for generalized quasianalytic al ge- bras. Proc. Lond. Math. Soc. (3) , 110(5):1207–1247, 2015. ISSN 0024-6115,1460-244X. doi:10.1112/plms/pdv010. URL https://doi.org/10.1112/plms/pdv010

    work page doi:10.1112/plms/pdv010 2015

  20. [20]

    Rolin, T

    J.-P. Rolin, T. Servi, and P. Speissegger. Transasympt otic expansions of o-minimal germs, 2024. URL https://arxiv.org/abs/2402.12073

    work page arXiv 2024

  21. [21]

    M. C. Schmeling. Corps de transs´ eries. PhD thesis, Paris 7, 2001

    work page 2001

  22. [22]

    J. M. Tyne. T-levels and T-convexity . ProQuest LLC, Ann Arbor, MI,

    work page

  23. [23]

    Thesis (Ph.D.)–University o f Illinois at Urbana-Champaign

    ISBN 978-0496-34011-8. Thesis (Ph.D.)–University o f Illinois at Urbana-Champaign

    work page

  24. [24]

    van den Dries

    L. van den Dries. A generalization of the Tarski-Seiden berg theorem, and some nondefinability results. Bull. Amer. Math. Soc. (N.S.) , 15(2):189–193, 1986. ISSN 0273- 0979,1088-9485. doi:10.1090/S0273-0979-1986-15468-6. URL https://doi.org/10.1090/S0273-0979-1986-15468-6

    work page doi:10.1090/s0273-0979-1986-15468-6 1986

  25. [25]

    van den Dries

    L. van den Dries. T -convexity and tame extensions. II. J. Symbolic Logic , 62(1):14–34, 1997. ISSN 0022-4812,1943-5886. doi:10.2307/2275729. URL https://doi.org/10.2307/2275729

    work page doi:10.2307/2275729 1997

  26. [26]

    van den Dries and A

    L. van den Dries and A. H. Lewenberg. T -convexity and tame ex- tensions. J. Symbolic Logic , 60(1):74–102, 1995. ISSN 0022-4812,1943-

    work page 1995

  27. [27]

    URL https://doi.org/10.2307/2275510

    doi:10.2307/2275510. URL https://doi.org/10.2307/2275510

    work page doi:10.2307/2275510

  28. [28]

    van den Dries and P

    L. van den Dries and P. Speissegger. The field of re- als with multisummable series and the exponential function . Proc. London Math. Soc. (3) , 81(3):513–565, 2000. ISSN 0024-6115,1460-244X. doi:10.1112/S0024611500012648. U RL https://doi.org/10.1112/S0024611500012648

    work page doi:10.1112/s0024611500012648 2000

  29. [29]

    van den Dries and P

    L. van den Dries and P. Speissegger. O-minimal preparat ion theorems. 11:87–116, 2002

    work page 2002

  30. [30]

    van den Dries, A

    L. van den Dries, A. Macintyre, and D. Marker. The elemen tary theory of restricted analytic fields with exponentiation. Ann. of Math. (2) , 140 (1):183–205, 1994. ISSN 0003-486X,1939-8980. doi:10.230 7/2118545. 36 PIETRO FRENI URL https://doi.org/10.2307/2118545

    work page doi:10.2307/2118545 1994

  31. [31]

    van den Dries, A

    L. van den Dries, A. Macintyre, and D. Marker. Logarithm ic- exponential series. Ann. Pure Appl. Logic , 111(1-2):61–113, 2001. ISSN 0168-0072,1873-2461. doi:10.1016/S0168-0072(01)0 0035-5. URL https://doi.org/10.1016/S0168-0072(01)00035-5. School of Mathematics, University of Leeds, Leeds LS2 9JT, U nited King- dom

    work page doi:10.1016/s0168-0072(01)0 2001