近格的独立公理系统
组合数学
2012-10-01 v2
摘要
近格是一个并半格，使得每个主滤子关于诱导序构成一个格。Hickman以及后来Chajda等人独立地证明了近格可以视为具有满足特定公理的三元运算的代数簇。我们的主要结果是近格簇是2基的，并且我们给出了一个由两个独立恒等式组成的显式公理系统。我们还证明了Hickman以及Chajda等人的原始公理系统分别是相关的。
引用
@article{arxiv.1007.3120,
title = {Independent axiom systems for nearlattices},
author = {Joao Araujo and Michael Kinyon},
journal= {arXiv preprint arXiv:1007.3120},
year = {2012}
}
备注
16 pages in 12pt; v2: minor changes suggested by referee, to appear in Czechoslovak Math. J