Stable formulas in ordered structures

Daniel Max Hoffmann,Chieu-Minh Tran,Jinhe Ye

arxiv（2022）

引用 0|浏览2

暂无评分

摘要

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 Hironaka’s theorem on resolution of singularities.

查看译文

关键词

structures

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要