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

序有理数的弱一元二阶理论的解释

Interpreting the weak monadic second order theory of the ordered rationals

J K Truss

摘要:

我们证明了结构$({\mathbb Q}, <)$的弱一元二阶理论在其自同构群中是一阶可解释的。

英文摘要:

We show that the weak monadic second order theory of the structure $({\mathbb Q}, <)$ is first order interpretable in its automorphism group.

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

↑