Skip to main content
SpringerLink
Log in

Structure of Quasivariety Lattices. II. Undecidable Problems

  • Published:
Algebra and Logic Aims and scope

Sufficient conditions are specified under which a quasivariety contains continuum many subquasivarieties having an independent quasi-equational basis but for which the quasiequational theory and the finite membership problem are undecidable. A number of applications are presented.

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

Similar content being viewed by others

References

  1. A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “Structure of quasivariety lattices. II. Independent axiomatizability,” Algebra and Logic, 57, No. 6, 445-462 (2018).

    Article  MathSciNet  Google Scholar 

  2. A. Basheyeva, A. M. Nurakunov, M. V. Schwidefsky, and A. Zamojska-Dzienio, “Lattices of subclasses. III,” Sib. El. Mat. Izv., 14, 252-263 (2017); http://semr.math.nsc.ru/v14/p252-263.pdf.

    MathSciNet  MATH  Google Scholar 

  3. A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).

    Google Scholar 

  4. W. Dziobiak, “Selected topics in quasivarieties of algebraic systems,” manuscript of the lecture notes delivered at the Workshop on Comput. Algebra and Appl. to Semigroup Theory (the Center of Algebra of Lisbon Univ., Portugal, November 17-21, 1997).

  5. V. A. Gorbunov, Algebraic Theory of Quasivarieties, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).

    Google Scholar 

  6. S. S. Goncharov and Yu. L. Ershov, Constructive Models, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).

    Google Scholar 

  7. V. K. Kartashov, “Quasivarieties of unary algebras with a finite number of cycles,” Algebra and Logic, 19, No. 2, 106-120 (1980).

    Article  MATH  Google Scholar 

  8. S. V. Sizyĭ, “Quasivarieties of graphs,” Sib. Math. J., 35, No. 4, 783-794 (1994).

    Article  MathSciNet  Google Scholar 

  9. V. A. Gorbunov, “Covers in lattices of quasivarieties and independent axiomatizability,” Algebra and Logic, 16, No. 5, 340-369 (1977).

    Article  MATH  Google Scholar 

  10. V. Yu. Popov, “On independently partitionable systems of quasi-identities,” Izv. Ural. Gos. Univ., Mat. Mekh. Komp. Nauki, No. 36, 139-144 (2005).

    MathSciNet  MATH  Google Scholar 

  11. A. V. Kravchenko, “The lattice complexity of quasivarieties of graphs and endographs,” Algebra and Logic, 36, No. 3, 164-168 (1997).

    Article  MathSciNet  MATH  Google Scholar 

  12. M. E. Adams and W. Dziobiak, “Q-universal quasivarieties of algebras,” Proc. Am. Math. Soc., 120, No. 4, 1053-1059 (1994).

    MathSciNet  MATH  Google Scholar 

  13. M. S. Sheremet, “Quasivarieties of Cantor algebras,” Alg. Univ., 46, Nos. 1/2, 193-201 (2001).

    Article  MathSciNet  MATH  Google Scholar 

  14. A. M. Nurakunov, “Quasivariety lattices of pointed Abelian groups,” Algebra and Logic, 53, No. 3, 238-257 (2014).

    Article  MathSciNet  MATH  Google Scholar 

  15. R. Freese, “Projective geometries as projective modular lattices,” Trans. Am. Math. Soc., 251, No. 2, 329-342 (1979).

    Article  MathSciNet  MATH  Google Scholar 

  16. G. Grätzer, General Lattice Theory, Academie-Verlag, Berlin (1978).

    Book  MATH  Google Scholar 

  17. M. E. Adams and W. Dziobiak, “Finite-to-finite universal quasivarieties are Q-universal, Alg. Univ., 46, Nos. 1/2, 253-283 (2001).

  18. P. Goralčík, V. Koubek, and J. Sichler, “Universal varieties of (0, 1)-lattices,” Can. J. Math., 42, No. 3, 470-490 (1990).

    Article  MathSciNet  MATH  Google Scholar 

  19. M. E. Adams and W. Dziobiak, “The lattice of quasivarieties of undirected graphs,” Alg. Univ., 47, No. 1, 7-11 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  20. A. V. Kravchenko, “Q-universal quasivarieties of graphs,” Algebra and Logic, 41, No. 3, 173–181 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  21. W. Dziobiak, “Quasivarieties of Sugihara semilattices with involution,” Algebra and Logic, 39, No. 1, 26-36 (2000).

    Article  MathSciNet  MATH  Google Scholar 

  22. M. E. Adams, V. Koubek, and J. Sichler, “Homomorphisms and endomorphisms of distributive lattices,” Houston J. Math., 11, 129-145 (1985).

    MathSciNet  MATH  Google Scholar 

  23. A. V. Kravchenko and A. V. Yakovlev, “Quasivarieties of graphs and independent axiomatizability,” Mat. Trudy, 20, No. 2, 80-89 (2017).

    MATH  Google Scholar 

  24. A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “Quasi-equational bases of differential groupoids and unary algebras,” Sib. El. Mat. Izv., 14, 1330-1337 (2017); http://semr.math.nsc.ru/v14/p1330-1337.pdf.

    MathSciNet  MATH  Google Scholar 

  25. A. V. Kravchenko, “Complexity of quasivariety lattices for varieties of unary algebras. II,” Sib. El. Mat. Izv., 13, 388-394 (2016); http://semr.math.nsc.ru/v13/p388-394.pdf.

    MATH  Google Scholar 

  26. A. Romanowska and J. D. Smith, Modes, World Scientific, Singapore (2002).

    Book  MATH  Google Scholar 

  27. A. V. Kravchenko, “Complexity of quasivariety lattices for varieties of unary algebras,” Mat. Trudy, 4, No. 2, 113-127 (2001)

    MathSciNet  MATH  Google Scholar 

  28. L. V. Shabunin, “The embedding theorem for Cantor varieties,” Algebra and Logic, 40, No. 3, 194-204 (2001).

    Article  MathSciNet  MATH  Google Scholar 

  29. A. V. Kravchenko, “Complexity for quasivariety lattices for varieties of differential groupoids,” Mat. Trudy, 12, No. 1, 26-39 (2009).

    MathSciNet  MATH  Google Scholar 

  30. M. V. Schwidefsky, “On complexity of quasivariety lattices,” Algebra and Logic, 54, No. 3, 245-257 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  31. A. M. Nurakunov, “Unreasonable lattices of quasivarieties,” Int. J. Alg. Comput., 22, No. 3, Paper No. 1250006 (2012).

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia

    A. V. Kravchenko

  2. Novosibirsk State University, ul. Pirogova 1, Novosibirsk, 630090, Russia

    A. V. Kravchenko

  3. Siberian Institute of Management, ul. Nizhegorodskaya 6, Novosibirsk, 630102, Russia

    A. V. Kravchenko

  4. Novosibirsk State Technical University, pr. Marksa 20, Novosibirsk, 630073, Russia

    A. V. Kravchenko

  5. Institute of Mathematics, National Academy of Science of the Kyrgyz Republic, pr. Chui 265a, 720071, Bishkek, Kyrgyzstan

    A. M. Nurakunov & M. V. Schwidefsky

Authors
  1. A. V. Kravchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. M. Nurakunov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. V. Schwidefsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. V. Kravchenko.

Additional information

Supported by SB RAS Fundamental Research Program I.1.1, project No. 0314-2019-0003.

Supported by the International Mathematical Center of Novosibirsk State University and by MES RK, grant “Computability, interpretability and algebraic structure.”

Translated from Algebra i Logika, Vol. 58, No. 2, pp. 179-199, March-April, 2019.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kravchenko, A.V., Nurakunov, A.M. & Schwidefsky, M.V. Structure of Quasivariety Lattices. II. Undecidable Problems. Algebra Logic 58, 123–136 (2019). https://doi.org/10.1007/s10469-019-09531-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-019-09531-5

Keywords

Search

Navigation