Ali Enayat

29 papers Journal 29
YearRankTypeTitle / Venue / Authors
2025 J jnl
Satisfaction Classes with Approximate Disjunctive Correctness.
Rev. Symb. Log.
Ali Enayat
2024 J jnl
Indiscernibles and satisfaction classes in arithmetic.
Arch. Math. Log.
Ali Enayat
2023 J jnl
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View.
J. Symb. Log.
Ali Enayat, Mateusz Lelyk
2022 J jnl
Condensable models of set theory.
Arch. Math. Log.
Ali Enayat
2022 J jnl
End extending models of set theory via power admissible covers.
Ann. Pure Appl. Log.
Zachiri McKenzie, Ali Enayat
2022 J jnl
Set theoretical analogues of the Barwise-Schlipf theorem.
Ann. Pure Appl. Log.
Ali Enayat
2021 J jnl
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.
J. Math. Log.
Ali Enayat, Vladimir Kanovei
2021 J jnl
Initial Self-Embeddings of Models of Set Theory.
J. Symb. Log.
Ali Enayat, Zachiri McKenzie
2020 J jnl
Truth and Feasible Reducibility.
J. Symb. Log.
Ali Enayat, Mateusz Lelyk, Bartosz Wcislo
2019 J jnl
Truth, disjunction, and induction.
Arch. Math. Log.
Ali Enayat, Fedor Pakhomov
2018 J jnl
Elementary equivalence of rings with finitely generated additive groups.
Ann. Pure Appl. Log.
Saeideh Bahrami, Ali Enayat
2018 J jnl
Iterated ultrapowers for the masses.
Arch. Math. Log.
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
2018 J jnl
Largest initial segments pointwise fixed by automorphisms of models of set theory.
Arch. Math. Log.
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
2018 J jnl
Preface.
Arch. Math. Log.
Ali Enayat, Massoud Pourmahdian, Ralf Schindler
2018 J jnl
Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes.
J. Symb. Log.
Ali Enayat, Joel David Hamkins
2017 J jnl
Marginalia on a Theorem of Woodin.
J. Symb. Log.
Rasmus Blanck, Ali Enayat
2017 J jnl
Unifying the model theory of first-order and second-order arithmetic via.
Ann. Pure Appl. Log.
Ali Enayat, Tin Lok Wong
2010 J jnl
Preface.
Ann. Pure Appl. Log.
Ali Enayat, Iraj Kalantari
2008 J jnl
A standard model of Peano arithmetic with no conservative elementary extension.
Ann. Pure Appl. Log.
Ali Enayat
2008 J jnl
Model theory of the regularity and reflection schemes.
Arch. Math. Log.
Ali Enayat, Shahram Mohsenipour
2007 J jnl
Automorphisms of models of arithmetic: A unified view.
Ann. Pure Appl. Log.
Ali Enayat
2005 J jnl
Models of set theory with definable ordinals.
Arch. Math. Log.
Ali Enayat
2004 J jnl
Leibnizian models of set theory.
J. Symb. Log.
Ali Enayat
2001 J jnl
Power-Like Models of Set Theory.
J. Symb. Log.
Ali Enayat
2001 J jnl
Trees and Keislers problem.
Arch. Math. Log.
Ali Enayat
2000 J jnl
δ as a Continuous Function of x and ε.
Am. Math. Mon.
Ali Enayat
1990 J jnl
Minimal elementary extensions of models of set theory and arithmetic.
Arch. Math. Log.
Ali Enayat
1986 J jnl
Conservative Extensions of Models of Set Theory and Generalizations.
J. Symb. Log.
Ali Enayat
1985 J jnl
Weakly Compact Cardinals in Models of Set Theory.
J. Symb. Log.
Ali Enayat