scientific article; zbMATH DE number 1018728

MaRDI QIDQ4339470zbMATHFDO

Authors Katarzyna Hałkowska

Publication date 29 September 1997

zbMATH Keywords

word problemequational theorieslattice of subvarietiesfinitely generatedfinitely basedvarieties defined by \(P\)-compatible identities

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Lattices of varieties (08B15) Word problems (aspects of algebraic structures) (08A50)

Recommendations

• Equational theories of varieties defined by P-compatible identities of Boolean algebras
• scientific article; zbMATH DE number 1303455
• Equational bases for \(P\)-compatible identities
• Derived Varieties and Derived Equational Theories
• Complements in lattices of varieties and equational theories
• On the equational theories of semigroup varieties
• scientific article; zbMATH DE number 437426
• On the equational theory of representable polyadic equality algebras
• Equational theories for the varieties of metabelian and commutative rings
• On the decidability of equational theories of varieties of rings

Cited in

(18)

• scientific article; zbMATH DE number 742855 (Why is no real title available?)
• EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)
• Variadic equational matching in associative and commutative theories
• An algebraic proof that pseudovarieties are defined by pseudoidentities
• Complements in lattices of varieties and equational theories
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• scientific article; zbMATH DE number 845940 (Why is no real title available?)
• Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular
• The probability of triviality
• The varieties defined by \(P\)-compatible identities of modular ortholattices
• Equational theories of varieties defined by P-compatible identities of Boolean algebras
• A Characterization of P-Compatible Varieties
• scientific article; zbMATH DE number 1670489 (Why is no real title available?)
• scientific article; zbMATH DE number 3987348 (Why is no real title available?)
• Equational bases for \(P\)-compatible identities
• The equational theory of a nontrivial discriminator variety is co-NP-hard
• On \(P\)-compatible hybrid identities and hyperidentities
• scientific article; zbMATH DE number 1918673 (Why is no real title available?)

This page was built for publication:

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