Weakly Compact Cardinals in Models of Set Theory. - Ali Enayat (J. Symb. Log., 1985)

Conservative Extensions of Models of Set Theory and Generalizations. - Ali Enayat (J. Symb. Log., 1986)

Minimal elementary extensions of models of set theory and arithmetic. - Ali Enayat (Arch. Math. Log., 1990)

δ as a Continuous Function of x and ε. - Ali Enayat (Am. Math. Mon., 2000)

Trees and Keislers problem. - Ali Enayat (Arch. Math. Log., 2001)

Power-Like Models of Set Theory. - Ali Enayat (J. Symb. Log., 2001)

Leibnizian models of set theory. - Ali Enayat (J. Symb. Log., 2004)

Models of set theory with definable ordinals. - Ali Enayat (Arch. Math. Log., 2005)

Automorphisms of models of arithmetic: A unified view. - Ali Enayat (Ann. Pure Appl. Log., 2007)

Model theory of the regularity and reflection schemes. - Ali Enayat; Shahram Mohsenipour (Arch. Math. Log., 2008)

A standard model of Peano arithmetic with no conservative elementary extension. - Ali Enayat (Ann. Pure Appl. Log., 2008)

Preface. - Ali Enayat; Iraj Kalantari (Ann. Pure Appl. Log., 2010)

Unifying the model theory of first-order and second-order arithmetic via. - Ali Enayat; Tin Lok Wong (Ann. Pure Appl. Log., 2017)

Marginalia on a Theorem of Woodin. - Rasmus Blanck; Ali Enayat (J. Symb. Log., 2017)

Largest initial segments pointwise fixed by automorphisms of models of set theory. - Ali Enayat; Matt Kaufmann; Zachiri McKenzie (Arch. Math. Log., 2018)

Iterated ultrapowers for the masses. - Ali Enayat; Matt Kaufmann; Zachiri McKenzie (Arch. Math. Log., 2018)

Preface. - Ali Enayat; Massoud Pourmahdian; Ralf Schindler (Arch. Math. Log., 2018)

Elementary equivalence of rings with finitely generated additive groups. - Saeideh Bahrami; Ali Enayat (Ann. Pure Appl. Log., 2018)

Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes. - Ali Enayat; Joel David Hamkins (J. Symb. Log., 2018)

Truth, disjunction, and induction. - Ali Enayat; Fedor Pakhomov (Arch. Math. Log., 2019)

Truth and Feasible Reducibility. - Ali Enayat; Mateusz Lelyk; Bartosz Wcislo (J. Symb. Log., 2020)

An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. - Ali Enayat; Vladimir Kanovei (J. Math. Log., 2021)

Initial Self-Embeddings of Models of Set Theory. - Ali Enayat; Zachiri McKenzie (J. Symb. Log., 2021)

Condensable models of set theory. - Ali Enayat (Arch. Math. Log., 2022)

Set theoretical analogues of the Barwise-Schlipf theorem. - Ali Enayat (Ann. Pure Appl. Log., 2022)

End extending models of set theory via power admissible covers. - Zachiri McKenzie; Ali Enayat (Ann. Pure Appl. Log., 2022)

Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. - Ali Enayat; Mateusz Lelyk (J. Symb. Log., 2023)

Indiscernibles and satisfaction classes in arithmetic. - Ali Enayat (Arch. Math. Log., 2024)