We study relations between the cellularity and index of narrowness in topological groups and their $G_{\delta }$-modifications. We show, in particular, that the inequalities $in\left({\left(H\right)}_{\tau }\right)\le 2^{\tau ·in\left(H\right)}$ and $c\left({\left(H\right)}_{\tau }\right)\le 2^{2^{\tau ·in\left(H\right)}}$ hold for every topological group $H$ and every cardinal $\tau \ge \omega$, where ${\left(H\right)}_{\tau }$ denotes the underlying group $H$ endowed with the $G_{\tau }$-modification of the original topology of $H$ and $in\left(H\right)$ is the index of narrowness of the group $H$. Also, we find some bounds for the complexity of continuous real-valued functions $f$ on an arbitrary $\omega$-narrow group $G$ understood...

Given a discrete group $G$, we consider the set $ℒ\left(G\right)$ of all subgroups of $G$ endowed with topology of pointwise convergence arising from the standard embedding of $ℒ\left(G\right)$ into the Cantor cube ${\{0,1\}}^G$. We show that the cellularity $c\left(ℒ\left(G\right)\right)\le {\aleph }_0$ for every abelian group $G$, and, for every infinite cardinal $\tau$, we construct a group $G$ with $c\left(ℒ\right(G\left)\right)=\tau$.

The aim this paper is to present an answer to Problem 1 of Monk [10], [11]. We do this by proving in particular that if μ is a strong limit singular cardinal, $\theta ={\left(2^{cf\left(\mu \right)}\right)}^{+}$ and $2^{\mu }={\mu }^{+}$ then there are Boolean algebras ${𝔹}_1,{𝔹}_2$ such that $c\left({𝔹}_1\right)=\mu ,c\left({𝔹}_2\right)<\theta butc({𝔹}_1*{𝔹}_2)={\mu }^{+}$. Further we improve this result, deal with the method and the necessity of the assumptions. In particular we prove that if $𝔹$ is a ccc Boolean algebra and ${\mu }^{{\beth }_{\omega }}\le \lambda =cf\left(\lambda \right)\le 2^{\mu }$ then $𝔹$ satisfies the λ-Knaster condition (using the “revised GCH theorem”).

Is it true in ZFC that every normal submaximal space of non-measurable cardinality is hereditarily realcompact? This question (posed by O. T. Alas et al. (2002)) is given a complete affirmative answer, for a wider class of spaces. In fact, this answer is a part of a bi-conditional statement: A normal nodec space X is hereditarily realcompact if and only if it is realcompact if and only if every closed discrete (or nowhere dense) subset of X has non-measurable cardinality.

Many fundamental mathematical results fail in ZF, i.e., in Zermelo-Fraenkel set theory without the Axiom of Choice. This article surveys results — old and new — that specify how much “choice” is needed precisely to validate each of certain basic analytical and topological results.

Some results on cleavability theory are presented. We also show some new [16]'s results.

In this paper we show that a separable space cannot include closed discrete subsets which have the cardinality of the continuum and satisfy relative versions of any of the following topological properties: normality, countable paracompactness and property $\left(a\right)$. It follows that it is consistent that closed discrete subsets of a separable space $X$ which are also relatively normal (relatively countably paracompact, relatively $\left(a\right)$) in $X$ are necessarily countable. There are, however, consistent examples of...

We prove some closed mapping theorems on $k$-spaces with point-countable $k$-networks. One of them generalizes Lašnev’s theorem. We also construct an example of a Hausdorff space $Ur$ with a countable base that admits a closed map onto metric space which is not compact-covering. Another our result says that a $k$-space $X$ with a point-countable $k$-network admitting a closed surjection which is not compact-covering contains a closed copy of $Ur$.

Fréchet, strongly Fréchet, productively Fréchet, weakly bisequential and bisequential filters (i.e., neighborhood filters in spaces of the same name) are characterized in a unified manner in terms of their images in the Stone space of ultrafilters. These characterizations involve closure structures on the set of ultrafilters. The case of productively Fréchet filters answers a question of S. Dolecki and turns out to be the only one involving a non topological closure structure.