We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space $𝐗=(X,T)$ is countably compact if and only if it is countably subcompact relative to $T$. (iii) For every metrizable space $𝐗=(X,T)$, the following are equivalent: (a) $𝐗$ is compact; (b) for every open filter $ℱ$ of $𝐗$, $\bigcap \{\overline{F}:F\in ℱ\}\ne \varnothing$; (c) $𝐗$ is subcompact relative to $T$. We also show: (iv) The negation of each of the statements, (a) every countably subcompact...

A space $X$ is functionally countable if $f\left(X\right)$ is countable for any continuous function $f:X\to ℝ$. We will call a space $X$ exponentially separable if for any countable family $ℱ$ of closed subsets of $X$, there exists a countable set $A\subset X$ such that $A\cap \bigcap 𝒢\ne \varnothing$ whenever $𝒢\subset ℱ$ and $\bigcap 𝒢\ne \varnothing$. Every exponentially separable space is functionally countable; we will show that for some nice classes of spaces exponential separability coincides with functional countability. We will also establish that the class of exponentially separable...

Let $P$ be a topological property. A space $X$ is said to be star P if whenever $𝒰$ is an open cover of $X$, there exists a subspace $A\subseteq X$ with property $P$ such that $X=St(A,𝒰)$. In this note, we construct a Tychonoff pseudocompact SCE-space which is not star Lindelöf, which gives a negative answer to a question of Rojas-Sánchez and Tamariz-Mascarúa.

Let $L_c\left(X\right)=\{f\in C\left(X\right):\overline{C_f}=X\}$, where $C_f$ is the union of all open subsets $U\subseteq X$ such that $\left|f\left(U\right)\right|\le {\aleph }_0$. In this paper, we present a pointfree topology version of $L_c\left(X\right)$, named ${ℛ}_{\ell c}\left(L\right)$. We observe that ${ℛ}_{\ell c}\left(L\right)$ enjoys most of the important properties shared by $ℛ\left(L\right)$ and ${ℛ}_c\left(L\right)$, where ${ℛ}_c\left(L\right)$ is the pointfree version of all continuous functions of $C\left(X\right)$ with countable image. The interrelation between $ℛ\left(L\right)$, ${ℛ}_{\ell c}\left(L\right)$, and ${ℛ}_c\left(L\right)$ is examined. We show that $L_c\left(X\right)\cong {ℛ}_{\ell c}\left(𝔒\left(X\right)\right)$ for any space $X$. Frames $L$ for which ${ℛ}_{\ell c}\left(L\right)=ℛ\left(L\right)$ are characterized.

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{\alpha }$, $Y_{\alpha }$ and $Z_{\alpha }$ such that (i) $f{X}_{\alpha },f{Y}_{\alpha },f{Z}_{\alpha }=\omega ₀$, where f is either trdef or ₀-trsur, (ii) $A\left(\alpha \right)-trind{X}_{\alpha }=\infty$ and $M\left(\alpha \right)-trind{X}_{\alpha }=-1$, (iii) $A\left(\alpha \right)-trind{Y}_{\alpha }=-1$ and $M\left(\alpha \right)-trind{Y}_{\alpha }=\infty$, and (iv) $A\left(\alpha \right)-trind{Z}_{\alpha }=M\left(\alpha \right)-trind{Z}_{\alpha }=\infty$ and $A(\alpha +1)\cap M(\alpha +1)-trind{Z}_{\alpha }=-1$. We also show that there exists no separable metrizable space $W_{\alpha }$ with $A\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$, $M\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$ and $A\left(\alpha \right)\cap M\left(\alpha \right)-trind{W}_{\alpha }=\infty$, where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

A topological space $(X,\tau )$ is said to be $z$-Lindelöf  [1] if every cover of $X$ by cozero sets of $(X,\tau )$ admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of $z$-Lindelöf spaces.

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

Let $X$ be the Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff non-single point spaces $X_{\alpha }$. Let $p\in X^{*}$ be a point in the closure of some $G\subset X$ whose weak Lindelöf number is strictly less than the cofinality of $\tau$. Then we show that $\beta X\setminus \left\{p\right\}$ is not normal. Under some additional assumptions, $p$ is a butterfly-point in $\beta X$. In particular, this is true if either $X={\omega }^{\tau }$ or $X=R^{\tau }$ and $\tau$ is infinite and not countably cofinal.

A topological space $X$ is said to be star Lindelöf if for any open cover $𝒰$ of $X$ there is a Lindelöf subspace $A\subset X$ such that $St(A,𝒰)=X$. The “extent” $e\left(X\right)$ of $X$ is the supremum of the cardinalities of closed discrete subsets of $X$. We prove that under $V=L$ every star Lindelöf, first countable and normal space must have countable extent. We also obtain an example under $\mathrm{MA}+\neg \mathrm{CH}$, which shows that a star Lindelöf, first countable and normal space may not have countable extent.

Let a space $X$ be Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff nonsingle point spaces $X_{\alpha }$. Let Suslin number of $X$ be strictly less than the cofinality of $\tau$. Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $\beta X$. In particular, this is true if $X$ is either $R^{\tau }$ or ${\omega }^{\tau }$ and a cardinal $\tau$ is infinite and not countably cofinal.

J. Terasawa in "$\beta X-\left\{p\right\}$ are non-normal for non-discrete spaces $X$" (2007) and the author in “On non-normality points and metrizable crowded spaces” (2007), independently showed for any metrizable crowded space $X$ that each point $p$ of its Čech–Stone remainder $X^{*}$ is a non-normality point of $\beta X$. We introduce a new class of spaces, named nice spaces, which contains both of Sorgenfrey line and every metrizable crowded space. We obtain the result above for every nice space.

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