对于有限的\geq 3和\geq 4，簇SNr_n \CA_{n+k}不是原子正则的
For finite n\geq 3, and k\geq 4, the variety SNr_n\CA_{n+k} is not atom canonical
摘要：
证明了存在一个有限维n \geq 3的原子可表示的多进等式代数，使得它的完备化的圆柱约简不在SNr_n \CA_{n+4}中，从而得到了标题中的结果.这解决了代数逻辑中的一个公开问题，尽管k=n+1，n+2，n+3的值仍然是我们所知的最好的未知数。
英文摘要：
We show that there exists an atomic representable polyadic equality algebra of finite dimension n\geq 3, such that the cylindric reduct of its completion is not in SNr_n\CA_{n+4}, hence the result in the title. This solves an open problem in algebraic logic, though the values for k=n+1, n+2, n+3, is still, to the best of our knowlege unknown.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
