共 50 条
- [21] DEFINABLE PREDICATES IN BOOLEAN ALGEBRAS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (03): : 257 - 278
- [25] Varieties with equationally definable factor congruences Algebra universalis, 2013, 70 : 327 - 345
- [28] Fregean subtractive varieties with definable congruence JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 2001, 71 : 353 - 366