Primitive positive clones which are endomorphism clones

DOI10.1007/BF01188382MaRDI QIDQ1104958zbMATH OpenFDO

Authors Stanley N. Burris

Publication date 1987

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01188382

zbMATH Keywords

bicentrally closed cloneprimitive positive cloneprimitive positive formulas

Mathematics Subject Classification ID

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

Review text

A first-order formula is primitive positive if it is of the form \(\exists \wedge atomic\). Given a first-order structure A the set of predicates on A defined by primitive positive formulas is called the primitive positive clone of A. The author shows that in some important cases the primitive positiy integral calculus textbook; several variables. See the review of the first edition (1974) in this Zbl 0298.26001.

Recommendations

• Generating primitive positive clones
• Positive primitive structures
• Finitely Many Primitive Positive Clones
• Primitive-positive maximal clones
• On algebras with primitive positive clones

Cites work

• Finitely Many Primitive Positive Clones
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)

Cited in

(5)

• Universal algebras
• On algebras with primitive positive clones
• Finitely Many Primitive Positive Clones
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Tests for injectivity in finitely generated universal Horn classes

This page was built for publication: Primitive positive clones which are endomorphism clones

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