ORDERED ONEPOINT-COMPACTIFICATIONS, STABLY CONTINUOUS FRAMES AND TENSORS (Q3836233)

The authors investigate the structure of semilattices \(K_0(X)\) of all ordered compactifications of ordered topological space \(X\) with a one-point Nachbin-compactification. These semilattices and their isomorphic copies are called \(OC_1\)-semilattices. They give an abstract characterization of all \(OC_1\)-lattices by means of certain generalized stably continuous frames. The paper has the following parts: ordered compactifications and lattices of closed quasiorders; \(G\)-ideals and tensors; semilattices of ordered one-point compactifications. Main results: 1. A finite ordered set is an \(OC_1\)-semilattice iff it is dually isomorphic to a \(G\)-ideal in the product of two finite distributive lattices. 2. The \(OC_1\)-lattices are exactly the semistably continuous distributive lattices, and consequently, the finite \(OC_1\)-lattices are just the finite distributive lattices. 3. Every tight \(C^{op}\)-tensor is dually isomorphic to an \(OC_1\)-semilattice. 4. A finitely maximized ordered set is a dual \(OC_1\)-semilattice iff it is a \(C^{op}\)-tensor, and consequently, a finite ordered set is a dual \(OC_1\)-semilattice iff it is a distributive tensor.