Skip to main content
Breadcrumb

Ali Enayat

Professor Emeritus

Department of Philosophy, Linguistics, Theory of
Science
Visiting address
Renströmsgatan 6
41255 Göteborg
Room number
T242
Postal address
Box 200
40530 Göteborg

About Ali Enayat

I began my work at GU as Professor of Logic in May of 2013. As of July 1, 2020 I am 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.

Since arriving at GU, I served as the postdoctoral supervisor of Dr. Zachiri McKenzie (2015-2017), and as the primary doctoral advisor for Rasmus Blanck (PhD 2017, GU), Paul Kindvall Gorbow (PhD 2018, GU), and 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, then I went to USA and 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.

Research

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.

Current editorial responsibities:

Recent conference/workshop organization:

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

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

Related Links

Webpage for our departmental logic group

My researchgate profile, which contains some of my papers

My webpage at my former university