The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets. (Q272851)

The authors introduce a common generalization of \(s_1\)-continuous posets and of quasicontinuous domains, motivated by the desire to extend the applicability of techniques of domain theory to more general posets. Quoting from the abstract: ``the main results are: 1) A poset is an \(s_1\)-quasicontinuous poset iff the \(\sigma_1\)-topology is a hypercontinuous lattice iff the \(\mathcal S ^*\)-convergence is topological with respect to the \(\sigma_1\)-topology; 2) A poset is \(s_1\)-continuous iff it is meet \(s_1\)-continuous and \(s_1\)-quasicontinuous; 3) The \(\lambda_1\)-topology on an \(s_1\)-quasicontinuous poset is Tychonoff; 4) A poset \(P\) is \(s_1\)-quasicontinuous and the \(\sigma_1\)-topology is sober iff \(P\) is a quasicontinuous domain and the \(\sigma_1\)-topology coincides with the Scott topology''. Thus the new concepts introduced form a tight fit with existing notions. The article is short and self-contained, concise and highly readable.