关于自由伪补分配格的全称理论
逻辑
2025-07-15 v2
摘要
本文证明了自由伪补分配格的全称理论是可判定的，并给出了一个递归公理化。这与已知不可判定的有限生成自由代数的完整初等理论的情况形成对比。作为副产品，本文还刻画了可嵌入该自由代数的有限生成伪补分配格。
引用
@article{arxiv.2409.03640,
title = {On the universal theory of the free pseudocomplemented distributive lattice},
author = {Luca Carai and Tommaso Moraschini},
journal= {arXiv preprint arXiv:2409.03640},
year = {2025}
}