The happy coexistence of mad families and Laver measurability

Abstract

Let $x$ denote a Laver real over $L$. We prove that in $L[x]$ there is a ${\Pi }_1^1$ infinite mad family. Since ${\Pi }_1^1$ and ${\Sigma }_2^1$ sets are Laver measurable in $L[x]$, this shows that there are examples of well-behaved classical pointclasses $\Gamma$, namely $\Gamma ={\Pi }_1^1$ and $\Gamma ={\Sigma }_2^1$, where $\Gamma$-uniformization and ``all sets in $\Gamma$ are Laver measurable'' hold, but there is a mad family in $\Gamma$. This result stands in contrast to that for reasonable pointclasses, the $\Gamma$-Ramsey property together with uniformization implies that there are no mad families in $\Gamma$.