o-极小芽的超渐近展开

给定由广义准解析类 $\mathcal{A}$ 生成的实有序域的一个 o-极小扩张 $\mathbb{R}_{\mathcal{A}}$，我们构造了一个显式的截断封闭有序微分域嵌入，将 $\mathbb{R}_{\mathcal{A}}$ 通过无限制指数函数扩张得到的 $\mathbb{R}_{\mathcal{A},\exp}$ 的 Hardy 域嵌入到超级数域 $\mathbb{T}$ 中。我们利用此证明了一些不可定义性结果。特别是，我们证明了 Euler Gamma 函数在正半轴上的限制在由所有收敛广义幂级数和指数函数生成的结构 $\mathbb{R}_{\text{an}^{*},\exp}$ 中是不可定义的，从而确立了 Euler Gamma 函数和 Riemann Zeta 函数在 $+\infty$ 邻域上的限制之间的不可互定义性。