Does ZF + BPI alone prove the equivalence between "Baire theorem for compact Hausdorff spaces" and "Rasiowa-Sikorski Lemma for Forcing Posets"? Rasiowa-Sikorski Lemma (for forcing posets)is the statement: For any p.o. $\mathbb{P}$  (i.e. $\mathbb{P}$ is a reflexive transitive relation) and for any countable family of dense subsets of $\mathbb{P}$  there is a generic filter which intersects all dense subsets of the countable family. It is well-known that this statement is equivalent to the Baire Category Theorem for Complete Metric Spaces - and thus it is also equivalent to the Principle of Dependent Choices.
A masters student of mine has found in the literature the following statement: "Rasiowa-Sikorski Lemma is equivalent to the Baire Category Theorem for Compact Hausdorff Spaces, modulo the Boolean Prime Ideal Theorem". We understood this as the assertion that the theory ZF + BPI alone is able to prove the equivalence between the Baire Category Theorem for Compact Hausdorff Spaces and the Rasiowa-Sikorski Lemma.
Well, I asked my student to verify such claim, and at first glance I suggested him to follow the results 3.1 to 3.4 of Chapter II of Kunen's book, where there are proofs for some equivalences of Martin's Axiom at $\kappa$, MA($\kappa$): the idea was to discard the hypothesis "c.c.c." and adapt the reasoning, arguing for $\kappa = \omega$. It turns out that it was not a good suggestion, because in 3.1 a kind of Downward-Lowenheim-Skolem argument is done, to show that it is equivalent to work with a restricted form of the forcing axiom, considering only partial orders of bounded cardinality. However, such argument seems to require the Axiom of Choice, or some part of it other than BPI.
Does any of you know if it is indeed possible to prove the equivalence between "Baire Category Theorem for Compact Hausdorff Spaces" and "Rasiowa-Sikorski Lemma for forcing posets" from ZF + BPI alone ? Any suggestions or references would be appreciated.
 A: The key observations are that BPI is equivalent to the Stone representation theorem for Boolean algebras, and that for the Rasiowa–Sikorski lemma we can focus on [complete] Boolean algebras, since they are forcing equivalent (so we can restrict the generality of partial orders).
Now, one implication is a consequence of ZF. Since RS is equivalent to Dependent Choice, which itself is equivalent to the downward Löwenheim–Skolem theorem, one can just use that argument.
Alternatively, if $X$ is a compact Hausdorff space and $D_n$ are dense open sets, and without loss of generality $D_{n+1}\subseteq D_n$. take $U$ to be a non-empty open set, and consider the forcing whose conditions are sequences $(x_i,W_i)_{i<n}$ such that $x_i\in D_i\cap U$ and $W_i$ is open such that:

*

*$x_i\in W_i\subseteq \overline W_i\subseteq U\cap D_i$, and

*$\overline W_i\subseteq W_j$ if $j<i$.

Now consider $E_n$ to be the dense open set in the forcing whose conditions are sequences of length at least $n$. By the Rasiowa–Sikorski lemma there is a generic meeting all of these $E_n$s which defines a sequence $(x_i,W_i)_{i<\omega}$. Now observe that $\{\overline W_i\mid i<\omega\}$ is a family of compact sets with a finite intersection property, therefore their intersection is non-empty, and it contains a point in $\bigcap D_i\cap U$ as wanted.
In the other direction we need to use BPI, and we use it in the form of Stone's representation theorem. Given a notion of forcing, we may assume without loss of generality that it is a complete Boolean algebra $B$ and we can consider its Stone space, $S(B)$, the space of all the ultrafilters on $B$.
If $D\subseteq B$ is a dense open set, then $D^*=\{F\in S(B)\mid\exists b\in D, b\in F\}$ is a dense open set in $S(B)$. Therefore, by the BCT for compact Hausdorff spaces, if $D_n$ is a sequence of dense open subsets of $B$, $\bigcap D^*_n$ is dense, and in particular not empty. Take any $G\in\bigcap D_n^*$, then for all $n<\omega$, $G\cap D_n$ is non-empty as wanted.
