Hypervarieties of a given type

DOI10.1007/BF01190711zbMATH Open0715.08002MaRDI QIDQ751684FDOQ751684

Authors Ewa Graczyńska, Dietmar Schweigert

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)

Recommendations

• Hyperidentities and solid varieties
• scientific article; zbMATH DE number 4093536
• scientific article; zbMATH DE number 1744270
• Solid varieties of semigroups
• \(M\)-solid varieties of algebras

Cites work

• scientific article; zbMATH DE number 3853153 (Why is no real title available?)
• scientific article; zbMATH DE number 3751025 (Why is no real title available?)
• scientific article; zbMATH DE number 3592078 (Why is no real title available?)
• scientific article; zbMATH DE number 3601640 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 3218835 (Why is no real title available?)
• Hyperidentities and hypervarieties
• Hyperidentities of lattices and semilattices
• Independence and homomorphisms in abstract algebras
• On algebras and clones
• On equational classes of abstract algebras defined by regular equations
• On regular identities
• On varieties of clones
• On weak isomorphisms and weak homomorphisms of abstract algebras
• Proof of a theorem on distributive type hyperidentities
• The word problem for regular identities
• Varieties generated by semigroups of order four

Cited in

(20)

• Binary hyperidentities of lattices
• The partial clone of linear terms
• Hyperidentities and related concepts. II
• Solid varieties of semigroups
• An introduction to wonderful varieties with many examples of type
• Hypersatisfaction of quantifier free formulas in algebraic systems
• Hybrid terms and sentences
• \(k\)-ary monoids of term operations
• scientific article; zbMATH DE number 4093536 (Why is no real title available?)
• A high fibered power of a family of varieties of general type dominates a variety of general type
• scientific article; zbMATH DE number 4103153 (Why is no real title available?)
• Hyperidentities and solid varieties
• Hyper-pseudoformulas and \(M\)-solid ordered pseudovarieties
• Partial Menger algebras of terms
• On finite hyperidentity bases for varieties of semigroups
• All Reg-solid varieties of commutative semigroups.
• Hyperformulas and solid algebraic systems
• A basis for the type \(\langle n\rangle\) hyperidentities of the medial variety of semigroups
• On \(P\)-compatible hybrid identities and hyperidentities
• Hyperidentities and related concepts. I

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

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