Large Cardinals and Strong Logics

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.