Almost-normality of Isbell-Mrówka spaces (Q2219270): Difference between revisions

After constructing a Tychonoff, extremally disconnected, pseudocompact space that is not countably compact, the authors turn to properties of the usual Isbell-Mrówka space, i.e. for an almost disjoint family \(\mathcal A\) over a countable set \(N\) the space \(\Psi(\mathcal A)\). A number of conditions equivalent to almost normality of \(\Psi(\mathcal A)\), such as for each regular closed set \(F\) there is a clopen set \(C\) such that \(F\subset C\) and \(\mathcal A\setminus F\subset\Psi(\mathcal A)\setminus C\), appear. Conditions equivalent to semi-normality of \(\Psi(\mathcal A)\) are also presented. Forcing is used to produce an example consistent with \textsf{CH} of a family \(\mathcal A\) such that \(\Psi(\mathcal A)\) is almost normal but not normal. For \(\mathfrak p\) the pseudointersection number, if \(|\mathcal A|<\mathfrak p\) then \(\Psi(\mathcal A)\) is semi-normal and is normal if and only if it is almost normal; but if \(|\mathcal A|=\mathfrak c\) then \(\Psi(\mathcal A)\) is not semi-normal.