向 $(\mathbb{R},+,\cdot, 0, 1 <)$ 的超越指数 O-最小扩张
Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot, 0, 1 <)$
AI总结：
本文通过添加解析超越指数函数φ到$\mathbb{R}_{an,\exp}$，探讨其O-最小性，并将其归结为某些可定义函数系统存在
摘要：
我们向$\mathbb{R}_{an,\exp}$添加一个解析超越指数函数$φ$。我们将$\mathbb{R}_{an,\exp,φ}$的O-最小性归结为某些可定义函数系统存在
英文摘要：
We add an analytic trans-exponential function $φ$ to $\mathbb{R}_{an,\exp}$. We reduce the o-minimality of $\mathbb{R}_{an,\exp,φ}$ 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,φ}$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
