Martin's axiom and the transitivity of \(P_{\mathfrak c}\)-points (Q690062)

Using an infinite game, the author defines an equivalence relation \(\bowtie\) between ultrafilters on \(\mathbb{N}\). Martin's axiom implies that every two \(P_{\mathfrak c}\)-points are \(\bowtie\)-equivalent. Finally, modifying a construction by B. Veličković, a model of \(\text{ZFC}+\text{MA}_{\aleph_ 1}\) is constructed in which every two \(P_{\mathfrak c}\)-points are topologically equivalent. The equivalence relation \(\bowtie\) plays a central role in the construction.