%0 Journal Article
%T An Extension Theorem on Finitely Axiomatizable Algebraic Equation Systems<br>代数等式系有穷公理化的一个扩充定理
%A WANG Ju
%A ZHAO Xi-shun
%A <br>王驹
%A 赵希顺
%J 软件学报
%D 1999
%I 
%X First, the two notions: weakly definable principal congruence and definable subdirectly irreducible class are introduced in this paper. The authors prove that if a variety generated by a finite algebra has both weakly definable principal congruence and definable subdirectly irreducible class, its equational system is finitely axiomatizable. Further discussion shows that the results are new, and are significant generalization of the known results.
%K Equational system
%K principal congruence
%K subdirectly irreducible class<br>等式系，主同余类，次直不可分解类.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=96C73528E6BF7ABB&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=38B194292C032A66&sid=2E01F39B6CBD53DE&eid=B66C5792F4740920&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4