RESEARCH IN RESIDENCE — Unsolvable problems in dynamical systems

Starting in the 2011 Annals of Mathematics paper of Foreman, Rudolph and Weiss there have many results showing that classical problems in dynamical systems are unsolvable using inherently countable resources. The initial results were for abstract measure preserving systems, but more recent work has focussed on smooth systems on compact manifolds. Gerber and Kunde have made very significant contributions for smooth transformations that are weakly mixing and for Kautomorphisms. They also showed that the Kakutani equivalence relation is not Borel. These results raise more questions than they solve! The proposed Research inResidence is to bring the four researchers together to share knowledge and techniques and hopefully make progress on the open problems.