An invariant set-theoretic approach to Mathias' theorem
Speaker:
Asger Tornquist, University of Copenhagen
Date and Time:
Friday, May 20, 2016 - 1:30pm to 3:00pm
Location:
Fields Institute, Room 210
Abstract:
Mathias proved in 1969 that there are no infinite analytic maximal almost disjoint families of subsets of $\omega$. His proof is essentially Ramsey theoretical. A few years ago I found a "classical" proof of this theorem which uses a tree/derivative argument. But in this talk, I will give yet another proof, this time one that is closer in spirit to Mathias' original proof, but which avoids the Ramsey theoretical machinery by instead using a bit of garden-variety invariant descriptive set theory.