We introduce and study, following Z. Frol’ık, the class $ℬ\left(𝒫\right)$ of regular $P$-spaces $X$ such that the product $X\times Y$ is pseudo-${\aleph }_1$-compact, for every regular pseudo-${\aleph }_1$-compact $P$-space $Y$. We show that every pseudo-${\aleph }_1$-compact space which is locally $ℬ\left(𝒫\right)$ is in $ℬ\left(𝒫\right)$ and that every regular Lindelöf $P$-space belongs to $ℬ\left(𝒫\right)$. It is also proved that all pseudo-${\aleph }_1$-compact $P$-groups are in $ℬ\left(𝒫\right)$. The problem of characterization of subgroups of $ℝ$-factorizable (equivalently, pseudo-${\aleph }_1$-compact) $P$-groups is considered as well. We give some necessary...

In this paper, we deal with the product of spaces which are either $𝒢$-spaces or ${𝒢}_p$-spaces, for some $p\in {\omega }^{*}$. These spaces are defined in terms of a two-person infinite game over a topological space. All countably compact spaces are $𝒢$-spaces, and every ${𝒢}_p$-space is a $𝒢$-space, for every $p\in {\omega }^{*}$. We prove that if $\{X_{\mu }:\mu <{\omega }_1\}$ is a set of spaces whose product $X={\prod }_{\mu <{\omega }_1}{X}_{\mu }$ is a $𝒢$-space, then there is $A\in {\left[{\omega }_1\right]}^{\le \omega }$ such that $X_{\mu }$ is countably compact for every $\mu \in {\omega }_1\setminus A$. As a consequence, $X^{{\omega }_1}$ is a $𝒢$-space iff $X^{{\omega }_1}$ is countably compact, and if $X^{2^{𝔠}}$ is a $𝒢$-space, then all...

A refined common generalization of known theorems (Arhangel’skii, Michael, Popov and Rančin) on the Fréchetness of products is proved. A new characterization, in terms of products, of strongly Fréchet topologies is provided.

Let X be an infinite set, and (X) the Boolean algebra of subsets of X. We consider the following statements: BPI(X): Every proper filter of (X) can be extended to an ultrafilter. UF(X): (X) has a free ultrafilter. We will show in ZF (i.e., Zermelo-Fraenkel set theory without the Axiom of Choice) that the following four statements are equivalent: (i) BPI(ω). (ii) The Tychonoff product $2^{ℝ}$, where 2 is the discrete space 0,1, is compact. (iii) The Tychonoff product ${[0,1]}^{ℝ}$ is compact. (iv) In a Boolean algebra...

We introduce the notions of Kuratowski-Ulam pairs of topological spaces and universally Kuratowski-Ulam space. A pair (X,Y) of topological spaces is called a Kuratowski-Ulam pair if the Kuratowski-Ulam Theorem holds in X× Y. A space Y is called a universally Kuratowski-Ulam (uK-U) space if (X,Y) is a Kuratowski-Ulam pair for every space X. Obviously, every meager in itself space is uK-U. Moreover, it is known that every space with a countable π-basis is uK-U. We prove the following: ...

Let M be a metrizable group. Let G be a dense subgroup of $M^X$. We prove that if G is domain representable, then $G=M^X$. The following corollaries answer open questions. If X is completely regular and $C_p\left(X\right)$ is domain representable, then X is discrete. If X is zero-dimensional, T₂, and $C_p(X,)$ is subcompact, then X is discrete.