On the maximal resolvability of monotonically normal spaces (Q1936811)

This paper is a continuation of a paper by the first author, \textit{L. Soukop} and \textit{Z. Szentmiklóssy} [Isr. J. Math. 166, 1--16 (2008; Zbl 1155.54006)]. A topological space \(X\) is maximally resolvable if it has \(\Delta (X)\) pairwise disjoint dense subsets where \(\Delta (X)=\text{min} \{ |G| : G \;\text{open} , G\neq \emptyset \} \). A space \(X\) is called SD if every nonisolated point of \(X\) is the accumulation point of some strongly discrete subset of \(X\). A space \(X\) is said to be DSD if every dense subspace is SD. The main result of this paper can be stated in the following form: The following assertions are equivalent (1) Every DSD space is maximally resolvable, (2) Every MN (monotonically normal) space is maximally resolvable, (3) Every uniform ultrafilter is maximally decomposable. The considerable extra work in proving this result is in the case of singular cardinals. As a consequence it is shown that the existence of an MN space which is not maximally resolvable is equiconsistent with the existence of a measurable cardinal. In addition it is proved that it is consistent (modulo the consistency of a measurable cardinal) that there exists an MN space with \(|X|=\Delta (X)=\aleph_{\omega}\) which fails to be \(\omega_1\)-resolvable. From a previous paper it follows that this is the best possible case.