Strongly N-normal lattices

AbstractThe main purpose of this work is to characterize subvarieties of algebras with a distributive lattice reduct, by studying the partial order of their set of filters

Semi-Heyting Algebras and Identities of Associative Type

An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ (x → y) ≈ x ∧ y, x ∧ (y → z) ≈ x ∧ [(x ∧ y) → (x ∧ z)], and x → x ≈ 1. SH denotes the variety of semi-Heyting algebras. Semi-Heyting algebras were introduced by the second author as an abstraction from Heyting algebras. They share several important properties with Heyting algebras. An identity of associative type of length 3 is a groupoid identity, both sides of which contain the same three (distinct) variables that occur in any order and that are grouped in one of the two (obvious) ways. A subvariety of SH is of associative type of length 3 if it is defined by a single identity of associative type of length 3. In this paper we describe all the distinct subvarieties of the variety SH of asociative type of length 3. Our main result shows that there are 3 such subvarities of SH.Consejo Nacional de Investigaciones Cientificas y TecnicasUniversidad Nacional del Su

Congruences on lattices (with application to amalgamation)

Bibliography: pages 124-128.We present some aspects of congruences on lattices. An overview of general results on congruence distributive algebras is given in Chapter 1 and in Chapter 2 we examine weak projections; including Dilworth's characterization of congruences on lattices and a finite basis theorem for lattices. The outstanding problem of whether congruence lattices of lattices characterize distributive algebraic lattices is discussed in Chapter 3 and we look at some of the partial results known to date. The last chapter (Chapter 6) characterizes the amalgamation class of a variety B generated by a B-lattice, B, as the intersection of sub direct products of B, 2-congruence extendible members of B and 2-chain limited members of B. To this end we consider 2-congruence extendibility in Chapter 4 and n-chain limited lattices in Chapter 5. Included in Chapter 4 is the result that in certain lattice varieties the amalgamation class is contained in the class of 2-congruence extendible members of the variety. A final theorem in Chapter 6 states that the amalgamation class of a B-lattice variety is a Horn class