- Home
- About
- Find staff
- Ali Enayat
Ali Enayat
Professor Emeritus
Linguistics and Theory of Science unitAbout Ali Enayat
I am a mathematical logician whose research work is focused on model theory of arithmetic and set theory, and axiomatic theories of truth. I am currently 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).
My CV can be found on a link on the upper right corner of this page, below my picture.
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. 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.
Current editorial responsibilities:
- Bulletin of Iranian Mathematical Society (BIMS), published by Springer.
- Bulletin of Symbolic Logic (BSL), published by Cambridge Univ. Press.
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
External webpage for our departmental logic group,
University webpage for our departmental logic group
My researchgate profile, which contains most of my papers
My webpage at my former university
-
Satisfaction classes with approximate disjunctive
correctness
Ali Enayat
The Review of Symbolic Logic - 2024 -
Categoricity-like properties in the First Order
Realm
Ali Enayat, Mateusz Łełyk
Journal for the Philosophy of Mathematics - 2024 -
Incompleteness of boundedly axiomatizable
theories
Ali Enayat, Albert Visser
Proceedings of the American Mathematical Society - 2024 -
Indiscernibles and satisfaction classes in
arithmetic
Ali Enayat
Archive for mathematical logic - 2024 -
Models of Set Theory: Extensions and
Dead-ends
Ali Enayat
2024 -
Axiomatizations of Peano Arithmetic: a truth-theoretic
view
Ali Enayat, Mateusz Łełyk
Journal of Symbolic Logic - 2023 -
Set theory with a proper class of
indiscernibles
Ali Enayat
Fundamenta Mathematicae - 2022 -
Topological models of
arithmetic
Ali Enayat, Joel David Hamkins, Bartosz Wcisło
Fundamenta Mathematicae - 2022 -
End extending models of set theory via power admissible
covers
Zachiri McKenzie, Ali Enayat
Annals of Pure and Applied Logic - 2022 -
Set theoretical analogues of the Barwise-Schlipf
theorem
Ali Enayat
Annals of Pure and Applied Logic - 2022 -
Condensable models of set
theory
Ali Enayat
Archive for mathematical logic - 2022 -
Initial self-embeddings of models of set
theory
Ali Enayat, Zachiri McKenzie
Journal of Symbolic Logic - 2021 -
On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski
Axiom
Ali Enayat, Vladimir Kanovei, Vassily Lyubetski
Mathematics - 2021 -
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts,
revisited
Ali Enayat, Vladimir Kanovei
Journal of Mathematical Logic - 2021 -
The Barwise-Schlipf
Theorem
Ali Enayat, James H. Schmerl
Proceedings of the American Mathematical Society - 2021 -
Truth and feasible
reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Journal of Symbolic Logic - 2020 -
Truth, Disjunction, and
Induction
Ali Enayat, Fedor Pakhomov
Archive for mathematical logic - 2019 -
Iterated ultrapowers for the
masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic - 2018 -
Fixed points of self-embeddings of models of
arithmetic
Saeideh Bahrami, Ali Enayat
Annals of Pure and Applied Logic - 2018 -
Special Issue: Proceedings of the IPM Conference on Set Theory and Model Theory, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran, Iran, October 12-15,
2015
Ali Enayat, Massoud Pourmahdian, Ralf Schindler
Archive for mathematical logic - 2018 -
ZFC proves that the class of ordinals is not weakly compact for definable
classes
Ali Enayat, Joel David Hamkins
Journal of Symbolic Logic - 2018 -
Largest initial segments pointwise fixed by automorphisms of models of set
theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for Mathematical Logic - 2018 -
Feferman's Forays into the Foundations of Category
Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) - 2017 -
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 - 2017 -
Marginalia on a theorem of
Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic - 2017 -
Studies in Weak
Arithmetics
Patrick Cegielski, Ali Enayat, Roman Kossak
2016 -
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.) - 2016 -
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 - 2015 -
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å - 2014 -
Interpretations and mathematical logic: a
tutorial
Ali Enayat
Proceedings of the Second Frontiers of Mathematics Meeting (Tehran, Iran) - 2014 -
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 - 2013