Definable maximal cofinitary groups of intermediate size

Using almost disjoint coding, we show that for each $1<M<N<\omega$ consistently $\mathfrak{d}=\mathfrak{a}_g=\aleph_M<\mathfrak{c}=\aleph_N$, where $\mathfrak{a}_g=\aleph_M$ is witnessed by a $\Pi^1_2$ maximal cofinitary group.Comment: 22 page

‘Genetic Coding’ Reconsidered : An Analysis of Actual Usage

I thank George Pandarakalam for research assistance; Hans-Jörg Rheinberger for hosting my stay at the Max Planck Institute for History of Science, Berlin; and Sahotra Sarkar and referees of this journal for offering detailed comments. Funded by the Wellcome Trust (WT098764MA).Peer reviewedPublisher PD