Primitive positive clones which are endomorphism clones (Q1104958)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Primitive positive clones which are endomorphism clones
scientific article

    Statements

    Primitive positive clones which are endomorphism clones (English)
    0 references
    0 references
    1987
    0 references
    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.
    0 references
    0 references
    bicentrally closed clone
    0 references
    primitive positive formulas
    0 references
    primitive positive clone
    0 references
    0 references