Ali Enayat

发表

Automorphisms of models of arithmetic: A unified view

Ali Enayat, 2007, Ann. Pure Appl. Log..

Conservative Extensions of Models of Set Theory and Generalizations

Ali Enayat, 1986, J. Symb. Log..

Models of set theory with definable ordinals

Ali Enayat, A. Enayat, 2005, Arch. Math. Log..

Trees and Keislers problem

Ali Enayat, 2001, Arch. Math. Log..

MATH 503-001: Foundations of Higher Mathematics - course syllabus

Ali Enayat, 2009 .

Leibnizian models of set theory

Ali Enayat, 2004, J. Symb. Log..

Unifying the model theory of first-order and second-order arithmetic via

Ali Enayat, Tin Lok Wong, A. Enayat, 2017, Ann. Pure Appl. Log..

Marginalia on a Theorem of Woodin

Ali Enayat, Rasmus Blanck, 2017, J. Symb. Log..

2008-2009 winter meeting of the association for symbolic logic

Ali Enayat, 2009 .

Model theory of the regularity and reflection schemes

Ali Enayat, Shahram Mohsenipour, 2008, Arch. Math. Log..

Elementary equivalence of rings with finitely generated additive groups

Ali Enayat, Saeideh Bahrami, 2018, Ann. Pure Appl. Log..

Preface

Ali Enayat, Iraj Kalantari, 2010, Ann. Pure Appl. Log..

Largest initial segments pointwise fixed by automorphisms of models of set theory

Ali Enayat, Matt Kaufmann, Zachiri McKenzie, 2018, Arch. Math. Log..

Power-Like Models of Set Theory

Ali Enayat, 2001, J. Symb. Log..

Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes

Joel David Hamkins, Ali Enayat, 2018, J. Symb. Log..

δ as a Continuous Function of x and ε

Ali Enayat, A. Enayat, 2000, Am. Math. Mon..

Truth and Feasible Reducibility

Ali Enayat, Mateusz Lelyk, Bartosz Wcislo, 2020, J. Symb. Log..

A standard model of Peano arithmetic with no conservative elementary extension

Ali Enayat, A. Enayat, 2008, Ann. Pure Appl. Log..

Truth, disjunction, and induction

Fedor Pakhomov, Ali Enayat, 2019, Arch. Math. Log..

Weakly Compact Cardinals in Models of Set Theory

Ali Enayat, 1985, J. Symb. Log..

Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003

Ali Enayat, Mojtaba Moniri, Iraj Kalantari, 2016 .

Mathematical logic in Iran: A perspective

Ali Enayat, Mojtaba Moniri, Iraj Kalantari, 2016 .

Mohammad Ardeshir. Manteghé Riazi (Mathematical Logic) . Hermes Publications, Tehran, 2005, 262 pp.

Ali Enayat, 2008 .

Iterated ultrapowers for the masses

Ali Enayat, Matt Kaufmann, Zachiri McKenzie, 2017, Arch. Math. Log..

Minimal elementary extensions of models of set theory and arithmetic

Ali Enayat, 1990, Arch. Math. Log..

Condensable models of set theory

Ali Enayat, 2021, Archive for Mathematical Logic.

On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom

Ali Enayat, Vassily A. Lyubetsky, Vladimir Kanovei, 2021, Mathematics.

End extending models of set theory via power admissible covers

Ali Enayat, Zachiri McKenzie, 2021 .

On the Leibniz–Mycielski axiom in set theory

Ali Enayat, 2004 .

FROM BOUNDED ARITHMETIC TO SECOND ORDER ARITHMETIC VIA AUTOMORPHISMS

Ali Enayat, A. Enayat, 2005 .

Automorphisms of models of bounded arithmetic

Ali Enayat, A. Enayat, 2006 .

Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

Ali Enayat, 2006 .

Remarks on algebraic D-varieties and the model theory of differential fields

Ali Enayat, Anand Pillay, Mojtaba Moniri, 2016 .

On certain elementary extensions of models of set theory

Ali Enayat, 1984 .

Automorphisms , Mahlo Cardinals , and NFU

Ali Enayat, 2004 .

UNDEFINABLE CLASSES AND DEFINABLE ELEMENTS IN MODELS OF SET THEORY AND ARITHMETIC

Ali Enayat, 1988 .

ω-Models of finite set theory

James H. Schmerl, Albert Visser, Ali Enayat, 2008 .