An algebraic theory of clones

DOI10.1007/S00012-022-00770-9MaRDI QIDQ2120441zbMATH OpenOpenAlexFDO

Authors Antonio Bucciarelli, Antonino Salibra

Publication date 31 March 2022

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-022-00770-9

zbMATH Keywords

representation theoremcloneslattices of equational theoriesclone algebras\(\omega\)-clonesfunctional clone algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Operations and polynomials in algebraic structures, primal algebras (08A40) Lattices of varieties (08B15)

Recommendations

• scientific article; zbMATH DE number 4123792
• scientific article; zbMATH DE number 432742
• scientific article; zbMATH DE number 2172169
• scientific article; zbMATH DE number 2209903
• A short introduction to clones.

Cites work

• scientific article; zbMATH DE number 432742 (Why is no real title available?)
• scientific article; zbMATH DE number 3827946 (Why is no real title available?)
• scientific article; zbMATH DE number 3972929 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3762123 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3095825 (Why is no real title available?)
• A Set of Independent Axioms for Boolean Algebra
• A field guide to equational logic
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Boolean product representations of algebras via binary polynomials
• Boolean-like algebras
• Equational theories as congruences of enriched monoids
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• From λ-Calculus to Universal Algebra and Back
• Function Algebras on Finite Sets
• Joins and Direct Products of Equational Classes
• Lattices of equational theories are congruence lattices of monoids with one additional unary operation
• Representing varieties of algebras by algebras
• Varieties in which the Pierce stalks are directly indecomposable

Cited in

(19)

• scientific article; zbMATH DE number 2113457 (Why is no real title available?)
• A short introduction to clones.
• Dualizing clones as models of Lawvere theories.
• The partial clone of completely expanded terms
• scientific article; zbMATH DE number 4000007 (Why is no real title available?)
• On algebraic properties of monotone clones
• Representations of Menger hypercompositional algebras by some types of commutative hyperoperations
• scientific article; zbMATH DE number 432742 (Why is no real title available?)
• scientific article; zbMATH DE number 3972929 (Why is no real title available?)
• Exploring new topologies for the theory of clones
• Galois theory for clones and superclones
• Algebraic-algorithmic means for designing knowledge of object domains
• On the structure and representation of clones
• scientific article; zbMATH DE number 4123792 (Why is no real title available?)
• ON DUALIZING CLONES AS LAWVERE THEORIES
• scientific article; zbMATH DE number 2209903 (Why is no real title available?)
• Embedding and representation theorems for clones and varieties
• scientific article; zbMATH DE number 4075148 (Why is no real title available?)
• scientific article; zbMATH DE number 4132230 (Why is no real title available?)

This page was built for publication: An algebraic theory of clones

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