Fréchet versus strongly Fréchet (Q2493882)

A space is said to be Fréchet if, whenever a point \(x\) is in the closure of a subset \(A\), there is a sequence in \(A\) converging to \(x\). A space is said to be strongly Fréchet or countably bisequential if, whenever a point \(x\) is in the intersection of the closures of a descending sequence of sets \(A_n\) \((n \in \omega)\), then we can pick \(x_n \in A_n\)A so that the sequence \((x_n)\) converges to \(x\). In this paper, it is shown that the Continuum Hypothesis (CH) implies the existence of (1) a Tikhonov pseudocompact Fréchet space that is not strongly Fréchet and (2) a countably compact Hausdorff Fréchet space that is not strongly Fréchet. These examples contrast with the fact that every countably compact Tychonoff Fréchet space is strongly Fréchet. Example (1) makes clever use of a concept closely related to (and implying the existence of) completely separable MAD families, which are maximal almost disjoint infinite families \(\mathcal A\) of subsets of a denumerable set \(N\) such that every infinite subset \(S\) of \(N\) either contains a member of \(\mathcal A\) or is contained in the union of finitely many members of \(\mathcal A\). Completely separable MAD families exist under more general axioms than CH, and this gives some hope that CH can be weakened in the construction of (1). However, it also suggests that a ZFC construction calls for new ideas, because the question of whether there is a ZFC example of a completely separable MAD family is an old unsolved problem, see \textit{M. Hrušak} and \textit{P. Simon}, ``Completely separable MAD families'', in [\textit{E. Pearl} (ed.), Open Problems in Topology II, Amsterdam: Elsevier B.V. (2007; Zbl 1158.54300)]. In the case of (2), CH can be weakened to \(\mathfrak d = \omega_1\) and, with a slight change in the construction, to \(\mathfrak t = \mathfrak d\). (Where the basic neighborhoods of \(\alpha \in \mathfrak b'\) are defined, add the condition that \(\beta \in \mathfrak b'\). This sacrifices first countability at these points, but \(\mathfrak t = \mathfrak d\) is enough to imply that the space is Fréchet.) The article claims that \(\mathfrak b = \mathfrak d\) is adequate, but there is an error in the proof. There is an inaccuracy in the page numbers given for reference [1], which should read: \textit{A. V. Arkhangel'skij}, The frequency spectrum of a topological space and the classification of spaces, Sov. Math., Dokl. 13, 1185--1189 (1972); translation from Dokl. Akad. Nauk. SSSR 206, 265--268 (1972; Zbl 0275.54004)].