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
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
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