关于正则 De Morgan 半 Heyting 代数的注记
逻辑
2014-11-11 v1
摘要
本注记的目的有两点。首先，我们证明了 1 级正则 De Morgan 半 Heyting 代数簇 RDMSH1 满足 Stone 恒等式，并给出了 RDMSH1 的几个子簇的（等式）公理化。其次，我们具体描述了包含 RDMSH1 的正则对偶拟 De Morgan Stone 半 Heyting 代数簇 RDQDStSH1 的子簇格。此外，我们证明了 RDQDStSH1 的每个子簇（从而 RDMSH1 的每个子簇）都具有 amalgamation 性质。本注记最后提出了一些供进一步研究的开放性问题。
引用
@article{arxiv.1411.2062,
title = {A note on regular De Morgan semi-Heyting algebras},
author = {Hanamantagouda P. Sankappanavar},
journal= {arXiv preprint arXiv:1411.2062},
year = {2014}
}
备注
14 pages, 2 figures