余海廷代数簇的模型完备化
逻辑
2017-05-30 v2
摘要
已知恰好有八个海廷代数簇具有模型完备化，但除了平凡簇（约化为单点代数）和布尔代数簇之外，这些模型完备化的具体公理化至今未知。对于其余六个簇中的每一个，我们引入两个公理，并证明：1) 这些公理被模型完备化中的所有代数满足，以及 2) 该簇中满足这两个公理的所有代数具有某种嵌入性质。对于这六个簇中的四个（即局部有限的簇），这实际上为模型完备化的存在性提供了一个新的证明，这次是显式的且有限公理化的。
引用
@article{arxiv.1001.1663,
title = {Model-completion of varieties of co-Heyting algebras},
author = {Luck Darnière and Markus Junker},
journal= {arXiv preprint arXiv:1001.1663},
year = {2017}
}
备注
28 pages