Direct decomposability of tolerances on lattices, semilattices and quasilattices
Direct limits of congruence systems
Direct limits of monounary algebras
Direct products of homomorphic mappings. I
Direct products of homomorphic mappings. II
Direct products of weak homomorphisms
Directable automata and their generalizations: A survey.
Directly decomposable congruences in varieties with nullary operations
Directly decomposable tolerances on direct products of lattices and semilattices
Discriminator order algebras
We prove that an order algebra assigned to a bounded poset with involution is a discriminator algebra.
Discriminator varieties of Boolean algebras with residuated operators
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r-algebras, all unital r-algebras with finitely many elements below the unit, and all commutative residuated...
Disjoint and complete unions of incidence structures
Some decompositions of general incidence structures with regard to distinguished components (modular or simple) are considered and several structure theorems for them are deduced.
Disjoint unions of incidence structures and complete lattices
Distinguishing subsets in general algebras
Distributive groupoids and preradicals. I.
Distributive groupoids and preradicals. II.
Distributive lattices with an additional unary operation.
Distributive lattices with an additional unary operation. (Short Communication).
Distributivity and modularity of lattices of quasiorders
Distributivity of lattices of binary relations
We present a formal scheme which whenever satisfied by relations of a given relational lattice containing only reflexive and transitive relations ensures distributivity of .