多项式的单色和与积

我们证明了模式 $\{x,x+y,xy\}$ 在次数至少为1且常数项为零的形式整数多项式空间上是分拆正则的，并具有原始递归界。这为 $\{x,x+y,xy\}$ 在 $\mathbb{N}$ 上的分拆正则性提供了新证明，并给出了首个原始递归界。