1,367 research outputs found
Rough sets applied in sublattices and ideals of lattices
The purpose of this paper is the study of rough hyperlattice. In this regards we introduce rough sublattice and rough ideals of lattices. We will proceed by obtaining lower and upper approximations in these lattices
Stone-type representations and dualities for varieties of bisemilattices
In this article we will focus our attention on the variety of distributive
bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and
involutive bisemilattices. After extending Balbes' representation theorem to
bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn
duality and introduce the categories of 2spaces and 2spaces. The
categories of 2spaces and 2spaces will play with respect to the
categories of distributive bisemilattices and De Morgan bisemilattices,
respectively, a role analogous to the category of Stone spaces with respect to
the category of Boolean algebras. Actually, the aim of this work is to show
that these categories are, in fact, dually equivalent
Infinite combinatorial issues raised by lifting problems in universal algebra
The critical point between varieties A and B of algebras is defined as the
least cardinality of the semilattice of compact congruences of a member of A
but of no member of B, if it exists. The study of critical points gives rise to
a whole array of problems, often involving lifting problems of either diagrams
or objects, with respect to functors. These, in turn, involve problems that
belong to infinite combinatorics. We survey some of the combinatorial problems
and results thus encountered. The corresponding problematic is articulated
around the notion of a k-ladder (for proving that a critical point is large),
large free set theorems and the classical notation (k,r,l){\to}m (for proving
that a critical point is small). In the middle, we find l-lifters of posets and
the relation (k, < l){\to}P, for infinite cardinals k and l and a poset P.Comment: 22 pages. Order, to appea
- …