Ali Enayat

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 16

Top Topics

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Ali Enayat
Indiscernibles and satisfaction classes in arithmetic. Arch. Math. Log. 63 (5-6) (2024)
Ali Enayat, Mateusz Lelyk
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. J. Symb. Log. 88 (4) (2023)
Ali Enayat
Condensable models of set theory. Arch. Math. Log. 61 (3-4) (2022)
Ali Enayat
Set theoretical analogues of the Barwise-Schlipf theorem. Ann. Pure Appl. Log. 173 (9) (2022)
Zachiri McKenzie, Ali Enayat
End extending models of set theory via power admissible covers. Ann. Pure Appl. Log. 173 (8) (2022)
Ali Enayat, Vladimir Kanovei
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. J. Math. Log. 21 (3) (2021)
Ali Enayat, Zachiri McKenzie
Initial Self-Embeddings of Models of Set Theory. J. Symb. Log. 86 (4) (2021)
Ali Enayat, Mateusz Lelyk, Bartosz Wcislo
Truth and Feasible Reducibility. J. Symb. Log. 85 (1) (2020)
Ali Enayat, Fedor Pakhomov
Truth, disjunction, and induction. Arch. Math. Log. 58 (5-6) (2019)
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Largest initial segments pointwise fixed by automorphisms of models of set theory. Arch. Math. Log. 57 (1-2) (2018)
Ali Enayat, Joel David Hamkins
Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes. J. Symb. Log. 83 (1) (2018)
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Iterated ultrapowers for the masses. Arch. Math. Log. 57 (5-6) (2018)
Saeideh Bahrami, Ali Enayat
Elementary equivalence of rings with finitely generated additive groups. Ann. Pure Appl. Log. 169 (6) (2018)
Ali Enayat, Massoud Pourmahdian, Ralf Schindler
Preface. Arch. Math. Log. 57 (1-2) (2018)
Ali Enayat, Tin Lok Wong
Unifying the model theory of first-order and second-order arithmetic via. Ann. Pure Appl. Log. 168 (6) (2017)
Rasmus Blanck, Ali Enayat
Marginalia on a Theorem of Woodin. J. Symb. Log. 82 (1) (2017)
Ali Enayat, Iraj Kalantari
Preface. Ann. Pure Appl. Log. 161 (6) (2010)
Ali Enayat
A standard model of Peano arithmetic with no conservative elementary extension. Ann. Pure Appl. Log. 156 (2-3) (2008)
Ali Enayat, Shahram Mohsenipour
Model theory of the regularity and reflection schemes. Arch. Math. Log. 47 (5) (2008)
Ali Enayat
Automorphisms of models of arithmetic: A unified view. Ann. Pure Appl. Log. 145 (1) (2007)
Ali Enayat
Models of set theory with definable ordinals. Arch. Math. Log. 44 (3) (2005)
Ali Enayat
Leibnizian models of set theory. J. Symb. Log. 69 (3) (2004)
Ali Enayat
Power-Like Models of Set Theory. J. Symb. Log. 66 (4) (2001)
Ali Enayat
Trees and Keislers problem. Arch. Math. Log. 40 (4) (2001)
Ali Enayat
δ as a Continuous Function of x and ε. Am. Math. Mon. 107 (2) (2000)
Ali Enayat
Minimal elementary extensions of models of set theory and arithmetic. Arch. Math. Log. 30 (3) (1990)
Ali Enayat
Conservative Extensions of Models of Set Theory and Generalizations. J. Symb. Log. 51 (4) (1986)
Ali Enayat
Weakly Compact Cardinals in Models of Set Theory. J. Symb. Log. 50 (2) (1985)