## S. Garcia-Ferreira, A.H. Tomita

*Countable compactness and p-limits *

Comment.Math.Univ.Carolinae 42,3 (2001) 521-527.**Abstract:**For $\emptyset \not =M \subseteq \omega ^*$,we say that $X$ is quasi $M$-compact, if for every $f: \omega\rightarrow X$ there is $p \in M$ such that $\overline@ {f}(p)\in X$, where $\overline@ {f}$ is the Stone-\v Cech extensionof $f$. In this context, a space $X$ is countably compact iff$X$ is quasi $\omega ^*$-compact. If $X$ is quasi $M$-compactand $M$ is either finite or countable discrete in $\omega ^*$,then all powers of $X$ are countably compact. Assuming $CH$,we give an example of a countable subset $M \subseteq \omega^*$ and a quasi $M$-compact space $X$ whose square is notcountably compact, and show that in a model of A. Blass and S.Shelah every quasi $M$-compact space is $p$-compact (= quasi$\{p\}$-compact) for some $p \in \omega ^*$, whenever $M \in[\omega ^*]^{< {\frak c}}$. We prove that if $\emptyset\notin\{ T_\xi : \xi < 2^{{\frak c}} \} \subseteq [\omega ^*]^{< 2^{{\frak c}}}$, then there is a countably compact space $X$ that is not quasi $T_\xi $-compact for every $\xi < 2^{{\frak c}}$; hence, if $2^{{\frak c}}$ is regular, then there is a countably compact space $X$ such that $X$ is not quasi $M$-compact for any $M \in [\omega ^*]^{< 2^{{\frak c}}}$. We list some open problems.

**Keywords:** $p$-limit, $p$-compact, almost $p$-compact, quasi $M$-compact, countably compact

**AMS Subject Classification:** Primary 54A20, 54A35; Secondary 54B99

PDF