论文标题
几乎最小结构的驯服扩展
Tame extension of almost o-minimal structure
论文作者
论文摘要
我们考虑了有序的组$ \ Mathcal m =（m，<，+，0，\ ldots）$的几乎最小扩展，其tame扩展$ \ Mathcal n =（n，n，<，+，0，\ ldots）$。我们证明了m^n \; | \; in M^n \; | \;子集$ \ {x \; \ Mathcal n \型φ（x，a）\} $ $ m^n $由公式$φ（x，y）$定义的，带有$ \ MATHCAL M $ bugncal的参数$ a $ a $ in $ \ MATHCAL N $ IS $ \ MATHCAL N $是$ \ MATHCAL M $ -DEFINABLE。我们还介绍了它的推论。
We consider an almost o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$ and its tame extension $\mathcal N=(N,<,+,0,\ldots)$. We demonstrate that the subset $\{x \in M^n\;|\; \mathcal N \models Φ(x,a)\}$ of $M^n$ defined by a formula $Φ(x,y)$ with $\mathcal M$-bounded parameters $a$ in $\mathcal N$ is $\mathcal M$-definable. We also introduce its corollaries.
