关于有限模格的等式理论
逻辑
2025-02-20 v5
摘要
证明了存在一个，使得对于最多个变量的等式，在有限模格类中有效性判定没有算法。这基于Slobodskoi的结果：有限群类的受限字问题不可解，并依赖于Freese在自由模格中捕捉群表示的技术。
引用
@article{arxiv.2406.04237,
title = {On the equational theory of finite modular lattices},
author = {Christian Herrmann},
journal= {arXiv preprint arXiv:2406.04237},
year = {2025}
}