Till startsida
To content Read more about how we use cookies on gu.se

Ali Enayat


Ali Enayat

Room number: T242
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Renströmsgatan 6 , 41255 Göteborg

Linguistics, Logic and Theory of Science unit at Department of Philosophy, Linguistics, Theory of Science (More Information)
Box 200
405 30 Göteborg
Visiting Address: Olof Wijksgatan 6 , 412 55 Göteborg

About Ali Enayat

A Spartan version of my CV can be found on a link further down this page, right after "RELATED LINKS".

I began my work as Professor of Logic at the Department of Philosophy, Linguistics and Theory of Science in 2013. Prior to my arrival in Gothenburg, 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.


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 current 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 Interview with a campus publication
My researchgate profile, which contains some of my papers
My webpage at my former university


Latest publications

The Barwise-Schlipf Theorem
Ali Enayat, James H. Schmerl
Working paper 2019
Working paper

Truth and feasible reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Journal of Symbolic Logic, Journal article 2019
Journal article

Truth, Disjunction, and Induction
Ali Enayat, Fedor Pakhomov
Archive for mathematical logic, Journal article 2019
Journal article

Topological models of arithmetic
Ali Enayat, Joel David Hamkins, Bartosz Wcisło
Working paper 2018
Working paper

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Journal article 2018
Journal article

Fixed points of self-embeddings of models of arithmetic
Saeideh Bahrami, Ali Enayat
Annals of Pure and Applied Logic, Journal article 2018
Journal article

ZFC proves that the class of ordinals is not weakly compact for definable classes
Ali Enayat, Joel David Hamkins
Journal of Symbolic Logic, Journal article 2018
Journal article

Showing 11 - 20 of 20



Feferman's Forays into the Foundations of Category Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) , Cham, Springer International Publishing, Chapter in book 2017
Chapter in book

Unifying the model theory of first-order and second-order arithmetic via WKL*_0
Ali Enayat, Tin Lok Wong
Annals of Pure and Applied Logic, Journal article 2017
Journal article

Marginalia on a theorem of Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic, Journal article 2017
Journal article


Studies in Weak Arithmetics
Patrick Cegielski, Ali Enayat, Roman Kossak
Stanford, California, USA, CSLI Publications, Edited book 2016
Edited book

Variations on a Visserian Theme
Ali Enayat
Liber Amicorum Alberti : a tribute to Albert Visser / Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten (eds.) , London, College Publications, Chapter in book 2016
Chapter in book


New Constructions of Satisfaction Classes
Ali Enayat, A. Visser
Unifying the Philosophy of Truth / Theodora Achourioti, Henri Galinon José Martínez Fernández, Kentaro Fujimoto Editors, Dordrecht, Springer, Chapter in book 2015
Chapter in book


Standard Models of Arithmetic
Ali Enayat
Idées Fixes : a Festschrift dedicated to Christian Bennet on the occasion of his 60th birthday / edited by Martin Kaså, Göteborg, University of Gothenburg, Chapter in book 2014
Chapter in book

Interpretations and mathematical logic: a tutorial
Ali Enayat
Proceedings of the Second Frontiers of Mathematics Meeting (Tehran, Iran), Conference contribution 2014
Conference contribution


A New Proof of Tanaka's Theorem
Ali Enayat
New Studies in Weak Arithmetics. Patrick Cégielski, Charalampos Cornaros, and Costas Dimitracopoulos (eds.). CSLI Lectures Notes, No.211, Conference paper 2013
Conference paper

Showing 11 - 20 of 20

Page Manager: Monica Havström|Last update: 1/25/2018

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?