On the structure of varieties with equationally definable principal congruences. IV (Q1315322)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the structure of varieties with equationally definable principal congruences. IV
scientific article

    Statements

    On the structure of varieties with equationally definable principal congruences. IV (English)
    0 references
    0 references
    0 references
    0 references
    27 July 1995
    0 references
    This is the fourth part of a series of papers dealing with the structure of varieties with equationally definable principal congruences (EDPC) and the connection with algebraic logic [see also the preceding review of Part III]. The fixed-point ternary discriminator function, the ternary (commutative and regular) deductive terms (TD) were investigated in the third paper. In this paper, the authors investigate a certain assertional logic that is inherent in every variety with a commutative, regular TD term. The notion of (pseudo-interior operation and) pseudo-interior algebra is introduced in Definitions 2.1 and 2.6, and the elementary parts of its arithmetic are developed. The authors also investigate the notion of open filter (Definition 2.13), and Theorem 2.16 establishes the fundamental relationship between open filters and congruences on a pseudo-interior algebra with compatible operations. Theorem 3.1 gives an equational characterization of pseudo-interior algebras. The main result of the paper is Theorem 4.1 stating that (roughly speaking) the class of compact homomorphic images of an algebra has a commutative, regular TD term iff the algebra itself is termwise definitionally equivalent to a pseudo- interior algebra with compatible operations. The last section contains some open problems.
    0 references
    0 references
    ternary deductive term
    0 references
    structure of varieties
    0 references
    equationally definable principal congruences
    0 references
    algebraic logic
    0 references
    assertional logic
    0 references
    pseudo- interior algebra
    0 references
    open filter
    0 references
    congruences
    0 references
    compact homomorphic images
    0 references
    0 references