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.