Finitely Many Primitive Positive Clones

DOI10.2307/2046382zbMath0656.08002OpenAlexW4252198743MaRDI QIDQ3803180

No author found.

Publication date: 1987

Full work available at URL: https://doi.org/10.2307/2046382

zbMATH Keywords

congruenceuniversal Horn classesprimitive positive clonemodel companions

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05)

Related Items (20)

Closure operators with positive connectives and quantifiers ⋮ Dualizing clones as models of Lawvere theories. ⋮ A short introduction to clones. ⋮ Incidence structures and Stone-Priestley duality ⋮ Primitive positive clones which are endomorphism clones ⋮ All centralising monoids with majority witnesses on a four-element set ⋮ On the shape of solution sets of systems of (functional) equations ⋮ Unnamed Item ⋮ On the enumeration closure operator in multivalued logic ⋮ Computing witnesses for centralising monoids on a three-element set ⋮ Commuting polynomial operations of distributive lattices ⋮ Universal algebras ⋮ On Boolean primitive positive clones ⋮ The cardinality of parametric bases in chain logics ⋮ On solvability of systems of polynomial equations ⋮ Solution sets of systems of equations over finite lattices and semilattices ⋮ Congruence lattices of powers of an algebra ⋮ Extensions of the Positive Closure Operator by Using Logical Connectives ⋮ Unnamed Item ⋮ Implicit expressibility in multiple-valued logic

Cites Work

• Closed systems of functions and predicates
• A preservation theorem for ec-structures with applications
• Die Funktionale Vollständigkeit von Funktionenklassen über Einer Familie Endlicher Mengen
• Sheaf Constructions and Their Elementary Properties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finitely Many Primitive Positive Clones