University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Around the definability of mad families

Around the definability of mad families

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact webseminars.

Mathematical, Foundational and Computational Aspects of the Higher Infinite

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$.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity