Related papers: Order and interval topologies on complete Boolean …

We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…

The class of LOTS (linearly ordered topological spaces, i.e. spaces equipped with a topology generated by a linear order) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such…

Different notions for order convergence have been considered by various authors. Associated to every notion of order convergence corresponds a topology, defined by taking as the closed sets those subsets of the poset satisfying that no net…

For a von Neumann algebra $\mathcal M$ we study the order topology associated with the hermitian part $\mathcal M_*^s$ and to intervals of the predual $\mathcal M_*$. It is shown that the order topology on $\mathcal M_*^s$ coincides with…

We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the…

Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…

Let $(P,\leq)$ be a partially ordered set and let $\tau$ be a compact topology on $P$ that is finer than the interval topology. Then $\tau$ is contained in the order (convergence) topology on $(P,\tau)$. So any Priestley topology is…

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…

A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or…

We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we…

For a given set of intervals on the real line, we consider the problem of ordering the intervals with the goal of minimizing an objective function that depends on the exposed interval pieces (that is, the pieces that are not covered by…

In this note, we show that the order convergence in a vector lattice $X$ is not topological unless $\dim X<\infty$. Furthermore, we show that, in atomic order continuous Banach lattices, the order convergence is topological on order…

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size…

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

As an inverse problem, we recover the topology of the effective spacetime that a system lies in, in an operational way. This means that from a series of experiments we get a set of points corresponding to events. This continues the previous…

Let E be a locally solid vector lattice. In this paper, we consider two particular vector subspaces of the space of all order bounded operators on E. With the aid of two appropriate topologies, we show that under some conditions, they…

We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of…

For the algebraic convergence $\lambda_{\mathrm{s}}$, which generates the well known sequential topology $\tau_s$ on a complete Boolean algebra ${\mathbb B}$, we have $\lambda_{\mathrm{s}}=\lambda_{\mathrm{ls}}\cap \lambda_{\mathrm{li}}$,…

A vector sublattice of the order bounded operators on a Dedekind complete vector lattice can be supplied with the convergence structures of order convergence, strong order convergence, unbounded order convergence, strong unbounded order…