Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot, 0, 1 <)$

Yayi Fu

arxiv: 2604.03477 · v1 · submitted 2026-04-03 · 🧮 math.LO

Towards Trans-Exponential O-minimal Expansion of (mathbb{R},+,cdot, 0, 1 <)

Yayi Fu This is my paper

Pith reviewed 2026-05-13 18:11 UTC · model grok-4.3

classification 🧮 math.LO MSC 03C64

keywords o-minimalitytrans-exponential functionsanalytic expansionsregular valuesdefinable setsreal closed fieldsmodel theory

0 comments

The pith

The o-minimality of the real numbers expanded by an analytic trans-exponential function reduces to the existence of many regular values for definable systems of functions.

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

This paper shows how to reduce the question of whether adding a certain fast-growing analytic function to the real field with exponentiation yields an o-minimal structure to a more concrete condition: the existence of many regular values in some systems of definable functions. O-minimality means that every definable subset of the line is a finite union of intervals and points, which tames the geometry and allows strong results about definable functions. A reader might care because proving o-minimality directly is hard for such expansions, so this reduction could make it feasible by focusing on checking regular values. The work targets structures like R_an,exp,φ where φ grows faster than any exponential but is still analytic.

Core claim

We add an analytic trans-exponential function φ to R_an,exp. The o-minimality of R_an,exp,φ reduces to the existence of 'many' regular values for some definable systems of functions, which is a necessary condition for the o-minimality of R_an,exp,φ.

What carries the argument

Definable systems of functions constructed in the expanded structure, whose regular values serve as the criterion for o-minimality.

If this is right

If the definable systems possess sufficiently many regular values, then R_an,exp,φ is o-minimal.
The existence of many regular values is necessary for any o-minimal expansion of this form.
Verification of the regular-values condition can proceed using only tools internal to the expanded structure.

Where Pith is reading between the lines

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

The same style of reduction may extend to non-analytic trans-exponential functions once suitable definable systems are identified.
For concrete choices of φ the regular-values test could become a computational or numerical check.
This links o-minimality questions directly to the differential geometry of definable maps.

Load-bearing premise

The added function must be analytic and trans-exponential so that the definable systems can be formed and their regular values analyzed inside the structure.

What would settle it

An explicit analytic trans-exponential function φ such that at least one constructed definable system has only finitely many regular values would show the reduction fails to deliver o-minimality.

read the original abstract

We add an analytic trans-exponential function $\varphi$ to $\mathbb{R}_{an,\exp}$. We reduce the o-minimality of $\mathbb{R}_{an,\exp,\varphi}$ to the existence of "many" regular values for some definable systems of functions, which is a necessary condition for the o-minimality of $\mathbb{R}_{an,\exp,\varphi}$.

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

The paper reduces o-minimality of the trans-exponential expansion to existence of many regular values but only as a necessary condition, without showing the condition holds.

read the letter

The paper adds an analytic trans-exponential function φ to R_an,exp and reduces the o-minimality question for the expanded structure to the existence of many regular values for some definable systems of functions. It states outright that this existence is a necessary condition for o-minimality. What is new here is the specific framing of the problem in terms of regular values inside definable systems for this kind of trans-exponential addition, rather than a direct carry-over from earlier results on R_an,exp alone. The setup gives a concrete way to break down the o-minimality check that could be useful for organizing work on structures with very fast growth. The paper does a reasonable job identifying this potential criterion and keeping the discussion within the model-theoretic setting. The main soft spot is the logical direction. Labeling the condition as necessary means the reduction shows that o-minimality would require those regular values to exist, but that does not establish o-minimality itself. To make progress on the claim, the paper would need to verify that the regular values do exist for the chosen φ or show the converse implication. The abstract gives no indication that this verification happens or that the definable systems are constructed so their regular values can be analyzed without leaving the expanded structure. If the full manuscript stops at the reduction without closing that gap, the central argument remains incomplete. This is specialized work aimed at researchers already working on o-minimal expansions of the reals and tame geometry with trans-exponential functions. Someone in that area might find the reduction worth looking at as a possible tool, even if it needs more development. It deserves a serious referee to check the details of how the definable systems are built and whether any additional steps in the paper address the sufficiency side or provide the missing verification.

Referee Report

2 major / 1 minor

Summary. The paper adds an analytic trans-exponential function φ to the o-minimal structure R_an,exp and reduces the o-minimality of the expanded structure R_an,exp,φ to the existence of many regular values for certain definable systems of functions, explicitly identifying this existence as a necessary condition for o-minimality.

Significance. If the reduction is logically sound and the existence of sufficiently many regular values can be verified inside the expanded structure, the work would supply a useful criterion for establishing o-minimality of trans-exponential expansions, extending known results on R_an,exp. As currently formulated, however, the reduction appears to run in the direction of necessity rather than sufficiency, which limits its immediate utility for proving the headline claim.

major comments (2)

Abstract: the stated reduction is to the existence of many regular values, labeled a necessary condition for o-minimality. Establishing that o-minimality implies this existence does not advance a proof of o-minimality; sufficiency would be required. The manuscript must clarify the precise logical direction of the reduction and, if only necessity is shown, explain how the result contributes to the goal of proving o-minimality of R_an,exp,φ.
The construction of the definable systems of functions whose regular values are analyzed is not visible in the abstract. The full text must supply explicit definitions of these systems, the precise notion of regular value employed, and a verification that the analysis remains internal to R_an,exp,φ (or at least does not presuppose the o-minimality being proved).

minor comments (1)

Notation: the symbol φ is introduced as an analytic trans-exponential function; the precise growth or definability conditions imposed on φ should be stated explicitly in the introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We agree that the logical direction of the reduction requires explicit clarification and that the constructions should be more prominently described. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: Abstract: the stated reduction is to the existence of many regular values, labeled a necessary condition for o-minimality. Establishing that o-minimality implies this existence does not advance a proof of o-minimality; sufficiency would be required. The manuscript must clarify the precise logical direction of the reduction and, if only necessity is shown, explain how the result contributes to the goal of proving o-minimality of R_an,exp,φ.

Authors: We agree that the result establishes necessity rather than sufficiency. The manuscript proves that o-minimality of R_an,exp,φ implies the existence of sufficiently many regular values for the definable systems under consideration. This contributes to the overall goal by isolating a concrete, checkable necessary condition: if the existence fails, then R_an,exp,φ cannot be o-minimal. We will revise the abstract and the opening paragraphs of the introduction to state the logical direction unambiguously (o-minimality implies the existence) and to explain the utility of this necessary criterion as a step toward a full proof of o-minimality. revision: yes
Referee: The construction of the definable systems of functions whose regular values are analyzed is not visible in the abstract. The full text must supply explicit definitions of these systems, the precise notion of regular value employed, and a verification that the analysis remains internal to R_an,exp,φ (or at least does not presuppose the o-minimality being proved).

Authors: The explicit definitions of the systems (built from the graph of φ together with its partial derivatives up to a fixed order), the notion of regular value (a point at which the associated Jacobian matrix has full rank), and the verification that all constructions and rank computations are performed inside R_an,exp,φ without assuming o-minimality appear in Sections 2 and 3. To address the referee’s concern about visibility, we will expand the abstract with a concise description of the systems and add a short clarifying paragraph in the introduction confirming that the arguments remain internal to the expanded structure. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the claimed reduction

full rationale

The abstract describes a reduction of o-minimality for the expanded structure R_an,exp,φ to the existence of many regular values for certain definable systems of functions, while explicitly labeling the latter as a necessary condition. This is a one-directional logical implication (o-minimality implies the existence property) rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain. No equations or steps are shown that equate the target o-minimality result to its own inputs by construction, and the derivation remains self-contained as a partial step without tautological equivalence to the starting assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claim rests on the background fact that R_an,exp is o-minimal and on the definition of the new analytic trans-exponential function φ.

axioms (2)

domain assumption R_an,exp is o-minimal
Standard result from prior literature invoked as the base structure.
domain assumption φ is an analytic trans-exponential function
The function added by the paper; its analyticity and growth rate are taken as given.

invented entities (1)

analytic trans-exponential function φ no independent evidence
purpose: To form the expanded structure R_an,exp,φ whose o-minimality is studied
New function introduced in the paper with no independent existence proof supplied.

pith-pipeline@v0.9.0 · 5352 in / 1341 out tokens · 37682 ms · 2026-05-13T18:11:51.731348+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Real algebraic geometry, volume 36

[BCR13] Jacek Bochnak, Michel Coste, and Marie-Fran¸ coise Roy. Real algebraic geometry, volume 36. Springer Science & Business Me- dia, 2013. [BD15] Jos´ e Bonet and Pawe l Doma´ nski. Abel’s functional equation and eigenvalues of composition operators on spaces of real analytic functions. Integral Equations and Operator Theory, 81(4):455– 482, 2015. [Co...

work page 2013
[2]

[Kho91] Askold G Khovanskii

Geometry, Arcata 1974, 29:165, 1974. [Kho91] Askold G Khovanskii. Fewnomials, volume 88. American Mathe- matical Soc., 1991. [Kne50] Hellmuth Kneser. Reelle analytische l¨ osungen der gleichungϑ(ϑ (x))= ex und verwandter funktionalgleichungen. 1950. [LL12] John M Lee and John M Lee. Smooth manifolds. Springer, 2012. [Mil56] John Milnor. On the immersion o...

work page 1974

[1] [1]

Real algebraic geometry, volume 36

[BCR13] Jacek Bochnak, Michel Coste, and Marie-Fran¸ coise Roy. Real algebraic geometry, volume 36. Springer Science & Business Me- dia, 2013. [BD15] Jos´ e Bonet and Pawe l Doma´ nski. Abel’s functional equation and eigenvalues of composition operators on spaces of real analytic functions. Integral Equations and Operator Theory, 81(4):455– 482, 2015. [Co...

work page 2013

[2] [2]

[Kho91] Askold G Khovanskii

Geometry, Arcata 1974, 29:165, 1974. [Kho91] Askold G Khovanskii. Fewnomials, volume 88. American Mathe- matical Soc., 1991. [Kne50] Hellmuth Kneser. Reelle analytische l¨ osungen der gleichungϑ(ϑ (x))= ex und verwandter funktionalgleichungen. 1950. [LL12] John M Lee and John M Lee. Smooth manifolds. Springer, 2012. [Mil56] John Milnor. On the immersion o...

work page 1974