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


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 Papers

Recent Conference Organization

IPM Conference on Model theory and Set Theory, Tehran, October 12-16, 2015.
33rd meeting of JAF, Gothenburg, June 14-16, 2014.

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

Email: ali.enayat@gu.se

Latest publications

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

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 1 - 7 of 7

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

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

2015

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

2014

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

2013

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 1 - 7 of 7

Page Manager: Monica Havström|Last update: 8/22/2016
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?