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

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

Given an ideal $ℐ$ on $\omega$ let $𝔞\left(ℐ\right)$ ($\overline{𝔞}\left(ℐ\right)$) be minimum of the cardinalities of infinite (uncountable) maximal $ℐ$-almost disjoint subsets of ${\left[\omega \right]}^{\omega }$. We show that $𝔞\left({ℐ}_h\right)>\omega$ if ${ℐ}_h$ is a summable ideal; but $𝔞\left({𝒵}_{\overrightarrow{\mu }}\right)=\omega$ for any tall density ideal ${𝒵}_{\overrightarrow{\mu }}$ including the density zero ideal $𝒵$. On the other hand, you have $𝔟\le \overline{𝔞}\left(ℐ\right)$ for any analytic $P$-ideal $ℐ$, and $\overline{𝔞}\left({𝒵}_{\overrightarrow{\mu }}\right)\le 𝔞$ for each density ideal ${𝒵}_{\overrightarrow{\mu }}$. For each ideal $ℐ$ on $\omega$ denote ${𝔟}_{ℐ}$ and ${𝔡}_{ℐ}$ the unbounding and dominating numbers of $\langle {\omega }^{\omega },{\le }_{ℐ}\rangle$ where $f{\le }_{ℐ}g$ iff $\{n\in \omega :f(n)>g(n\left)\right\}\in ℐ$. We show that ${𝔟}_{ℐ}=𝔟$ and ${𝔡}_{ℐ}=𝔡$ for each analytic $P$-ideal $ℐ$. Given a Borel...