A note on tolerance lattices
-continuous posets are common generalizations of continuous posets, completely distributive lattices, and unique factorization posets. Though the algebraic properties of -continuous posets had been studied by several authors, the topological properties are rather unknown. In this short note an intrinsic topology on a -continuous poset is defined and its properties are explored.
All ordinal numbers with the following property are found: there exists a loop such that its subloops form a chain of ordinal type .
This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices.
Let R be an associative ring with 1 and R-tors the somplete Brouwerian lattice of all hereditary torsion theories on the category of left R-modules. A well known result asserts that R is a left semiartinian ring iff R-tors is a complete atomic Boolean lattice. In this note we prove that if L is a complete atomic Boolean lattice then there exists a left semiartinian ring R such that L is lattice-isomorphic to R-tors.
In this paper, the α waybelow relation, which is determined by O2-convergence, is characterized by the order on a poset, and a sufficient and necessary condition for O2-convergence to be topological is obtained.
In this paper we survey results and open problems on the structure of additive and hereditary properties of graphs. The important role of vertex partition problems, in particular the existence of uniquely partitionable graphs and reducible properties of graphs in this structure is emphasized. Many related topics, including questions on the complexity of related problems, are investigated.