Projects
Topology in and via Logic (2024)
Supervised Project
Topology is one of the basic areas of contemporary mathematics, and finds applications in all areas of logic: from traditionally mathematical subjects (model theory, set theory, category theory and al...
Algebra, Categories and Models - Reading Group
Seminars and Reading Groups
There is also some logic involved, if one really insists. Organized by Rodrigo Almeida and Lingyuan Ye.
Neo-Stability Theory Reading Group
Seminars and Reading Groups
It should probably be called classification theory.
Categorical Model Theory Reading Group
Seminars and Reading Groups
Accessing Shelah’s Abstract Elementary Classes.