Ali Enayat
Göteborgs universitet
H-index: 13
Europe-Sweden
Top articles of Ali Enayat
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Indiscernibles and satisfaction classes in arithmetic | Archive for Mathematical Logic | Ali Enayat | 2024/3/28 |
Categoricity-like properties in the first-order realm | Ali Enayat Mateusz Łełyk | 2024/2/3 | |
Curious satisfaction classes | arXiv preprint arXiv:2308.07463 | Ali Enayat | 2023/8/14 |
THE BULLETIN OF SYMBOLIC LOGIC | Laurent Bienvenu Matthias Baaz Ali Enayat James Cummings Leonid Libkin | 2021 | |
Axiomatizations of Peano Arithmetic: A truth-theoretic view | The Journal of Symbolic Logic | Ali Enayat Mateusz Łełyk | 2023/12 |
Incompleteness of boundedly axiomatizable theories | arXiv preprint arXiv:2311.14025 | Ali Enayat Albert Visser | 2023/11/23 |
Set theoretical analogues of the Barwise-Schlipf theorem | Annals of Pure and Applied Logic | Ali Enayat | 2022/10/1 |
End extending models of set theory via power admissible covers | Annals of Pure and Applied Logic | Zachiri McKenzie Ali Enayat | 2022/8/1 |
Condensable models of set theory | Archive for Mathematical Logic | Ali Enayat | 2022/5 |
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited | Journal of Mathematical Logic | Ali Enayat Vladimir Kanovei | 2021/12/26 |
Initial self-embeddings of models of set theory | The Journal of Symbolic Logic | Ali Enayat Zachiri McKenzie | 2021/12 |
On effectively indiscernible projective sets and the Leibniz-Mycielski axiom | Mathematics | Ali Enayat Vladimir Kanovei Vassily Lyubetsky | 2021/7/15 |
Analogues of the MacDowell-Specker theorem for set theory | Ali Enayat | 2021/2/27 | |
The Barwise-Schlipf theorem | Proceedings of the American Mathematical Society | Ali Enayat James Schmerl | 2021/1 |
Set theory with a proper class of indiscernibles | arXiv preprint arXiv:2008.07706 | Ali Enayat | 2020/8/18 |
Truth and feasible reducibility | The Journal of Symbolic Logic | Ali Enayat Mateusz Łełyk Bartosz Wcisło | 2020/3 |
An unpublished theorem of Solovay, revisited | Journal of Mathematical Logic | Ali Enayat Vladimir Kanovei | 2020/1/29 |