Structure of quasivariety lattices. II: Undecidable problems

DOI10.1007/s10469-019-09531-5zbMath1444.08005OpenAlexW2962870656MaRDI QIDQ2011361

Anvar M. Nurakunov, M. V. Schwidefsky, Aleksandr Vladimirovich Kravchenko

Publication date: 6 December 2019

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

Full work available at URL: https://doi.org/10.1007/s10469-019-09531-5

zbMATH Keywords

quasivarietyquasi-identityindependent basismembership problem\(Q\)-universalityundecidable theory

Mathematics Subject Classification ID

Lattices of varieties (08B15) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15)

Related Items (12)

Structure of quasivariety lattices. IV: Nonstandard quasivarieties ⋮ A relatively finite-to-finite universal but not Q-universal quasivariety ⋮ On the independent axiomatizability of quasivarieties of nilpotent groups ⋮ On sufficient conditions for \(Q\)-universality ⋮ On a class of subsemigroup lattices ⋮ Structure of quasivariety lattices. III: Finitely partitionable bases ⋮ On the complexity of the lattices of subvarieties and congruences ⋮ On the quasivarieties generated by a finite group and lacking any independent bases of quasi-identities ⋮ On representation of finite lattices ⋮ Independent axiomatizability of quasivarieties of torsion-free nilpotent groups ⋮ On the complexity of the lattices of subvarieties and congruences. II: Differential groupoids and unary algebras ⋮ Existence of independent quasi-equational bases

Cites Work

• Complexity of quasivariety lattices.
• Quasivarieties of unary algebras with a finite number of cycles
• Covers in lattices of quasivarieties and independent axiomatizability
• On quasi-equational bases for differential groupoids and unary algebras
• Quasivarieties of Cantor algebras.
• Finite-to-finite universal quasivarieties are \(Q\)-universal.
• The lattice of quasivarieties of undirected graphs.
• Quasivarieties of graphs
• Structure of quasivariety lattices. I: Independent axiomatizability
• Quasivariety lattices of pointed abelian groups.
• Lattices of subclasses. III
• Complexity of quasivariety lattices for varieties of unary algebras. II.
• UNREASONABLE LATTICES OF QUASIVARIETIES
• Projective Geometries as Projective Modular Lattices
• Complexity of quasivariety lattices for varieties of differential groupoids
• Universal Varieties Of (0, 1)-Lattices
• Q-Universal Quasivarieties of Algebras
• Quasivarieties of Graphs and Independent Axiomatizability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structure of quasivariety lattices. II: Undecidable problems