scientific article; zbMATH DE number 1018728

zbMATH Open0871.08006MaRDI QIDQ4339470FDOQ4339470

Authors: Katarzyna Hałkowska 

Publication date: 29 September 1997

Title of this publication is not available (Why is that?)

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
• 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

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)

Cited In (18)

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

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)