Skip to main content
SpringerLink
Log in

Quasivarieties of Graphs and Independent Axiomatizability

  • Published:
Siberian Advances in Mathematics Aims and scope Submit manuscript

Abstract

In the present article, we continue to study the complexity of the lattice of quasivarieties of graphs. For every quasivariety K of graphs that contains a non-bipartite graph, we find a subquasivariety K′ ⊆ K such that there exist 2ω subquasivarieties K″ ∈ Lq(K′) without covers (hence, without independent bases for their quasi-identities in K′).

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. M. E. Adams and W. Dziobiak, “The lattice of quasivarieties of undirected graphs,” Algebra Universalis 47, 7 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  2. I. E. Benenson, “The structure of quasivarieties of models,” Izv. Vyssh. Uchebn. Zaved., Matem. no. 12, 14 (1979) [SovietMath. (Izv. VUZ) 23, no. 12, 13 (1979)].

    MathSciNet  MATH  Google Scholar 

  3. V. A. Gorbunov, “Covers in lattices of quasivarieties and independent axiomatizability,” Algebra i logika 16, 507 (1977) [Algebra and Logic 16, 340 (1977)].

    Article  MathSciNet  MATH  Google Scholar 

  4. V. A. Gorbunov, Algebraic Theory ofQuasivarieties (Nauchnaya Kniga, Novosibirsk, 1999) [(Plenum, New York, 1998)].

    Google Scholar 

  5. V. Gorbunov and A. Kravchenko, “Universal Horn classes and colour-families of graphs,” Algebra Universalis 46, 43 (2001).

    MathSciNet  MATH  Google Scholar 

  6. Z. Hedrlín and A. Pultr, “Symmetric relations (undirected graphs) with given semigroups,” Monatsh.Math. 69, 318 (1965).

    Article  MathSciNet  MATH  Google Scholar 

  7. V. K. Kartashov, “Quasivarieties of unary algebras with a finite number of cycles,” Algebra i logika 19, 173 (1980) [Algebra and Logic 19, 106 (1980)].

    Article  MathSciNet  Google Scholar 

  8. A. V. Kartashova, “Antivarieties of unars,” Algebra i logika 50, 521 (2011) [Algebra and Logic 50, 357 (2011)].

    Article  MathSciNet  MATH  Google Scholar 

  9. A. V. Kravchenko, “The lattice complexity of quasivarieties of graphs and endographs,” Algebra i logika 36, 273 (1997) [Algebra and Logic 36, 164 (1997)].

    Article  MathSciNet  MATH  Google Scholar 

  10. A. V. Kravchenko, “Q-universal quasivarieties of graphs,” Algebra i logika 41, 311 (2002) [Algebra and Logic 41, 173 (2002)].

    Article  MathSciNet  MATH  Google Scholar 

  11. A. V. Kravchenko, “Complexity of quasivariety lattices for varieties of unary algebras. II,” Sibirsk. Elektron. Mat. Izv. 13, 388 (2016) [in Russian].

    MATH  Google Scholar 

  12. A. M. Nurakunov, “Unreasonable lattices of quasivarieties,” Internat. J. Algebra Comput. 22, Paper 1250006 (2012). http://dx.doi.org/10.1142/S0218196711006728

    Google Scholar 

  13. A. Pultr and V. Trnková, Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories (Academia, Prague, 1980).

    MATH  Google Scholar 

  14. M. V. Sapir, “The lattice of quasivarieties of semigroups,” Algebra Universalis 21, 172 (1985).

    Article  MathSciNet  MATH  Google Scholar 

  15. M. V. Schwidefsky, “On complexity of quasivariety lattices,” Algebra i logika 54, 381 (2015) [Algebra and Logic 54, 245 (2015)].

    Article  MathSciNet  MATH  Google Scholar 

  16. S. V. Sizyĭ, “Quasivarieties of graphs,” Sibirsk.Mat. Zh. 35, 879 (1994) [SiberianMath. J. 35, 783 (1994)].

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia

    A. V. Kravchenko

  2. Novosibirsk State University, Novosibirsk, 630090, Russia

    A. V. Kravchenko

  3. Siberian Institute ofManagement (Department of RANEPA), Novosibirsk, 630102, Russia

    A. V. Kravchenko

  4. Novosibirsk State Technical University, Novosibirsk, 630073, Russia

    A. V. Yakovlev

Authors
  1. A. V. Kravchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. V. Yakovlev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. V. Kravchenko.

Additional information

Original Russian Text © A. V. Kravchenko and A. V. Yakovlev, 2017, published in Matematicheskie Trudy, 2017, Vol. 20, No. 2, pp. 80–89.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kravchenko, A.V., Yakovlev, A.V. Quasivarieties of Graphs and Independent Axiomatizability. Sib. Adv. Math. 28, 53–59 (2018). https://doi.org/10.3103/S1055134418010042

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S1055134418010042

Keywords

Search

Navigation