Fréchet-like properties and almost disjoint families (Q2182473)

The authors study the relationship between \(\alpha_i\) properties and strong Fréchet-like properties in Isbell-Mrówka spaces. The main motivation is a question by G. Gruenhage: Is every \(\alpha_3\)-FU (hereditarily \(\alpha_3\)-FU) almost disjoint family bisequential? To simplify the notation, they say that an almost disjoint family \(\mathcal A\) satisfies a topological property iff \(\omega\cup\{\infty\}\) (viewed as a subspace of the one-point compactification of the Isbell-Mrówka space \(\Psi(\mathcal A)\)) does, and that \(\mathcal A\) hereditarily satisfies a topological property iff for every \(\mathcal B\subseteq A\), \(\mathcal B\) satisfies this topological property in the previous sense. In the second section of the paper, they prove that \(\text{non}(\mathcal M)=\mathfrak c\) implies that there exists an \(\alpha_3\)-FU almost disjoint family \(\mathcal A\) which is not hereditarily \(\alpha_3\)-FU, and that \(\mathfrak b=\mathfrak c\) implies that there is a hereditarily \(\alpha_3\)-FU almost disjoint family \(\mathcal A\) which is not bisequential. In the third section, they get to the same conclusion under \(\mathfrak c\leq \aleph_2\) by proving that under \(\mathfrak s\leq \mathfrak b\), there is an \(\alpha_3\)-FU almost disjoint family \(\mathcal A\) which is not hereditarily \(\alpha_3\). The fourth section uses \(\Diamond(\mathfrak b)\) to prove this latter result. In the last section, the authors sum up all the results and prove that under CH, there is a countable \(\alpha_1\) absolutely Fréchet space that is not bisequential.