Skip to main content
SpringerLink
Log in

Structure of Quasivariety Lattices. III. Finitely Partitionable Bases

  • Published:
Algebra and Logic Aims and scope

We prove that each quasivariety containing a B-class has continuum many subquasivarieties with finitely partitionable ω-independent quasi-equational basis.

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. I. Independent axiomatizability,” Algebra and Logic, 57, No. 6, 445-462 (2018).

    MathSciNet  MATH  Google Scholar 

  2. A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “Structure of quasivariety lattices. II. Undecidable problems,” Algebra and Logic, 58, No. 2, 123–136 (2019).

    Article  Google Scholar 

  3. A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “On representation of finite lattices,” Alg. Univers., 80, No. 1 (2019), Paper No. 15.

  4. A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “On the complexity of the lattices of varieties and congruences,” to appear in Int. J. Alg. Comput., 2020; https://doi.org/10.1142/S0218196720500563.

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

    MATH  Google Scholar 

  6. A. O. Basheyeva and A. V. Yakovlev, “On ω-independent bases for quasi-identities,” Sib. El. Mat. Izv., 14, 838-847 (2017); http://semr.math.nsc.ru/v14/p838-847.pdf.

    MathSciNet  MATH  Google Scholar 

  7. A. O. Basheyeva and M. V. Schwidefsky, “Quasi-equational bases of Cantor algebras,” Sib. Math. J., 59, No. 3, 375-382 (2018).

    MathSciNet  Google Scholar 

  8. A. I. Budkin, “On the ω-independence of quasivarieties of nilpotence groups,” Sib. El. Mat. Izv., 16, 516-522 (2019); http://semr.math.nsc.ru/v16/p516-522.pdf.

    MATH  Google Scholar 

  9. A. I. Budkin, “ω-Independent bases for quasivarieites of torsion-free groups,” Algebra and Logic, 58, No. 3, 214-223 (2019).

    MathSciNet  MATH  Google Scholar 

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

  11. 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 

  12. A. V. Kravchenko, “On the lattices of quasivarieties of differential groupoids,” Comment. Math. Univ. Carol., 49, No. 1, 11-17 (2008).

    MathSciNet  MATH  Google Scholar 

  13. 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 

  14. A. V. Kravchenko and M. V. Schwidefsky, “On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras,” Sib. El. Mat. Izv., 17, 753-768 (2020); http://semr.math.nsc.ru/v17/p753-768.pdf.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk State Technical University, Siberian Institute of Management, Novosibirsk, Russia

    A. V. Kravchenko

  2. Institute of Mathematics, National Academy of Science of the Kyrgyz Republic, Bishkek, Kyrgyzstan

    A. M. Nurakunov

  3. Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk State Technical University, Novosibirsk, Russia

    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

Translated from Algebra i Logika, Vol. 59, No. 3, pp. 323-333, May-June, 2020. Russian https://doi.org/10.33048/alglog.2020.59.303.

A. V. Kravchenko and M. V. Schwidefsky are Supported by SB RAS Fundamental Research Program I.1.1, project No. 0314-2019-0003.

A. M. Nurakunov is Supported by MES RK, project No. AP05132349 “Computability, interpretability and algebraic structure.”

M. V. Schwidefsky is Supported by Russian Science Foundation, project No. 19-11-00209 (results of Sec. 9).

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. III. Finitely Partitionable Bases. Algebra Logic 59, 222–229 (2020). https://doi.org/10.1007/s10469-020-09594-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-020-09594-9

Keywords

Search

Navigation