关于用魏尔斯特拉斯$\wp$函数展开有序实数域的一个不可定义性结果

假设$\Omega$是一个在复共轭下封闭的复格，$I$是一个小的实区间，且$D$是$\mathbb{C}$中的一个圆盘。那么，限制$\wp|_D$在结构$(\bar{\mathbb{R}},\wp|_I)$中可定义，当且仅当格$\Omega$具有复数乘法。这从可定义性的角度刻画了具有复数乘法的格。