arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2004.10953math.LO
收藏

有序结构中的稳定公式

Stable formulas in ordered structures

Daniel Max Hoffmann, Chieu-Minh Tran, Jinhe Ye

AI总结:

本文分类了无端点稠密线性序、可除阿贝尔群及实闭域中(无参数)的稳定公式,其中实闭域情形意外依赖奇点消解定理。

摘要:

我们对无端点稠密线性序理论中的稳定公式、可除阿贝尔群理论中的稳定公式以及实闭域理论中无参数的稳定公式进行了分类。第三个结果出人意料地需要用到广中平祐关于奇点消解的定理。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑