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 .
Does imply axiom of choice?
Double lexicographic products
Double -ary relational structures
In [7], V. Novak and M. Novotny studied ternary relational structures by means of pairs of binary structures; they obtained the so-called double binary structures. In this paper, the idea is generalized to relational structures of any finite arity.
Double -algebras with Stone congruence lattices
DR-irreducibility of connected monounary algebras
DR-irreducibility of connected monounary algebras with a cycle
Dualisation dans les algèbres abstraites