有序实域用Weierstrass $\wp$函数展开的一个不可定义性结果
A nondefinability result for expansions of the ordered real field by the Weierstrass $\wp$ function
摘要：
设$Ω$是复共轭闭格，$I$是小实区间，$D$是$ \mathbb{C}$中的圆盘。则约束$\wp|_D$在结构$(\bar{\mathbb{R}},\wp|_I)$中是可定义的当且仅当格$Ω$具有复乘。这在可定义性方面表征了具有复乘的格。
英文摘要：
Suppose that $Ω$ is a complex lattice that is closed under complex conjugation and that $I$ is a small real interval, and that $D$ is a disc in $ \mathbb{C}$. Then the restriction $\wp|_D$ is definable in the structure $(\bar{\mathbb{R}},\wp|_I)$ if and only if the lattice $Ω$ has complex multiplication. This characterises lattices with complex multiplication in terms of definability.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
