Small Cardinals and the Pseudocompactness of Hyperspaces of Subspaces of $βω$

Abstract

We study the relations between a generalization of pseudocompactness, named $(κ, M)$-pseudocompactness, the countably compactness of subspaces of $βω$ and the pseudocompactness of their hyperspaces. We show, by assuming the existence of $\mathfrak c$-many selective ultrafilters, that there exists a subspace of $βω$ that is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak c$, but $\text{CL}(X)$ isn't pseudocompact. We prove in ZFC that if $ω\subseteq X\subseteq βω$ is such that $X$ is $(\mathfrak c, ω^*)$-pseudocompact, then $\text{CL}(X)$ is pseudocompact, and we further explore this relation by replacing $\mathfrak c$ for some small cardinals. We provide an example of a subspace of $βω$ for which all powers below $\mathfrak h$ are countably compact whose hyperspace is not pseudocompact, we show that if $ω\subseteq X$, the pseudocompactness of $\text{CL}(X)$ implies that $X$ is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak h$, and provide an example of such an $X$ that is not $(\mathfrak b, ω^*)$-pseudocompact.