Existence of independent quasi-equational bases
The paper belongs to a series of papers of the author and her collaborators concerning independent quasi-equational bases for quasivarieties of algebraic structures, and the related problem of complexity of lattices of quasivarieties. Let \(\mathbf{K} \subseteq \mathbf{M}\) be classes of algebraic structures of the same similarity type \(\sigma\). As defined by the author, the class \(\mathbf{K}\) has an \emph{independent quasi-equational basis relative to} \(\mathbf{M}\), if \(\mathbf{K} = \mathbf{M} \cap \mathrm{Mod}(\Phi)\) for a set \(\Phi\) of quasi-identities and \(\mathbf{K} \neq \mathbf{M} \cap \mathrm{Mod}(\Phi \setminus \{\varphi\})\) for each \(\varphi \in \Phi\). A quasivariety \(\mathbf{K}\) has an \emph{independent quasi-equational basis} if \(\mathbf{K}\) has an independent quasi-equational basis relative to the class of all structures of type \(\sigma\). A sufficient condition is given for a quasivariety \(\mathbf{K}\) which ensures that \(\mathbf{K}\) contains continuum many subquasivarieties with no independent quasi-equational basis relative to \(\mathbf{K}\). This result is a weaker version of an earlier result given by A. V. Kravchenko, A. M. Nurakunov and the author. Some interesting consequences and applications of the author's result are provided. In particular, the condition holds for any so-called almost \(\mathit{f \, f}\)-universal quasivariety \(\mathbf{K}\). Also some further open problems are formulated.
- Structure of quasivariety lattices. I: Independent axiomatizability
- Finite lattices having no independent basis of quasiidentities
- On -independent bases for quasi-identities
- On the independent axiomatizability of quasivarieties of universal algebras
- Structure of quasivariety lattices. III: Finitely partitionable bases
- Almost \textit{ff}-universality implies \(Q\)-universality
- Almost ff-universal and q-universal varieties of modular 0-lattices
- Complexity of quasivariety lattices.
- Covers in lattices of quasivarieties and independent axiomatizability
- Finitely generated almost universal varieties of 0-lattices.
- scientific article; zbMATH DE number 3650785 (Why is no real title available?)
- scientific article; zbMATH DE number 5713132 (Why is no real title available?)
- scientific article; zbMATH DE number 4095536 (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?)
- scientific article; zbMATH DE number 3095825 (Why is no real title available?)
- Lattices of subclasses. II
- Lattices of subclasses. III
- On almost universal varieties of modular lattices
- On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices
- On quasi-equational bases for differential groupoids and unary algebras
- On synchronized relatively full embeddings and \({\mathcal Q}\)-universality
- Q-Universal Quasivarieties of Algebras
- Quasivarieties of unary algebras with a finite number of cycles
- Structure of quasivariety lattices. I: Independent axiomatizability
- Structure of quasivariety lattices. II: Undecidable problems
- Topologische Reflexionen und Coreflexionen
- Universality of Small Lattice Varieties
- Universally axiomatizable subclasses of locally finite classes of models
- Weak alg-universality and Q-universality of semigroup quasivarieties.
- Finite lattices having no independent basis of quasiidentities
- On quasi-equational bases for differential groupoids and unary algebras
- Independent axiomatizability of quasi-varieties of soluble groups
- On the independent axiomatizability of quasivarieties of universal algebras
- 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 -independent bases for quasi-identities
- On the independent axiomatizability of quasivarieties of nilpotent groups
- Existence of finite bases for quasi-equations of unary algebras with 0
- Quasivarieties of graphs and independent axiomatizability
- Primitive positive formulas preventing a finite basis of quasi-equations
- The complexity of quasivariety lattices. II
- Existence of independent quasi-equational bases. II
- Decision problems for quasivarieties
- Structure of quasivariety lattices. IV: Nonstandard quasivarieties
This page was built for publication: Existence of independent quasi-equational bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784469)
