Fidel Casarrubias-Segura, Fernando Hernández-Hernández, Ángel Tamariz-Mascarúa
Martin's Axiom and $\omega$-resolvability of Baire spaces

Comment.Math.Univ.Carolin. 51,3 (2010) 519-540.

Abstract:We prove that, assuming MA, every crowded $T_0$ space $X$ is $\omega$-resolvable if it satisfies one of the following properties: (1) it contains a $\pi$-network of cardinality $< \frak{c}$ constituted by infinite sets, (2) $\chi(X) < \frak{c}$, (3) $X$ is a $T_2$ Baire space and $c(X) \leq \aleph_0$ and (4) $X$ is a $T_1$ Baire space and has a network $\Cal{N}$ with cardinality $< \frak{c}$ and such that the collection of the finite elements in it constitutes a $\sigma$-locally finite family. Furthermore, we prove that the existence of a $T_1$ Baire irresolvable space is equivalent to the existence of a $T_1$ Baire $\omega$-irresolvable space, and each of these statements is equivalent to the existence of a $T_1$ almost-$\omega$-irresolvable space. Finally, we prove that the minimum cardinality of a $\pi$-network with infinite elements of a space $\operatorname{Seq}(u_t)$ is strictly greater than $\aleph_0$.

Keywords: Martin's Axiom, Baire spaces, resolvable spaces, $\omega$-resolvable spaces, almost resolvable spaces, almost-$\omega$-resolvable spaces, infinite $\pi$-network
AMS Subject Classification: 54E52 54A35 54D10 54A10

PDF