paperbot · PL 论文追踪

全部论文 待读 收藏

P2 On open well-filtered spaces

论开放良滤空间
LMCS vol.Volume 16, Issue 42020匹配度 1/10 · 该论文属于 domain theory/拓扑学中的形式语义研究，讨论开放良滤空间与 sober 性，与用户关注的 PL+AI、静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接关联。虽然标签为形式语义，但未涉及 LLM 或程序分析工具，因此匹配度很低。引用 5 inbox
Chong Shen, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao
形式语义
dblp: 2026-09-10crossref: 2026-09-10arxiv: 2026-09-10

AI 速览

一句话：引入开放良滤空间，证明核紧开放良滤空间是sober的，从而解决Jia-Jung公开问题。

本文研究 T0 空间中的 well-filtered 性与 sober 性之间关系，特别是 Jia 和 Jung 提出的公开问题：每个 core-compact well-filtered 空间是否都是 sober 的。作者引入了一类新的 T0 空间——开放良滤空间，并证明每个 well-filtered 空间都是开放良滤空间；进一步证明每个 core-compact 的开放良滤空间都是 sober 的。由此立即推出每个 core-compact well-filtered 空间都是 sober 的，为原公开问题提供了一个不同且相对直接的解决方法。

问题
回答 Jia 和 Jung 提出的公开问题：每个 core-compact well-filtered 空间是否都是 sober 的。
方法
引入并研究开放良滤空间，建立其与 well-filtered 空间及 core-compact 空间之间的关系，并通过拓扑学证明导出结论。
评估
以数学定理证明和推论的严格论证作为评估，不涉及实验、工具实现或经验数据。
原文摘要（Abstract）

We introduce and study a new class of $T_0$ spaces, called open well-filtered spaces. The main results we proved include (1) every well-filtered space is an open well-filtered space; (2) every core-compact open well-filtered space is sober. As an immediate corollary, we deduce that every core-compact well-filtered space is sober. This provides another different and relatively more straight forward method to answer the open problem posed by Jia and Jung: Is every core-compact well-filtered space sober?

链接与引用

DOI 原文 · arXiv · PDF（开放获取） · DBLP

BibTeX 
@article{ShenXXZ20,
  title = {On open well-filtered spaces},
  author = {Chong Shen and Xiaoyong Xi and Xiaoquan Xu and Dongsheng Zhao},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 16, Issue 4},
  year = {2020},
  doi = {10.23638/lmcs-16(4:18)2020}
}