Set theory is part of the foundation of mathematics. On the one hand, it belongs to mathematical foundations and logic, and on the other hand it belongs firmly to mathematics. Set theoretic methods have been used to answer questions in topology, measure theory, Boolean algebras, Banach spaces, group theory and other parts of mathematics. We are working on a number of questions involving methods from combinatorial set theory, such as pcf theory and forcing, and to a lesser extent, descriptive set theory. Some concrete problems proposed are applications of new methods in forcing axioms, including forcing object on cardinal aleph_2 and above.

This project is also open to applicants (home, EU or Overseas) who have their own funding.  Self-funding applicants. Self-funded applicants may apply to study on a part-time basis. 

Set Theory, third millennium edition, T. Jech