史蒂夫·阿沃迪;杰西·休斯 模态算子和Birkhoff完备性定理的形式对偶。 （英文） Zbl 1040.18001号 数学。结构。计算。科学。 13，第2期，233-258（2003）. 给出了余代数的Birkhoff多样性定理和Birkhoff's完备性定理。虽然关于多样性定理的部分具有概括性，但Birkhoff的余代数完备性定理是一个很好的贡献。（对余代数的Birkhoff多样性定理的历史发展的描述是不够的。定理3.2和4.5是B.巴纳舍夫斯基和H.Herrlich先生【休斯顿数学杂志2，147-171（1976；Zbl 0344.18002号)].)审核人：基·罗西克（布尔诺） 引用于7文件 MSC公司： 18个C99 类别和理论 08B99年 品种 关键词：余代数;代数簇;完备性定理 引文：兹伯利0344.18002 软件：CCSL公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}和\textit{J.Hughes}，数学。结构。计算。科学。13，第2号，233--258（2003；Zbl 1040.18001） 全文： 内政部