Centre de Recerca Matemàtica
Organizers: Joan Bagaria (Barcelona), Menachem Magidor (Hebrew University), Jouko Väänänen (Helsinki)
CMI Enhancement and Partnership Program
This program aims to attract to the CRM a diverse group of international high-level researchers working in strong logics, large cardinals, the foundations of set theory, and the applications of set-theoretical methods in other areas of mathematics, such as algebra, set-theoretical topology, category theory, algebraic topology, homotopy theory, C*-algebras, measure theory, etc. In all these areas there are not only direct set-theoretical applications but also new results and methods, which are amenable to the expressive power of strong logics.