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

Ali Enayat

Professor

Ali Enayat
Professor
Logic
ali.enayat@gu.se

Room number: T242
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Olof Wijksgatan 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
www.flov.gu.se
flov@flov.gu.se
Visiting Address: Olof Wijksgatan 6 , 412 55 Göteborg

About Ali Enayat

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. 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.

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 current research work is focused on model theory of arithmetic and set theory, and axiomatic theories of truth.

Recent Conference Organization

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

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

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

Showing 1 - 10 of 15

2018

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

2017

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

2016

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

Showing 1 - 10 of 15

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

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?