Minimal varieties and quasivarieties

Journal of the Australian Mathematical Society

Clifford Bergman¹ 

[1] Ralph McKenzie

关键词: 08 B 15;    08 C 15;    08 B 10;    03 G 25;    08 A 40;   

DOI  :  10.1017/S1446788700035266

学科分类：数学（综合）

来源: Cambridge University Press

【 摘 要 】

We prove that every locally finite, congruence modular, minimal variety is minimal as a quasivariety. We also construct all finite, strictly simple algebras generating a congruence distributive variety, such that the sett of unary term perations forms a group. Lastly, these results are applied to a problem in algebraic logic to give a sufficient condition for a deductive system to be structurally complete.

【 授权许可】

Unknown