几乎 o-极小结构的驯服扩张

我们考虑一个有序群 $\mathcal M=(M,<,+,0,\ldots)$ 的几乎 o-极小扩张及其驯服扩张 $\mathcal N=(N,<,+,0,\ldots)$。我们证明了，由公式 $\Phi(x,y)$ 在 $\mathcal N$ 中带有 $\mathcal M$-有界参数 $a$ 所定义的 $M^n$ 的子集 $\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\}$ 是 $\mathcal M$-可定义的。我们还介绍了其推论。