关于半线性集合系统的掩蔽函数

我们证明了半线性集合系统在 $\mathbb{R}^m$ 上的掩蔽函数渐近于一个多项式。这一结果确认了对结构 $(\mathbb{R}; +, <)$ 的猜想，这是对模型论线性性质通过掩蔽函数进行刻画的一步。