Decidable varieties with modular congruence lattices
HTML articles powered by AMS MathViewer
- by S. Burris and R. McKenzie PDF
- Bull. Amer. Math. Soc. 4 (1981), 350-352
References
- Stanley Burris and Heinrich Werner, Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248 (1979), no. 2, 269–309. MR 522263, DOI 10.1090/S0002-9947-1979-0522263-8 2. R. Freese and R. McKenzie, The commutator, an overview (preprint).
- Ralph Freese and Ralph McKenzie, Residually small varieties with modular congruence lattices, Trans. Amer. Math. Soc. 264 (1981), no. 2, 419–430. MR 603772, DOI 10.1090/S0002-9947-1981-0603772-9
- Joachim Hagemann and Christian Herrmann, A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Arch. Math. (Basel) 32 (1979), no. 3, 234–245. MR 541622, DOI 10.1007/BF01238496
- Christian Herrmann, Affine algebras in congruence modular varieties, Acta Sci. Math. (Szeged) 41 (1979), no. 1-2, 119–125. MR 534504
- A. F. Pixley, Completeness in arithmetical algebras, Algebra Universalis 2 (1972), 179–196. MR 321843, DOI 10.1007/BF02945027
- Matatyanu Rubin, The theory of Boolean algebras with a distinguished subalgebra is undecidable, Ann. Sci. Univ. Clermont No. 60 Math. 13 (1976), 129–134. MR 0465835
- Jonathan D. H. Smith, Mal′cev varieties, Lecture Notes in Mathematics, Vol. 554, Springer-Verlag, Berlin-New York, 1976. MR 0432511, DOI 10.1007/BFb0095447
- A. P. Zamjatin, A nonabelian variety of groups has an undecidable elementary theory, Algebra i Logika 17 (1978), no. 1, 20–27, 121 (Russian). MR 516387
Additional Information
- Journal: Bull. Amer. Math. Soc. 4 (1981), 350-352
- MSC (1980): Primary 03B25, 08B10, 08A05
- DOI: https://doi.org/10.1090/S0273-0979-1981-14912-0
- MathSciNet review: 609049