2016 seminar talk: Maximal discrete sets with large continuum

Talk held by David Schrittesser (University of Copenhagen, Denmark) at the KGRC seminar on 2016-01-07.


In a previous talk at the KGRC, I showed how to construct definable maximal discrete sets in forcing extensions of $L$, in particular in the Sacks and Miller extension. In particular, the existence of such sets is consistent with $V \neq L$.

In this talk I shall show the stronger result that the existence of definable discrete sets is consistent with large continuum. In the process, I show an interesting generalization of Galvin's theorem. In particular, this applies to the example of maximal orthogonal families of measures (mofs).

One might hope for a simpler way of constructing a mof in a model with large continuum: to find an indestructible such family in $L$. While such an approach is possible e.g. for maximal cofinitary groups, this is impossible for mofs.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.