Logical Methods in Computer Science (Dec 2020)

On open well-filtered spaces

  • Chong Shen,
  • Xiaoyong Xi,
  • Xiaoquan Xu,
  • Dongsheng Zhao

DOI
https://doi.org/10.23638/LMCS-16(4:18)2020
Journal volume & issue
Vol. Volume 16, Issue 4

Abstract

Read online

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?

Keywords