Complexity of quasivariety lattices.

DOI10.1007/s10469-015-9344-7zbMath1339.08005OpenAlexW2258343406MaRDI QIDQ903184

M. V. Schwidefsky

Publication date: 5 January 2016

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

Full work available at URL: https://doi.org/10.1007/s10469-015-9344-7

zbMATH Keywords

undecidabilityquasivarietiesQ-universalityquasivariety latticesBirkhoff-Mal'tsev problemcomputable sets

Mathematics Subject Classification ID

Lattices of varieties (08B15) Undecidability and degrees of sets of sentences (03D35) Representation theory of lattices (06B15) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)

Related Items (10)

Lattices of subclasses. III ⋮ On sufficient conditions for \(Q\)-universality ⋮ On a class of subsemigroup lattices ⋮ Quasivarieties of Graphs and Independent Axiomatizability ⋮ On the complexity of the lattices of subvarieties and congruences ⋮ On quasi-equational bases for differential groupoids and unary algebras ⋮ Structure of quasivariety lattices. I: Independent axiomatizability ⋮ Structure of quasivariety lattices. II: Undecidable problems ⋮ On the complexity of the lattices of subvarieties and congruences. II: Differential groupoids and unary algebras ⋮ Existence of independent quasi-equational bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation
• Homomorphisms of unary algebras with a given quotient
• Minimal quasivarieties of differential groupoids with nonzero multiplication.
• Lattices of quasivarieties of unars
• On subquasivariety lattices of some varieties related with distributive p-algebras
• The lattice of quasivarieties of semigroups
• On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices
• Universal expansion of semigroup varieties by regular involution
• Lattices of quasivarieties of 3-element algebras
• Quasivarities of distributive lattices with a quantifier
• Quasivarieties of Cantor algebras.
• Finite-to-finite universal quasivarieties are \(Q\)-universal.
• The lattice of quasivarieties of undirected graphs.
• \(Q\)-universal varieties of bounded lattices.
• Joins of minimal quasivarieties
• Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. II
• Quasivarieties of graphs
• Lattices of subclasses
• Quasivariety lattices of pointed abelian groups.
• On full embeddings of categories of algebras
• UNREASONABLE LATTICES OF QUASIVARIETIES
• Complexity of quasivariety lattices for varieties of differential groupoids. II
• Complexity of quasivariety lattices for varieties of differential groupoids
• Universal Varieties Of (0, 1)-Lattices
• Q-Universal Quasivarieties of Algebras
• QUASIVARIETIES OF IDEMPOTENT SEMIGROUPS
• Lattices of subclasses. II

This page was built for publication: Complexity of quasivariety lattices.