Hypervarieties of a given type

DOI10.1007/BF01190711zbMath0715.08002MaRDI QIDQ751684

Dietmar Schweigert, Ewa Graczyńska

Publication date: 1990

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

completeness theoremhyperidentitieshypervarietiessolid varieties

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational compactness (08A45)

Related Items (14)

On \(P\)-compatible hybrid identities and hyperidentities ⋮ On finite hyperidentity bases for varieties of semigroups ⋮ A basis for the type \(\langle n\rangle\) hyperidentities of the medial variety of semigroups ⋮ The partial clone of linear terms ⋮ \(k\)-ary monoids of term operations ⋮ Binary hyperidentities of lattices ⋮ Hyperformulas and solid algebraic systems ⋮ All Reg-solid varieties of commutative semigroups. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hyper-pseudoformulas and M-solid ordered pseudovarieties ⋮ Partial Menger algebras of terms ⋮ Hybrid terms and sentences ⋮ Solid varieties of semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On regular identities
• On varieties of clones
• Varieties generated by semigroups of order four
• Hyperidentities of lattices and semilattices
• Hyperidentities and hypervarieties
• On algebras and clones
• The word problem for regular identities
• Proof of a theorem on distributive type hyperidentities
• Independence and homomorphisms in abstract algebras
• On equational classes of abstract algebras defined by regular equations
• On weak isomorphisms and weak homomorphisms of abstract algebras

This page was built for publication: Hypervarieties of a given type