[proofplan] The countable chain condition, abbreviated ccc, is part of the usual domain of Martin's axiom, but the equivalence proved here is a formal property of the Martin topology on the space of filters for the fixed poset $P$. We translate dense subsets of the poset into open dense subsets of the Martin space by sending a dense set $D \subseteq P$ to the [open set](/page/Open%20Set) of filters meeting $D$. In the reverse direction, we translate an open dense set $U \subseteq \mathsf{Filt}(P)$ into the dense set of conditions whose basic neighbourhood is contained in $U$, using the basis property of the sets $N_p$. These translations preserve the relevant cardinal bounds and identify “meeting every dense set” with “lying in every corresponding open dense set,” which is exactly the filter formulation of Martin's axiom. [/proofplan] [step:Translate dense subsets of $P$ into open dense subsets of $\mathsf{Filt}(P)$] For each condition $p \in P$, define the basic Martin neighbourhood $N_p := \{G \in \mathsf{Filt}(P) : p \in G\}$. Let $D \subseteq P$ be dense, meaning that for every $p \in P$ there exists $q \in D$ with $q \leq p$. Define $U_D := \bigcup_{q \in D} N_q \subseteq \mathsf{Filt}(P)$. Since $U_D$ is a union of basic open sets, it is open. We show that $U_D$ is dense in $\mathsf{Filt}(P)$. It is enough to check that every basic open set $N_p$ meets $U_D$. Fix $p \in P$. Since $D$ is dense in $P$, choose $q \in D$ with $q \leq p$. If $G \in N_q$, then $q \in G$; because filters are upward closed toward weaker conditions and $q \leq p$, we have $p \in G$. Hence $G \in N_p$, so $N_q \subseteq N_p$. Also $N_q \subseteq U_D$ by definition. Thus $N_q \subseteq N_p \cap U_D$. The set $N_q$ is non-empty, for example it contains the principal filter $\{s \in P : q \leq s\}$. Therefore $N_p \cap U_D \neq \varnothing$, and $U_D$ is dense. Finally, for a filter $G \in \mathsf{Filt}(P)$, we have $G \in U_D \iff$ there exists $q \in D$ such that $q \in G \iff G \cap D \neq \varnothing$. Thus membership in $U_D$ is exactly the assertion that $G$ meets $D$. [guided] The purpose of $U_D$ is to turn the order-theoretic requirement “the filter meets $D$” into a topological requirement “the filter lies in an open set.” For each condition $p \in P$, the basic Martin neighbourhood is $N_p := \{G \in \mathsf{Filt}(P) : p \in G\}$. Given a [dense subset](/page/Dense%20Subset) $D \subseteq P$, define $U_D := \bigcup_{q \in D} N_q$. This is open because each $N_q$ is a basic open set in the Martin topology and arbitrary unions of open sets are open. We next verify density. Let $p \in P$ be arbitrary. To prove that $U_D$ is dense, it suffices to show that the basic neighbourhood $N_p$ intersects $U_D$. Since $D$ is dense in the forcing order, there exists $q \in D$ with $q \leq p$. The inequality $q \leq p$ means that $q$ is stronger than $p$. Therefore every filter containing $q$ also contains $p$, because filters are upward closed toward weaker conditions. Hence $N_q \subseteq N_p$. Since $q \in D$, the definition of $U_D$ gives $N_q \subseteq U_D$. Combining the two inclusions gives $N_q \subseteq N_p \cap U_D$. The basic set $N_q$ is non-empty: it contains the principal filter $\{s \in P : q \leq s\}$. Hence $N_p \cap U_D \neq \varnothing$. Since $p$ was arbitrary, every basic open set meets $U_D$, so $U_D$ is dense. The last point is the exact dictionary between the two languages. A filter $G$ belongs to $U_D$ precisely when $G \in N_q$ for some $q \in D$, and this is precisely the condition that $q \in G \cap D$ for some $q \in D$. Thus $G \in U_D \iff G \cap D \neq \varnothing$. [/guided] [/step] [step:Translate open dense subsets of $\mathsf{Filt}(P)$ into dense subsets of $P$] Let $U \subseteq \mathsf{Filt}(P)$ be open and dense. Define \begin{align*} D_U := \{p \in P : N_p \subseteq U\}. \end{align*} We first record the basis property used below. If $W \subseteq \mathsf{Filt}(P)$ is open and $G \in W$, then, because the Martin topology is generated by the subbasic sets $N_s$ with $s \in P$, there are $s_1, \dots, s_n \in P$ such that \begin{align*} G \in N_{s_1} \cap \cdots \cap N_{s_n} \subseteq W. \end{align*} Since $G$ is a filter, it is directed toward stronger common refinements; hence there exists $t \in G$ such that $t \leq s_m$ for every $m \in \{1, \dots, n\}$. Upward closure of filters toward weaker conditions gives $N_t \subseteq N_{s_m}$ for every $m$, and therefore \begin{align*} G \in N_t \subseteq W. \end{align*} Thus every open neighbourhood of a filter contains a basic neighbourhood $N_t$ of that filter. We prove that $D_U$ is dense in $P$. Fix $p \in P$. Since $U$ is dense and $N_p$ is a non-empty basic open set, choose a filter $G \in N_p \cap U$. Applying the basis property to the open set $U$ at the point $G$, choose $q \in P$ such that \begin{align*} G \in N_q \subseteq U. \end{align*} Thus $q \in G$. Since also $p \in G$ and $G$ is directed, there exists $r \in G$ such that $r \leq p$ and $r \leq q$. From $r \leq q$ and upward closure of filters, every filter containing $r$ contains $q$, so \begin{align*} N_r \subseteq N_q \subseteq U. \end{align*} Hence $r \in D_U$, and $r \leq p$. Since $p$ was arbitrary, $D_U$ is dense in $P$. [guided] This direction is subtler because an arbitrary open dense set $U$ need not be presented as a union indexed by a dense subset of $P$. We therefore define the set of conditions whose basic neighbourhoods are already contained in $U$: \begin{align*} D_U := \{p \in P : N_p \subseteq U\}. \end{align*} The goal is to prove that below every condition $p \in P$ there is a stronger condition belonging to $D_U$. First we justify the local basis fact used in this argument. Let $W \subseteq \mathsf{Filt}(P)$ be open and let $G \in W$. Since the Martin topology is generated by the sets $N_s$ with $s \in P$, there exist conditions $s_1, \dots, s_n \in P$ such that \begin{align*} G \in N_{s_1} \cap \cdots \cap N_{s_n} \subseteq W. \end{align*} The membership $G \in N_{s_m}$ says $s_m \in G$ for each $m \in \{1, \dots, n\}$. Because $G$ is directed toward stronger common refinements, there exists $t \in G$ such that $t \leq s_m$ for every $m \in \{1, \dots, n\}$. Now take any filter $H \in N_t$. Then $t \in H$, and since filters are upward closed toward weaker conditions, $s_m \in H$ for every $m$. Hence $H \in N_{s_1} \cap \cdots \cap N_{s_n}$. This proves \begin{align*} N_t \subseteq N_{s_1} \cap \cdots \cap N_{s_n} \subseteq W. \end{align*} Thus every open neighbourhood of a filter contains one of the basic neighbourhoods $N_t$. Now fix $p \in P$. Since $U$ is dense and $N_p$ is a non-empty basic open set, there exists a filter $G \in N_p \cap U$. Applying the local basis fact to the open neighbourhood $U$ of $G$, choose $q \in P$ such that \begin{align*} G \in N_q \subseteq U. \end{align*} We have $p \in G$ because $G \in N_p$, and $q \in G$ because $G \in N_q$. Directedness of the filter $G$ gives a condition $r \in G$ satisfying $r \leq p$ and $r \leq q$. Since $r \leq q$, every filter containing $r$ also contains $q$ by upward closure toward weaker conditions. Therefore \begin{align*} N_r \subseteq N_q \subseteq U. \end{align*} So $r \in D_U$, and $r \leq p$. Because $p \in P$ was arbitrary, $D_U$ is dense in $P$. [/guided] [/step] [step:Use $MA_\kappa(P)$ to obtain the category principle] Assume Martin's axiom in the form $MA_\kappa(P)$. Let $I$ be an index set with $|I| \leq \kappa$, and let $(U_i)_{i \in I}$ be a family of open dense subsets of $\mathsf{Filt}(P)$. For each $i \in I$, define \begin{align*} D_i := D_{U_i} = \{p \in P : N_p \subseteq U_i\}. \end{align*} By the preceding step, each $D_i$ is dense in $P$. Since the family has cardinality at most $\kappa$, $MA_\kappa(P)$ gives a filter $G \in \mathsf{Filt}(P)$ such that \begin{align*} G \cap D_i \neq \varnothing \end{align*} for every $i \in I$. Fix $i \in I$. Choose $p_i \in G \cap D_i$. Since $p_i \in G$, we have $G \in N_{p_i}$. Since $p_i \in D_i$, we have $N_{p_i} \subseteq U_i$. Therefore $G \in U_i$. This holds for every $i \in I$, so \begin{align*} G \in \bigcap_{i \in I} U_i. \end{align*} Thus the intersection is non-empty. [/step] [step:Use the category principle to obtain $MA_\kappa(P)$] Assume the stated category principle for $\mathsf{Filt}(P)$. Let $J$ be an index set with $|J| \leq \kappa$, and let $(D_j)_{j \in J}$ be a family of dense subsets of the poset $P$. For each $j \in J$, define \begin{align*} U_j := U_{D_j} = \bigcup_{p \in D_j} N_p. \end{align*} By the first step, each $U_j$ is open and dense in $\mathsf{Filt}(P)$. The category principle gives a filter $G \in \mathsf{Filt}(P)$ such that \begin{align*} G \in \bigcap_{j \in J} U_j. \end{align*} Fix $j \in J$. Since $G \in U_j$, the equivalence proved in the first step gives $G \cap D_j \neq \varnothing$. Therefore $G$ meets every $D_j$ with $j \in J$. This is exactly $MA_\kappa(P)$. [/step] [step:Conclude the equivalence] The two implications show that $MA_\kappa(P)$ holds if and only if every family of at most $\kappa$ open dense subsets of the Martin space $\mathsf{Filt}(P)$ has non-empty intersection. This is the desired equivalence. [/step]