%0 Journal Article
%T 代数等式系有穷公理化的一个扩充定理
%A 王驹？
%A 赵希顺？
%J 软件学报
%P 332-335
%D 1999
%X 首先介绍两个概念：主同余类的弱可定义性以及次直不可分解类的可定义性.证明了任一有穷代数a,若v(a)具有弱可定义的主同余类以及可定义次直不可分解类，则它的等式系是可以有穷公理化的.进一步的讨论揭示出其结果是新的，是对已有工作的有意义的扩充.
%K 等式系
%K 主同余类
%K 次直不可分解类.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19990320&flag=1