非周期点状集及其拓展
群论
2007-06-17 v2
摘要
我们证明，如果 是一个素数的递归集，那么对于其子群为 -群的半群伪簇，点状集是可判定的。特别地，当 为空集时，我们得到了 Henckell 关于非周期点状集的可判定性结果。我们的证明在限定于非周期半群的情况下，比原始证明更为简单。
引用
@article{arxiv.0706.0248,
title = {Aperiodic Pointlikes and Beyond},
author = {Karsten Henckell and John Rhodes and Benjamin Steinberg},
journal= {arXiv preprint arXiv:0706.0248},
year = {2007}
}