Based on some earlier findings on Banach Category Theorem for some “nice” $\sigma$-ideals by J. Kaniewski, D. Rose and myself I introduce the $h$ operator ($h$ stands for “heavy points”) to refine and generalize kernel constructions of A. H. Stone. Having obtained in this way a generalized Kuratowski’s decomposition theorem I prove some characterizations of the domains of functions having “many” points of $h$-continuity. Results of this type lead, in the case of the $\sigma$-ideal of meager sets, to important statements...

We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in Baumgartner J.E., Komjáth P., Boolean algebras in which every chain and antichain is countable, Fund. Math. 111 (1981), 125–133, Koszmider P., Forcing minimal extensions of Boolean algebras, Trans. Amer. Math. Soc. 351 (1999), no. 8, 3073–3117, and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, $A$ such that $𝔣\left(A\right)={\text{s}}_{\text{mm}}\left(A\right)<𝔲\left(A\right)$, answering questions raised by Monk...

The least cardinal λ such that some (equivalently: every) compact group with weight α admits a dense, pseudocompact subgroup of cardinality λ is denoted by m(α). Clearly, $m\left(\alpha \right)\le 2^{\alpha }$. We show:    Theorem 4.12. Let G be Abelian with |G| = γ. If either m(α) ≤ α and m$\left(\alpha \right)\le r_0\left(G\right)\le \gamma \le 2^{\alpha }$, or α > ω and ${\alpha }^{\omega }\le r_0\left(G\right)\le 2^{\alpha }$, then G admits a pseudocompact group topology of weight α.  Theorem 4.15. Every connected, pseudocompact Abelian group G with wG = α ≥ ω satisfies $r_0\left(G\right)\ge m\left(\alpha \right)$.  Theorem 5.2(b). If G is divisible Abelian with $2^{r_0\left(G\right)}\le \gamma$, then G admits at most $2^{\gamma }$-many...

We apply the theory of infinite two-person games to two well-known problems in topology: Suslin’s Problem and Arhangel’skii’s problem on the weak Lindelöf number of the $G_{\delta }$ topology on a compact space. More specifically, we prove results of which the following two are special cases: 1) every linearly ordered topological space satisfying the game-theoretic version of the countable chain condition is separable, and 2) in every compact space satisfying the game-theoretic version of the weak Lindelöf...

This work presents some cardinal inequalities in which appears the closed pseudo-character, ${\psi }_c$, of a space. Using one of them — ${\psi }_c\left(X\right)\le 2^{d\left(X\right)}$ for $T_2$ spaces — we improve, from $T_3$ to $T_2$ spaces, the well-known result that initially $\kappa$-compact $T_3$ spaces are $\lambda$-bounded for all cardinals $\lambda$ such that $2^{\lambda }\le \kappa$. And then, using an idea of A. Dow, we prove that initially $\kappa$-compact $T_2$ spaces are in fact compact for $\kappa =2^{F\left(X\right)}$, $2^{s\left(X\right)}$, $2^{t\left(X\right)}$, $2^{\chi \left(X\right)}$, $2^{{\psi }_c\left(X\right)}$ or $\kappa =max\{{\tau }^{+},{\tau }^{<\tau }\}$, where $\tau >t(p,X)$ for all $p\in X$.

We call a topological space $\kappa$-compact if every subset of size $\kappa$ has a complete accumulation point in it. Let $\Phi (\mu ,\kappa ,\lambda )$ denote the following statement: $\mu <\kappa <\lambda =cf\left(\lambda \right)$ and there is $\{S_{\xi }:\xi <\lambda \}\subset {\left[\kappa \right]}^{\mu }$ such that $\left|\right\{\xi :|S_{\xi }\cap A|=\mu \left\}\right|<\lambda$ whenever $A\in {\left[\kappa \right]}^{<\kappa }$. We show that if $\Phi (\mu ,\kappa ,\lambda )$ holds and the space $X$ is both $\mu$-compact and $\lambda$-compact then $X$ is $\kappa$-compact as well. Moreover, from PCF theory we deduce $\Phi (cf\left(\kappa \right),\kappa ,{\kappa }^{+})$ for every singular cardinal $\kappa$. As a corollary we get that a linearly Lindelöf and ${\aleph }_{\omega }$-compact space is uncountably compact, that is $\kappa$-compact for all uncountable cardinals $\kappa$.

We construct in Bell-Kunen’s model: (a) a group maximal topology on a countable infinite Boolean group of weight ${\aleph }_1<ℭ$ and (b) a countable irresolvable dense subspace of $2^{{\omega }_1}$. In this model $ℭ={\aleph }_{{\omega }_1}$.

In this expository paper it is shown that Martin's Axiom and the negation of the Continuum Hypothesis imply that the product of ccc spaces is a ccc space. The Continuum Hypothesis is then used to construct the Laver-Gavin example of two ccc spaces whose product is not a ccc space.

Let a compact Hausdorff space X contain a non-empty perfect subset. If α < β and β is a countable ordinal, then the Banach space Bα (X) of all bounded real-valued functions of Baire class α on X is a proper subspace of the Banach space Bβ (X). In this paper it is shown that: 1. Bα (X) has a representation as C(bα X), where bα X is a compactification of the space P X – the underlying set of X in the Baire topology generated by the Gδ -sets in X. 2. If 1 ≤ α < β ≤ Ω, where Ω is the first...

Ram’ırez-Páramo proved that under GCH for the class of compact Hausdorff spaces i-weight reflects all cardinals [A reflection theorem for i-weight, Topology Proc. 28 (2004), no. 1, 277–281]. We show that in ZFC i-weight reflects all cardinals for the class of compact LOTS. We define local i-weight, then calculate i-weight of locally compact LOTS and paracompact spaces in terms of the extent of the space and the i-weight of open sets or the local i-weight. For locally compact LOTS we find a necessary...