English

On a new convergence class in k-bounded sober spaces

Logic in Computer Science 2016-07-06 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 lim-inf 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 on T0T_0 spaces called Irr-convergence and established that this convergence class I\mathcal{I} on a kk-bounded sober space XX is topological if and only if XX is Irr-continuous.

Cite

@article{arxiv.1607.01146,
  title  = {On a new convergence class in k-bounded sober spaces},
  author = {Hadrian Andradi and Weng Kin Ho},
  journal= {arXiv preprint arXiv:1607.01146},
  year   = {2016}
}

Comments

10 pages, Domains XII Workshop

R2 v1 2026-06-22T14:43:11.497Z