Ali Enayat

Professor Emeritus

Linguistics and Theory of Science
Visiting address
Renströmsgatan 6
41255 Göteborg
Postal address
Box 200
40530 Göteborg

About Ali Enayat

I began my work at GU as Professor of Logic in May of 2013. Since July 1, 2020, I have been academically affiliated with GU as Emeritus Professor of Logic. A Spartan version of my CV can be found on a link on the upper right corner of this page, below my picture.

During 2013-2020, I served as the postdoctoral supervisor of Dr. Zachiri McKenzie (2015-2017), and as the primary doctoral advisor for Dr. Rasmus Blanck (PhD 2017, GU), Dr. Paul Kindvall Gorbow (PhD 2018, GU), and Dr. Saeideh Bahrami (PhD 2018, Tarbiat Modares Univ., Tehran).

Prior to my arrival in Gothenburg in 2013, I served as Professor of Mathematics in the Department of Mathematics and Statistics at American University, Washington, DC. I have also held faculty positions at the Mathematics Departments of Sharif University (Iran), Western Illinois University (USA), and San Jose State University (USA); as well as visiting research positions at IPM (Iran), the Department of Philosophy at Utrecht University (the Netherlands), and the Mittag-Leffler Institute (Sweden).

I grew up in Tehran, Iran during the ancien régime, and graduated from Alborz High School in 1976, three years before the Iranian Revolution. I received my B.S. degree in Mathematics from Iowa State University (1979), and my Ph.D. in Mathematics (1984) from the University of Wisconsin (Madison), under the direction of Ken Kunen with a thesis on models of set theory.


I am a mathematical logician, with a strong interest in the metamathematics of foundational axiomatic systems such as Zermelo-Fraenkel set theory (ZF) and Peano arithmetic (PA). My approach is dominantly model-theoretic and has focused on fragments of ZF, ZF with large cardinals, Quine-Jensen set theory NFU, and arithmetical systems of various flavors, ranging from fragments of PA, all the way to second order arithmetic and its subsystems.

My research work is focused on model theory of arithmetic and set theory, and axiomatic theories of truth. I am a member of the team of researchers working on the project EPISTEMIC AND SEMANTIC COMMITMENTS OF FOUNDATIONAL THEORIES (supported by a MAESTRO grant of the Polish National Science Centre).

Current editorial responsibilities:

Conference/workshop organization at GU:

Gothenburg-Warsaw Workshop on Truth, Gothenburg, Dec 6, 2018.

Tenth Scandinavian Logic Symposium, Gothenburg, June 11-13, 2018.

Journées sur les Arithmétiques Faibles 33 (JAF33), June 16-18, 2013

Related Links

Webpage for our departmental logic group

My researchgate profile, which contains some of my papers

My webpage at my former university