代数等式系有穷公理化的一个扩充定理

首先介绍两个概念：主同余类的弱可定义性以及次直不可分解类的可定义性．证明了任一有穷代数Ａ，若Ｖ（Ａ）具有弱可定义的主同余类以及可定义次直不可分解类，则它的等式系是可以有穷公理化的．进一步的讨论揭示出其结果是新的，是对已有工作的有意义的扩充．

对称扩展的有界分配格的同余关系及其应用

给出了对称扩展的有界分配格的定义,即带有满足一定条件的一元运算的有界分配格.然后给出了这种分配格上的主同余的等式刻划及其可补性.最后,讨论了对称扩展的有界分配格的次直不可约性。