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...