zbMATH — the first resource for mathematics

Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties. (English) Zbl 0383.08008

08B05 Equational logic, Mal’tsev conditions
08C10 Axiomatic model classes
08A30 Subalgebras, congruence relations
08A40 Operations and polynomials in algebraic structures, primal algebras
Full Text: DOI
[1] J. T. Baldwin andJ. Berman,The number of subdirectly irreducible algebras in a variety, preprint. · Zbl 0348.08002
[2] K. Baker,Finite equational bases for finite algebras in a congruence distributive equational class, Advances in Math. (to appear). · Zbl 0356.08006
[3] D. M. Clark andP. H. Krauss,Vara primal algebras. Algebra Universalis (to appear).
[4] D. M. Clark andP. H. Krauss,Varieties generated by para primal algebras. Algebra Universalis7 (1977), 93–114. · Zbl 0435.08004
[5] B. Jonsson,Algebras whose congruence lattices are distributive, Math. Scand.21 (1967), 110–121. · Zbl 0167.28401
[6] R. L. Kruse,Identities satisfied by a finite ring, J. Algebra26 (1973), 298–318. · Zbl 0276.16014
[7] R. McKenzie,Equational bases for lattice theories, Math. Scand.27 (1970), 24–38. · Zbl 0307.08001
[8] R. McKenzie,On minimal, locally finite varieties with permuting congruence relations, preprint.
[9] R. McKenzie,A finite algebra A with SP (A) not elementary, Algebra Universalis (to appear). · Zbl 0371.08005
[10] S. Oates andM. B. Powell,Identical relations in finite groups, J. Algebra1 (1964), 11–39. · Zbl 0121.27202
[11] P. Perkins,Bases for equational theories of semigroups, J. Algebra11 (1969), 293–314. · Zbl 0186.03401
[12] A. F. Pixley,Completeness in arithmetical algebras, Algebra Universalis2 (1972), 179–196. · Zbl 0254.08010
[13] R. W. Quackenbush,Equational classes generated by finite algebras, Algebra Universalis1 (1971), 265–266. · Zbl 0231.08004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.