Page 1 Next

Displaying 1 – 20 of 33

Showing per page

Lattice effect algebras densely embeddable into complete ones

Zdena Riečanová (2011)

Kybernetika

An effect algebraic partial binary operation ø p l u s defined on the underlying set E uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion E ^ of E there exists an effect algebraic partial binary operation ^ then ^ need not be an extension of . Moreover, for an Archimedean atomic lattice effect algebra E we give a necessary and sufficient condition for that ^ existing on E ^ is an extension of defined on E . Further we show that such ^ extending exists at most...

Lattice-inadmissible incidence structures

Frantisek Machala, Vladimír Slezák (2004)

Discussiones Mathematicae - General Algebra and Applications

Join-independent and meet-independent sets in complete lattices were defined in [6]. According to [6], to each complete lattice (L,≤) and a cardinal number p one can assign (in a unique way) an incidence structure J L p of independent sets of (L,≤). In this paper some lattice-inadmissible incidence structures are founded, i.e. such incidence structures that are not isomorphic to any incidence structure J L p .

Lattices and semilattices having an antitone involution in every upper interval

Ivan Chajda (2003)

Commentationes Mathematicae Universitatis Carolinae

We study -semilattices and lattices with the greatest element 1 where every interval [p,1] is a lattice with an antitone involution. We characterize these semilattices by means of an induced binary operation, the so called sectionally antitone involution. This characterization is done by means of identities, thus the classes of these semilattices or lattices form varieties. The congruence properties of these varieties are investigated.

Lattices of Scott-closed sets

Weng Kin Ho, Dong Sheng Zhao (2009)

Commentationes Mathematicae Universitatis Carolinae

A dcpo P is continuous if and only if the lattice C ( P ) of all Scott-closed subsets of P is completely distributive. However, in the case where P is a non-continuous dcpo, little is known about the order structure of C ( P ) . In this paper, we study the order-theoretic properties of C ( P ) for general dcpo’s P . The main results are: (i) every C ( P ) is C-continuous; (ii) a complete lattice L is isomorphic to C ( P ) for a complete semilattice P if and only if L is weak-stably C-algebraic; (iii) for any two complete semilattices...

Currently displaying 1 – 20 of 33

Page 1 Next