English
Related papers

Related papers: First countability, $\omega$-well-filtered spaces …

200 papers

The Hofmann-Mislove theorem states that in a sober space, the nonempty Scott open filters of its open set lattice correspond bijectively to its compacts saturated sets. In this paper, the concept of $c$-well-filtered spaces is introduced.…

General Topology · Mathematics 2023-06-22 Liping Zhang , Xiangnan Zhou , Qingguo Li

An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…

General Topology · Mathematics 2022-08-18 Anastasiya Groznova , Ol'ga Sipacheva

A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…

General Topology · Mathematics 2025-10-07 I. Juhász , J. van Mill , L. Soukup , Z. Szentmiklóssy

Given a property $P$ of subspaces of a $T_1$ space $X$, we say that $X$ is {\em $P$-bounded} iff every subspace of $X$ with property $P$ has compact closure in $X$. Here we study $P$-bounded spaces for the properties $P \in \{\omega D,…

General Topology · Mathematics 2014-07-01 István Juhász , Lajos Soukup , Zoltán Szentmiklóssy

M. Escard\'o et al. asked whether the core compactly generated topology of a sober space is again sober and the sobrification of a core compactly generated space again core compactly generated. In this note, we answer the problem by…

General Topology · Mathematics 2023-05-02 Qingguo Li , Hualin Miao

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…

General Topology · Mathematics 2026-01-19 Nana Han , Siheng Chen , Qingguo Li

If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…

General Topology · Mathematics 2016-08-30 Paolo Lipparini

This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out…

General Topology · Mathematics 2020-01-01 Fadoua Chigr , Frédéric Mynard

We define several notions of a limit point on sequences with domain a barrier in $[\omega]^{<\omega}$ focusing on the two dimensional case $[\omega]^2$. By exploring some natural candidates, we show that countable compactness has a number…

General Topology · Mathematics 2024-06-26 Cesar Corral , Pourya Memarpanahi , Paul Szeptycki

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…

General Topology · Mathematics 2016-04-12 Anthony Goreham

we prove that if $X$ is a locally compact $\sigma$-compact space then on its quotient, $\gamma(X)$ say, determined by the algebra of all real valued bounded continuous functions on $X$, the quotient topology and the completely regular…

General Topology · Mathematics 2008-11-21 Aldo J. Lazar

We give several topological/combinatorial conditions that, for a filter on $\omega$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a…

General Topology · Mathematics 2014-10-07 Kenneth Kunen , Andrea Medini , Lyubomyr Zdomskyy

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling by…

Logic in Computer Science · Computer Science 2016-07-06 Hadrian Andradi , Weng Kin Ho

Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…

General Topology · Mathematics 2007-05-23 Joan E. Hart , Kenneth Kunen

A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…

General Topology · Mathematics 2026-04-23 Fucai Lin , Jiamin He , Jiajia Yang , Chuan Liu

We show that if a separable space X has a meager open subset containing a copy of the Cantor set 2^\omega, then X has $\frak{c}$ types of countable dense subsets. We suggest a generalization of the \lambda-set for non-separable spaces. Let…

General Topology · Mathematics 2014-02-04 Sergey Medvedev

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

General Topology · Mathematics 2022-05-03 Hualin Miao , Xiaoyong Xi , Qingguo Li , Dongsheng Zhao

We prove that if $\mathcal{F}$ is a non-meager $P$-filter, then both $\mathcal{F}$ and ${}^\omega\mathcal{F}$ are countable dense homogeneous spaces.

General Topology · Mathematics 2018-09-19 Rodrigo Hernández-Gutiérrez , Michael Hrušák

We use topological consequences of PFA, MA$_{\omega_1}$(S)[S] and PFA(S)[S] proved by other authors to show that normal first countable linearly H-closed spaces with various additionals properties are compact in these models.

General Topology · Mathematics 2023-08-25 Mathieu Baillif

For a $T_0$ space $X$, let $\mk (X)$ be the poset of all compact saturated sets of $X$ with the reverse inclusion order. The space $X$ is said to have property Q if for any $K_1, K_2\in \mk (X)$, $K_2\ll K_1$ in $\mk (X)$ if{}f…

General Topology · Mathematics 2020-03-17 Xiaoquan Xu , Zhongqiang Yang