In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number $\alpha \le 2^{}$, a topological group G such that $G^{\gamma }$ is countably compact for all cardinals γ < α, but $G^{\alpha }$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $M{A}_{countable}$. Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from $M{A}_{countable}$. However, the question has remained...

We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.

We define combinatorial structures which we refer to as flat morasses, and use them to construct a Lindelöf space with points $G_{\delta }$ of cardinality ${\aleph }_{\omega }$, consistent with GCH. The construction reveals, it is hoped, that flat morasses are a tool worth adding to the kit of any user of set theory.

We get the following result. A topological space is strongly paracompact if and only if for any monotone increasing open cover of it there exists a star-finite open refinement. We positively answer a question of the strongly paracompact property.

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are shown to be equivalent to a covering property in the sense considered here (Corollary 3.10). Conversely, every covering property is equivalent to the existence of appropriate kinds of accumulation points for arbitrary sequences on some fixed index set (Corollary 3.5)....

We study some generalized metric properties on the hyperspace $ℱ\left(X\right)$ of finite subsets of a space $X$ endowed with the Vietoris topology. We prove that $X$ has a point-star network consisting of (countable) $wcs$-covers if and only if so does $ℱ\left(X\right)$. Moreover, $X$ has a sequence of $wcs$-covers with property $\left(P\right)$ which is a point-star network if and only if so does $ℱ\left(X\right)$, where $\left(P\right)$ is one of the following properties: point-finite, point-countable, compact-finite, compact-countable, locally finite, locally countable. On the other...

In this paper, we generalize Vaughan's and Bonanzinga's results on absolute countable compactness of product spaces and give an example of a separable, countably compact, topological group which is not absolutely countably compact. The example answers questions of Matveev [8, Question 1] and Vaughan [9, Question (1)].

A space X is absolutely strongly star-Hurewicz if for each sequence (Un :n ∈ℕ/ of open covers of X and each dense subset D of X, there exists a sequence (Fn :n ∈ℕ/ of finite subsets of D such that for each x ∈X, x ∈St(Fn; Un) for all but finitely many n. In this paper, we investigate the relationships between absolutely strongly star-Hurewicz spaces and related spaces, and also study topological properties of absolutely strongly star-Hurewicz spaces.

It is proved that if a regular space $X$ is the union of a finite family of metrizable subspaces then $X$ is a $D$-space in the sense of E. van Douwen. It follows that if a regular space $X$ of countable extent is the union of a finite collection of metrizable subspaces then $X$ is Lindelöf. The proofs are based on a principal result of this paper: every space with a point-countable base is a $D$-space. Some other new results on the properties of spaces which are unions of a finite collection of nice subspaces...

A neighbourhood assignment in a space $X$ is a family $𝒪=\{O_x:x\in X\}$ of open subsets of $X$ such that $x\in O_x$ for any $x\in X$. A set $Y\subseteq X$ is a kernel of $𝒪$ if $𝒪\left(Y\right)=\bigcup \{O_x:x\in Y\}=X$. If every neighbourhood assignment in $X$ has a closed and discrete (respectively, discrete) kernel, then $X$ is said to be a $D$-space (respectively a dually discrete space). In this paper we show among other things that every GO-space is dually discrete, every subparacompact scattered space and every continuous image of a Lindelöf $P$-space is a $D$-space and we prove an addition...

We prove some properties of uniformly completely Ramsey null sets (for example, every hereditarily Menger set is uniformly completely Ramsey null).

We define two cardinal invariants of the continuum which arise naturally from combinatorially and topologically appealing properties of almost disjoint families of sets of the natural numbers. These are the never soft and never countably paracompact numbers. We show that these cardinals must both be equal to ${\omega }_1$ under the effective weak diamond principle $♦(\omega ,\omega ,<)$, answering questions of da Silva S.G., On the presence of countable paracompactness, normality and property $\left(a\right)$ in spaces from almost disjoint families,...