Image

Photo: Jessica Oscarsson
Research in Logic and Mathematical methodology
Our research group in Logic employs rigorous mathematical methodology to investigate the Metamathematics of Foundational Systems (especially systems related to first and second order arithmetic, as well as Zermelo-Fraenkel set theory and its extensions), Axiomatic Theories of Truth, Logical Constants, and Dependence Logic.
People
- Ali Enayat, Professor Emeritus
- Rasmus Blanck, Senior Lecturer
- Fredrik Engström, Senior Lecturer
- Martin Kaså, Senior Lecturer
- Bahareh Afshari, Researcher
- Graham Leigh, Researcher
- Paul Kindvall Gorbow, Postdoctor
- Giacomo Barlucchi, Doctoral Student
- Tjeerd Fokkens, Doctoral Student
- Mattias Granberg Olsson, Doctoral Student
More detailed information about our research group can be found in the list of recent publications of our group, and by visiting the personal pages of our researchers.