Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baldwin, J.T., and Berman, J., The number of subdirectly irreducible algebras in a vareity. Alg. Univ. 5 (1975), 379–389.
_____, Definable principal congruence relations: kith and kin. Acta. Sci. Math. (Szeged) 44 (1982), 255–270.
Burris, S., Arithmetical varieties and Boolean product representations. Univ. of Waterloo, manuscript 1978.
Fried, E., Grätzer, G., and Quackenbush, R.W., Uniform congruence schemes. Alg. Univ. 10 (1980), 176–188.
_____, and Kiss, E., Connections between congruence-lattices and polynomial properties. Alg. Univ. 17 (1983), 227–262.
Grätzer, G., Universal Algebra, 2nd ed., Springer-Verlag, Berlin 1979.
Kaarli, K., Compatible function extension property. Alg. Univ. 17 (1983), 200–207.
Kiss, E., Definable principal congruences in congruence distributive varieties. Math. Institute of the Hungarian Academy of Sciences, manuscript 1984.
Köhler, P., and Pigozzi, D., Varieties with equationally definable principal congruences. Alg. Univ. 11 (1980), 213–219.
Korec, I., A ternary function for distributivity and permutability of an equivalence lattice. Proc. Amer. Math. Soc. 69 (1978), 8–10.
_____, Concrete representation of some equivalence lattices. Math. Slovaca 31 (1981), 13–22.
McKenzie, R., On spectra and the negative solution of the decision problem for identities having a finite non-trivial model. J. Symbolic Logic 40 (1975), 186–196.
_____, Para-primal varieties: a study of finite axiomatizability and definable principal congruences in locally finite varieties. Alg. Univ. 8 (1978), 336–348.
Pixley, A.F., Completeness in arithmetical algebras. Alg. Univ. 2 (1972), 179–196.
_____, Characterizations of arithmetical varieties. Alg. Univ. 9 (1979) 87–98.
Quackenbush, R.W., Equational classes generated by finite algebras. Alg. Univ. 1 (1971), 265–266.
_____, and Wolk, B., Strong representation of congruence lattices. Alg. Univ. 1 (1971), 165–166.
Werner, H., Eine Charakterisierung funktional vollständige Algebren. Arch. Math. (Basel) 21 (1970), 381–385.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Pixley, A.F. (1985). Principal congruence formulas in arithmetical varieties. In: Comer, S.D. (eds) Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol 1149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0098468
Download citation
DOI: https://doi.org/10.1007/BFb0098468
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15691-8
Online ISBN: 978-3-540-39638-3
eBook Packages: Springer Book Archive