I will talk about my new proof that there are no analytic infinite mad (maximal almost disjoint) families of subsets of $\omega$, a result originally proved by A.D.R. Mathias in his famous "Happy Families" paper. The new proof motivates a proof that there are no infinite mad families in Solovay's model. If time permits, I will also talk about the differences between mad families of subsets of $\omega$ and other types of mad families, such as eventually different families of functions from $\omega$ to $\omega$, and why these problems may be very different from the situation presented by mad families of subsets of $\omega$.

The video for this talk should appear here if JavaScript is enabled.If it doesn't, something may have gone wrong with our embedded player.We'll get it fixed as soon as possible.