论文标题
稳定的公式在有序结构中
Stable formulas in ordered structures
论文作者
论文摘要
我们将稳定的公式分类为无终点的密集线性顺序，可划分的阿伯利亚群体理论中的稳定公式以及在真实封闭场理论中没有参数的稳定公式。出乎意料的是，第三个结果需要Hironaka的奇异性定理。
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third result, unexpectedly, requires the Hironaka's theorem on resolution of singularities.
