We show that a regular totally ω-narrow paratopological group G has countable index of regularity, i.e., for every neighborhood U of the identity e of G, we can find a neighborhood V of e and a countable family of neighborhoods of e in G such that ∩W∈γ VW−1⊆ U. We prove that every regular (Hausdorff) totally !-narrow paratopological group is completely regular (functionally Hausdorff). We show that the index of regularity of a regular paratopological group is less than or equal to the weak Lindelöf...

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most ${\left(2^{\aleph ₀}\right)}^V$ levels of size ω. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of regular and of 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put ${}_{\lambda }\left(\alpha \right)=s\in \left(\alpha \right):s\left(0\right)=\lambda =min\left[s\right(\beta ):\beta <\alpha ]$. We show that f ∈ (α) iff for some natural number n there are infinite cardinals $\lambda ₀i>\lambda ₁>...>{\lambda }_{n-1}$ and ordinals $\alpha ₀,...,{\alpha }_{n-1}$ such that $\alpha =\alpha ₀+\cdots +{\alpha }_{n-1}$ and $f=f₀⏜f₁⏜...⏜f_{n-1}$ where each $f_i{\in }_{{\lambda }_i}\left({\alpha }_i\right)$. Under GCH we prove that if α < ω₂ then (i) ${}_{\omega }\left(\alpha \right)=s{\in }^{\alpha }\omega ,\omega ₁:s\left(0\right)=\omega$; (ii) if λ > cf(λ) = ω, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega ₁-closedin\alpha$; (iii) if cf(λ) = ω₁, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega -closedandsuccessor-closedin\alpha$; (iv) if cf(λ) > ω₁, ${}_{\lambda }\left(\alpha \right){=}^{\alpha }\lambda$. This yields a complete characterization of the classes (α) for all α < ω₂,...

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.

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

Let us denote by $\Phi (\lambda ,\mu )$ the statement that $𝔹\left(\lambda \right)=D{\left(\lambda \right)}^{\omega }$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $ℂ$ in $𝔹\left(\lambda \right)$ picks up all the $\mu$ colors. We call a space $X$$\pi$-regular if it is Hausdorff and for every nonempty open set $U$ in $X$ there is a nonempty open set $V$ such that $\overline{V}\subset U$. We recall that a space $X$ is called feebly compact if...