Covers in lattices of quasivarieties and independent axiomatizability

From MaRDI portal
Publication:1255976

DOI10.1007/BF01669475zbMath0403.08009MaRDI QIDQ1255976

V. A. Gorbunov

Publication date: 1977

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/186983




Related Items (28)

Quasi-identities of free 2-nilpotent groupsFinite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identitiesMinimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identitiesBases of quasiidentities of finite distributive p-algebrasOn algebras of the variety \(\mathcal B^1_1\)Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. IIRepresentability types of varieties and Mal'tsev strict conditionsQuasivarieties of graphsQuasiequational bases of Cantor algebrasUltraproducts preserve finite subdirect reducibilityCanonical decompositions in complete latticesOn the quasivarieties generated by finite semigroupsQuasivarieties of unary algebras with a finite number of cyclesRemarks on NQ-critical commutative unary algebrasQuasivarieties of Graphs and Independent AxiomatizabilityQuasiidentities of finite unary algebrasLattices of topologies of unary algebras of the variety \(\mathcal A_{1,1}\)Semigroups embeddable in hyperplane face monoids.On quasi-equational bases for differential groupoids and unary algebrasOn the \(\omega\)-independence of quasivarieties of nilpotence groupsStructure of quasivariety lattices. I: Independent axiomatizabilityStructure of quasivariety lattices. II: Undecidable problemsOpen questions related to the problem of Birkhoff and Maltsev\( \omega \)-independent bases for quasivarietes of torsion-free groupsIndependent axiomatizability of sets of sentencesExistence of independent quasi-equational basesQuasiidentities of two-element algebrasPrimitive lattice varieties



Cites Work


This page was built for publication: Covers in lattices of quasivarieties and independent axiomatizability