\(s_{Z}\)-quasicontinuous posets and meet \(s_{Z}\)-continuous posets (Q2405082)

As a common generalization of \(s_2\)-quasicontinuous posets and quasi \(Z\)-continuous domains, the authors introduced the concept of \(s_Z\)-quasicontinuous posets and investigated some of their basic properties. Firstly, they proved that if a subset system \(Z\) satisfies certain conditions, and \(P\) is an \(s_z\)-quasicontinuous poset, then the \(Z\)-way below relation \(\ll_Z\) on \(P\) has the interpolation property. Then they showed that the space \((P,\sigma_Z(P))\) is locally compact and the space \((P,\lambda_Z(P))\) is a pospace. Finally, they proved that under some conditions, a poset is \(s_Z\)-continuous if and only if it is meet \(s_Z\)-continuous and \(s_Z\)-quasicontinuous. These results are interesting and extend the framework of domain theory.