Structure of quasivariety lattices. II: Undecidable problems

DOI10.1007/S10469-019-09531-5zbMATH Open1444.08005OpenAlexW2962870656MaRDI QIDQ2011361FDOQ2011361

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

quasivarietymembership problemindependent basisquasi-identity\(Q\)-universalityundecidable theory

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011361)