序有理数的弱一元二阶理论的解释
Interpreting the weak monadic second order theory of the ordered rationals
摘要:
我们证明了结构$({\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分析而来,可能存在错误,请以论文正文为准。