关于 k-有界 sober 空间中的一类新收敛类
计算机科学中的逻辑
2016-07-06 v1
摘要
最近，J. D. Lawson 鼓励域理论界在更广泛的 空间背景下发展域理论，而不是局限于偏序集。在本文中，我们响应这一号召，证明了 B. Zhao 和 D. Zhao 于 2005 年所得结果的一个拓扑平行结论，即对那些 lim-inf 收敛是拓扑收敛的偏序集进行序理论刻画。我们通过采用 D. Zhao 和 W. K. Ho 最近提出的方法，用不可约集取代有向子集来实现这一点。结果，我们在 空间上 формулировали一个称为 Irr-收敛的新收敛类，并确立了该收敛类 在 -有界 sober 空间 上是拓扑的，当且仅当 是 Irr-连续的。
引用
@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}
}
备注
10 pages, Domains XII Workshop