论 dcpo 上 Scott 拓扑的 Sober 性
一般拓扑
2022-11-29 v1
摘要
本文主要研究两个偏序集的乘积上的 Scott 拓扑等于各自 Scott 拓扑的乘积的条件，以及 dcpo 上的 Scott 拓扑为 sober 的条件。文中给出了若干此类条件。
引用
@article{arxiv.2211.15027,
title = {On sobriety of Scott topology on dcpos},
author = {Xiaoquan Xu},
journal= {arXiv preprint arXiv:2211.15027},
year = {2022}
}
备注
20 pages, 3 figures