Skip to main content
SpringerLink
Log in

Finite axiomatizability of congruence rich varieties

  • Published:
algebra universalis Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Baker, K.,Finite equational bases for finite algebras in congruence distributive varieties. Advances in Mathematics24 (1977), 207–243.

    Google Scholar 

  2. Baker, K., Mcnulty, G. andWerner, H.,Shift-automorphism methods for inherently nonfinitely based varieties of algebras. Czechoslovak Math. J.39 (1989), 53–69.

    Google Scholar 

  3. Burris, S. andSankappanavar, H. P.,A Course in Universal Algebra, Springer-Verlag, New York, 1981.

    Google Scholar 

  4. Freese R. andMcKenzie, R.,Residually small varieties with modular congruence lattices. Trans. Amer. Math. Soc.264 (1981), 419–430.

    Google Scholar 

  5. Grätzer, G.,Universal Algebra, second edition, Springer-Verlag, New York, 1979.

    Google Scholar 

  6. Hajilarov, E.Inherently nonfinitely based commutative directoid. (To appear in Algebra Universalis.)

  7. Isaev, I. M.,Essentially infinitely based varieties of algebras. Sibiriskii Mat. Zhurnal30:6 (1989), 75–77. (English translation: Siberian Math. J. 892–894.)

    Google Scholar 

  8. Ježek, J.,Nonfinitely based three-element groupoids. Algebra Universalis20 (1985), 292–301.

    Google Scholar 

  9. Ježek, J. andQuackenbush, R.,Directoids: algebraic models of up-directed sets. Algebra Universalis27 (1990), 49–69.

    Google Scholar 

  10. Kearnes, K. andWtllard, R.,Inherently nonfinitely based solvable algebras. To appear in the Canadian Math. Bull.

  11. Kruse, R.,Identities satisfied by a finite ring. J. Algebra26 (1973), 298–318.

    Google Scholar 

  12. Lyndon, R.,Identities in finite algebras. Proc. Amer. Math. Soc.5 (1954), 8–9.

    Google Scholar 

  13. L'vov, I. V.,Varieties of associative rings, I and II. Algebra i Logika12 (1973), 269–297, and 667–688.

    Google Scholar 

  14. McKenzle, R.,Equational bases for lattice theories. Math. Scand.27 (1970), 24–38.

    Google Scholar 

  15. McKenzle, R.,A new product of algebras and a type reduction theorem. Algebra Universalis18 (1984), 29–69.

    Google Scholar 

  16. McKenzle, R.,Finite equational bases for congruence modular algebras. Algebra Universalis24 (1987), 224–250.

    Google Scholar 

  17. McKenzie, R., Tarski's finite basis problem is undecidable. To appear in the International Journal of Algebra and Computation.

  18. McNulty, G. F. andShallon, C. R.,Inherently nonfinitely based finite algebras. In:Universal Algebra and Lattice Theory, Lecture Notes in Math.1004. 206–231. R. Freese and O. Garcia, eds., Springer Verlag, New York, 1983.

    Google Scholar 

  19. McKenzte, R., McNulty, G. andTaylor, W.,Algebras, Lattices Varieties, I, Brooks/Cole, Monterey, CA, 1987.

    Google Scholar 

  20. Murskii, V. L.,The existence in three-valued logic of a closed class with finite basis not having a finite complete set of identities. (Russian) Dokl. Akad. Nauk SSSR163 (1965), 815–818.

    Google Scholar 

  21. Oates, S. andPowell, M. B.,Identical relations infinite groups. J. Algebra1 (1965), 11–39.

    Google Scholar 

  22. Perkins, P.,Basis questions for general algebra. Algebra Universalis19 (1984), 16–23.

    Google Scholar 

  23. Sapir, M.,Inherently nonfinitely based finite semigroups. Mat. Sbornik133 (1987). English translation: Math. USSR Sbornik61 (1988), 155–166.

    Google Scholar 

  24. Shallon, C.,Non-finitely based algebras derived from lattices. Ph. D. dissertation, UCLA, 1979.

  25. Szendrei, Á.,Nonfinitely based finite groupoids generating minimal varieties. Preprint.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of South Carolina, 29208, Columbia, SC, USA

    J. Ježek & G. F. McNulty

Authors
  1. J. Ježek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. F. McNulty
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ježek, J., McNulty, G.F. Finite axiomatizability of congruence rich varieties. Algebra Universalis 34, 191–213 (1995). https://doi.org/10.1007/BF01204782

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01204782

Keywords

Search

Navigation