Structure of quasivariety lattices. II: Undecidable problems
The paper provides sufficient conditions for a quasivariety \(\mathbf M\) to contain continuumly many subquasivarieties \(\mathbf K\) such that the membership problem for finitely presented structures in \(\mathbf M\) is undecidable in \(\mathbf K\), the finite membership problem is undecidable in \(\mathbf K\), the quasi-equational theory of \(\mathbf K\) is undecidable, and \(\mathbf K\) has an independent quasi-equational basis relative to \(\mathbf M\). Some applications are presented. For Part I see [the authors, Algebra Logic 57, No. 6, 445--462 (2019; Zbl 1439.08008); translation from Algebra Logika 57, No. 6, 684--710 (2018)].
- Complexity of quasivariety lattices for varieties of differential groupoids
- Complexity of quasivariety lattices for varieties of unary algebras. II.
- Complexity of quasivariety lattices.
- Covers in lattices of quasivarieties and independent axiomatizability
- Finite-to-finite universal quasivarieties are Q-universal.
- scientific article; zbMATH DE number 5713132 (Why is no real title available?)
- scientific article; zbMATH DE number 3920544 (Why is no real title available?)
- scientific article; zbMATH DE number 3598538 (Why is no real title available?)
- scientific article; zbMATH DE number 1099514 (Why is no real title available?)
- scientific article; zbMATH DE number 1936750 (Why is no real title available?)
- scientific article; zbMATH DE number 1534353 (Why is no real title available?)
- scientific article; zbMATH DE number 1746557 (Why is no real title available?)
- scientific article; zbMATH DE number 2167516 (Why is no real title available?)
- scientific article; zbMATH DE number 1852853 (Why is no real title available?)
- scientific article; zbMATH DE number 1390541 (Why is no real title available?)
- scientific article; zbMATH DE number 3353345 (Why is no real title available?)
- Lattices of subclasses. III
- On quasi-equational bases for differential groupoids and unary algebras
- Projective Geometries as Projective Modular Lattices
- Q-Universal Quasivarieties of Algebras
- Quasivarieties of Cantor algebras.
- Quasivarieties of graphs
- Quasivarieties of graphs and independent axiomatizability
- Quasivarieties of unary algebras with a finite number of cycles
- Quasivariety lattices of pointed abelian groups.
- Structure of quasivariety lattices. I: Independent axiomatizability
- The lattice of quasivarieties of undirected graphs.
- Universal Varieties Of (0, 1)-Lattices
- Unreasonable lattices of quasivarieties
- Undecidability of local structures of s-degrees and Q-degrees
- On representation of finite lattices
- Structure of quasivariety lattices. I: Independent axiomatizability
- A relatively finite-to-finite universal but not Q-universal quasivariety
- On sufficient conditions for \(Q\)-universality
- On a class of subsemigroup lattices
- 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
- On the independent axiomatizability of quasivarieties of nilpotent groups
- Unreasonable lattices of quasivarieties
- On the consistency problem for modular lattices and related structures
- On the complexity of the lattices of subvarieties and congruences
- The complexity of quasivariety lattices. II
- Profinite locally finite quasivarieties
- Existence of independent quasi-equational bases. II
- Decision problems for quasivarieties
- On the complexity of the lattices of subvarieties and congruences. II: Differential groupoids and unary algebras
- Existence of independent quasi-equational bases
- Structure of quasivariety lattices. IV: Nonstandard quasivarieties
- Complexity of quasivariety lattices.
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)
