Constructing a maximal cofinitary group (Q1394507)

A subgroup \(G\) of the symmetric group \(\text{Sym}(\omega)\) is `cofinitary' if every non-identity element of \(G\) has just finitely many fixed points. See [\textit{P. J. Cameron}, Bull. Lond. Math. Soc. 28, No. 2, 113-140 (1996; Zbl 0853.20002)] for a survey of cofinitary groups. By Zorn's Lemma, every cofinitary group is contained in a `maximal cofinitary group', that is, one maximal among the cofinitary subgroups of \(\text{Sym}(\omega)\). Assuming CH, the author gives a rather more concrete step-by-step construction of a maximal cofinitary group. He gives an analogous construction under Martin's Axiom and the negation of CH.