Related papers: A Hofmann-Mislove theorem for $c$-well-filtered sp…

The Hofmann-Mislove theorem says that the ordered set of open filters of the open-set lattice of a sober topological space is isomorphic to the ordered set of compact saturated sets (ordered by reverse inclusion) of that space. This paper…

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.…

The open well-filtered spaces were introduced by Shen, Xi, Xu and Zhao to answer the problem whether every core-compact well-filtered space is sober. In the current paper we explore further properties of open well-filtered spaces. One of…

In this paper, we investigate the sobriety of weakly first-countable spaces and give some sufficient conditions that the Scott topologies of the open set lattices are sober. The main results are: (1) Let $P$ and $Q$ be two posets. If…

In this paper, we mainly discuss some basic properties of Scott power spaces. For a $T_0$ space $X$, let $\mathsf{K}(X)$ be the poset of all nonempty compact saturated subsets of $X$ endowed with the Smyth order. It is proved that the Scott…

Based on topological Rudin's Lemma, we investigate two new kinds of sets - Rudin sets and well-filtered determined sets in $T_0$ topological spaces. Using such sets, we formulate and prove some new characterizations for well-filtered spaces…

We first introduce and study two new classes of subsets in $T_0$ spaces - $\omega$-Rudin sets and $\omega$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed…

We prove that a $T_0$ topological space is $\omega$-well-filtered if and only if it does not admit either the natural numbers with the cofinite topology or with the Scott topology as its closed subsets in the strong topology. Based on this,…

Recently, Xu proposed a strongly well-filtered space in [24] and systematically investigated some of its properties and characterizations. In this paper, we introduce a new class of T0-spaces called S*-well-filtered spaces, which is…

We consider the intersection map on the family of non-empty $\omega$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction…

We prove that (1) for any complete lattice $L$, the set $\mathcal{D}(L)$ of all nonempty saturated compact subsets of the Scott space of $L$ is a complete Heyting algebra (with the reverse inclusion order); and (2) if the Scott space of a…

We first introduce and study two new classes of subsets in $T_0$ spaces - Rudin sets and $\wdd$ sets lying between the class of all closures of directed subsets and that of irreducible closed subsets. Using such subsets, we define three new…

We prove that smooth $C^\infty$ functions are dense in weighted fractional Sobolev spaces on an arbitrary open set, under some mild conditions on the weight. We also obtain a~similar result in non-weighted spaces defined by some kernel…

In our previous work, we introduced McKinsey-Tarski algebras (MT-algebras for short) as an alternative pointfree approach to topology. Here we study local compactness in MT-algebras. We establish the Hofmann-Mislove theorem for sober…

The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober.…

We prove that for every $T_0$ space $X$, there is a well-filtered space $W(X)$ and a continuous mapping $\eta_X: X\lra W(X)$ such that for any well-filtered space $Y$ and any continuous mapping $f: X\lra Y$ there is a unique continuous…

This paper presents a study of separation axioms and sobriety of bitopological spaces from the point of view of fuzzy topology via identifying bitopological spaces with topological spaces valued in the Boolean algebra of four elements. A…

In this paper, we mainly study the function spaces related to H-sober spaces. For an irreducible subset system H and $T_{0}$ spaces $X$ and $Y$, it is proved that $Y$ is H-sober iff the function space $\mathbb{C}(X, Y)$ of all continuous…

We show that the locally strongly sober spaces are exactly the coherent sober spaces that are weakly Hausdorff in the sense of Keimel and Lawson. This allows us to describe their Stone duals explicitly. As another application, we show that…

We investigate some versions of $d$-space, well-filtered space and Rudin space concerning various countability properties. The main results include: (i) if the sobrification of a $T_0$ space $X$ is first-countable, then $X$ is an…