Abstract Improving and clarifying a construction of Horowitz Shelah, we show how to construct (in $\mathsf {ZF}$ , i.e., without using the Axiom Choice) maximal cofinitary groups. Among groups construct, one is definable by formula in second-order arithmetic with only few natural number quantifiers.