论文标题
通用代数几何形状和Plotkin的问题的半群的花圈产品
Wreath products of semigroups in universal algebraic geometry and Plotkin's problem
论文作者
论文摘要
我们证明，花圈产品$ c = a wr b $ a semigroup $ a $ a $ a $ a $ a $ a $ a $ a $ a $ a $ c $ b $是$q_Ω$ -compact（从逻辑上讲Noetherian）。我们的结果部分解决了Poltkin关于花圈产品的问题
We prove that the wreath product $C=A wr B$ of a semigroup $A$ with zero and an infinite cyclic semigroup $B$ is $q_ω$-compact (logically Noetherian). Our result partially solves the Plotkin`s problem about wreath products
