English

On A New Convergence Class in Sup-sober Spaces

Logic in Computer Science 2017-09-12 v1

Abstract

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of T0T_0-spaces instead of restricting to posets. In this paper, we respond to this calling by proving a topological parallel of a 2005 result due to B. Zhao and D. Zhao, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence is topological. We do this by adopting a recent approach due to D. Zhao and W. K. Ho by replacing directed subsets with irreducible sets. As a result, we formulate a new convergence class I\mathcal{I} in T0T_0-spaces called Irr{\operatorname{Irr}}-convergence and establish that a sup-sober space XX is SI{\operatorname{SI}}^{-}-continuous if and only if it satisfies *-property and the convergence class I\mathcal{I} in it is topological.

Keywords

Cite

@article{arxiv.1709.03269,
  title  = {On A New Convergence Class in Sup-sober Spaces},
  author = {Hadrian Andradi and Weng Kin Ho},
  journal= {arXiv preprint arXiv:1709.03269},
  year   = {2017}
}

Comments

13 pages, Domains XII Workshop

R2 v1 2026-06-22T21:38:44.625Z