Structure of quasivariety lattices. I: Independent axiomatizability
A quasivariety \(K\) has an \(\omega \)-independent quasi-equational basis in a quasivariety \(M\) if there are a basis \(\Phi \) of \(K\) in \(M\) and a partition \(\Phi =\cup_ {n<\omega} \Phi_n\) such that for every \(i\) \(\Phi\setminus\Phi_i\) is not a basis of \(K\) in \(M\). A quasivariety \(K\) is a \(Q\)-universal if its lattice of subquasivarieties has, as a homomorphic image of a sublattice, the lattice of subquasivarieties of any quasivariety of algebras of finite type. The authors find a sufficient condition for a quasivariety \(K\) to have continuum many subquasivarieties that have no independent quasi-equational bases in \(K\) but have \(\omega\)-independent quasi-equational bases in \(K\). This condition also implies that \(K\) is \(Q\)-universal.
- Complexity of quasivariety lattices.
- Congruence Relations in Direct Products
- Covers in lattices of quasivarieties and independent axiomatizability
- Filters in lattices of quasivarieties of algebraic systems
- Finite-to-finite universal quasivarieties are Q-universal.
- scientific article; zbMATH DE number 1534353 (Why is no real title available?)
- scientific article; zbMATH DE number 1390541 (Why is no real title available?)
- scientific article; zbMATH DE number 3332449 (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 quasivarieties of unars
- ON FILTERS IN THE LATTICE OF QUASIVARIETIES OF GROUPS
- On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices
- On representation of finite lattices
- On the complexity of quasivariety lattices
- Q-Universal Quasivarieties of Algebras
- Quasivarieties of graphs
- Quasivarieties of groups having no coverings
- Quasivariety lattices of pointed abelian groups.
- Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. II
- The lattice of quasivarieties of semigroups
- Universally axiomatizable subclasses of locally finite classes of models
- Unreasonable lattices of quasivarieties
- Finite lattices having no independent basis of quasiidentities
- On quasi-equational bases for differential groupoids and unary algebras
- On the independent axiomatizability of quasivarieties of universal algebras
- Structure of quasivariety lattices. II: Undecidable problems
- 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 -independent bases for quasi-identities
- On the independent axiomatizability of quasivarieties of nilpotent groups
- Independent axiom systems for nearlattices
- Q-Universal Quasivarieties of Algebras
- scientific article; zbMATH DE number 1150391 (Why is no real title available?)
- On the complexity of the lattices of subvarieties and congruences
- Quasivarieties of graphs and independent axiomatizability
- How many variables does a quasivariety need?
- 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
This page was built for publication: Structure of quasivariety lattices. I: Independent axiomatizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011341)
