In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups $BS(m,n)$, and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for $BS(m,n)$ given in the paper. In this addendum, we clarify this point and give a detailed proof of the undecidability result. We assume the reader is already familiar with the article in MCU'2013.
翻译:在MCU'2013的文章中,我们指出多米诺问题对所有Baumslag-Solitar集团来说都是不可估量的。 我们声称,证据是直接调整文件中对$BS(m)n)$(m)$(m)n(固定类型)的微弱定期分班结构。在本增编中,我们澄清了这一点,并详细证明了不可估量的结果。我们假定读者已经熟悉MCU'2013的文章。