Principal congruence formulas in arithmetical varieties
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 238-254
- https://doi.org/10.1007/bfb0098468
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Connections between congruence-lattices and polynomial propertiesAlgebra universalis, 1983
- Compatible function extension propertyAlgebra universalis, 1983
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varietiesAlgebra universalis, 1978
- A ternary function for distributivity and permutability of an equivalence latticeProceedings of the American Mathematical Society, 1978
- The number of subdirectly irreducible algebras in a varietyAlgebra universalis, 1975
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial modelThe Journal of Symbolic Logic, 1975
- Completeness in arithmetical algebrasAlgebra universalis, 1972
- Equational classes generated by finite algebrasAlgebra universalis, 1971
- Strong representation of congruence latticesAlgebra universalis, 1971
- Eine Charakterisierung funktional vollst ndiger AlgebrenArchiv der Mathematik, 1970