# zbMATH — the first resource for mathematics

## Enayat, Ali

Compute Distance To:
 Author ID: enayat.ali Published as: Enayat, A.; Enayat, Ali External Links: MGP
 Documents Indexed: 40 Publications since 1981, including 4 Books Reviewing Activity: 8 Reviews
all top 5

#### Co-Authors

 21 single-authored 3 McKenzie, Zachiri 2 Kalantari, Iraj 2 Kaufmann, Matt 2 Kossak, Roman 2 Schmerl, James H. 1 Abian, Alexander 1 Bahrami, Saeideh 1 Blanck, Rasmus 1 Cegielski, Patrick 1 Gorbow, Paul K. 1 Hamkins, Joel David 1 Łełyk, Mateusz 1 Mohsenipour, Shahram 1 Moniri, Mojtaba 1 Pakhomov, Fedor N. 1 Pourmahdian, Massoud 1 Schindler, Ralf-Dieter 1 Shelah, Saharon 1 Visser, Albert 1 Wcisło, Bartosz 1 Wong, Tin Lok
all top 5

#### Serials

 8 Archive for Mathematical Logic 7 The Journal of Symbolic Logic 5 Annals of Pure and Applied Logic 3 Fundamenta Mathematicae 2 Proceedings of the American Mathematical Society 1 American Mathematical Monthly 1 Simon Stevin 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 The Bulletin of Symbolic Logic 1 Contemporary Mathematics 1 CSLI Lecture Notes 1 Lecture Notes in Logic
all top 5

#### Fields

 38 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 2 Group theory and generalizations (20-XX) 2 General topology (54-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX)

#### Citations contained in zbMATH Open

28 Publications have been cited 99 times in 60 Documents Cited by Year
From bounded arithmetic to second order arithmetic via automorphisms. Zbl 1107.03038
Enayat, Ali
2006
Automorphisms, Mahlo cardinals and NFU. Zbl 1061.03035
Enayat, Ali
2004
On the Leibniz-Mycielski axiom in set theory. Zbl 1051.03041
Enayat, Ali
2004
On certain elementary extensions of models of set theory. Zbl 0563.03033
Enayat, Ali
1984
A standard model of Peano arithmetic with no conservative elementary extension. Zbl 1156.03035
Enayat, Ali
2008
Automorphisms of models of arithmetic: a unified view. Zbl 1115.03037
Enayat, Ali
2007
Automorphisms of models of bounded arithmetic. Zbl 1115.03036
Enayat, Ali
2006
Models of set theory with definable ordinals. Zbl 1068.03032
Enayat, Ali
2005
Undefinable classes and definable elements in models of set theory and arithmetic. Zbl 0658.03022
Enayat, Ali
1988
Unifying the model theory of first-order and second-order arithmetic via $$\mathrm{WKL}_0^\ast$$. Zbl 1422.03080
Enayat, Ali; Wong, Tin Lok
2017
Analogues of the MacDowell-Specker theorem for set theory. Zbl 0928.03044
Enayat, Ali
1999
An improper arithmetically closed Borel subalgebra of $$\mathcal P(\omega)$$ mod FIN. Zbl 1246.03066
Enayat, Ali; Shelah, Saharon
2011
Leibnizian models of set theory. Zbl 1070.03023
Enayat, Ali
2004
Counting models of set theory. Zbl 0998.03033
Enayat, Ali
2002
Power-like models of set theory. Zbl 0994.03034
Enayat, Ali
2001
Truth and feasible reducibility. Zbl 1444.03164
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz
2020
Iterated ultrapowers for the masses. Zbl 06919824
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2018
Fixed points of self-embeddings of models of arithmetic. Zbl 06856631
Bahrami, Saeideh; Enayat, Ali
2018
Model theory of the regularity and reflection schemes. Zbl 1149.03026
Enayat, Ali; Mohsenipour, Shahram
2008
Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Zbl 1094.03004
Enayat, Ali (ed.); Kalantari, Iraj (ed.); Moniri, Mojtaba (ed.)
2006
$$\delta$$ as a continuous function of $$x$$ and $$\epsilon$$. Zbl 1076.54514
Enayat, Ali
2000
Conservative extensions of models of set theory and generalizations. Zbl 0627.03017
Enayat, Ali
1986
ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016
Enayat, Ali; Hamkins, Joel David
2018
Largest initial segments pointwise fixed by automorphisms of models of set theory. Zbl 06836952
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2018
Feferman’s forays into the foundations of category theory. Zbl 1429.03158
Enayat, Ali; Gorbow, Paul; McKenzie, Zachiri
2017
Marginalia on a theorem of Woodin. Zbl 1419.03033
Blanck, Rasmus; Enayat, Ali
2017
A new proof of Tanaka’s theorem. Zbl 1432.03135
Enayat, Ali
2013
Weakly compact cardinals in models of set theory. Zbl 0586.03044
Enayat, Ali
1985
Truth and feasible reducibility. Zbl 1444.03164
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz
2020
Iterated ultrapowers for the masses. Zbl 06919824
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2018
Fixed points of self-embeddings of models of arithmetic. Zbl 06856631
Bahrami, Saeideh; Enayat, Ali
2018
ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016
Enayat, Ali; Hamkins, Joel David
2018
Largest initial segments pointwise fixed by automorphisms of models of set theory. Zbl 06836952
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2018
Unifying the model theory of first-order and second-order arithmetic via $$\mathrm{WKL}_0^\ast$$. Zbl 1422.03080
Enayat, Ali; Wong, Tin Lok
2017
Feferman’s forays into the foundations of category theory. Zbl 1429.03158
Enayat, Ali; Gorbow, Paul; McKenzie, Zachiri
2017
Marginalia on a theorem of Woodin. Zbl 1419.03033
Blanck, Rasmus; Enayat, Ali
2017
A new proof of Tanaka’s theorem. Zbl 1432.03135
Enayat, Ali
2013
An improper arithmetically closed Borel subalgebra of $$\mathcal P(\omega)$$ mod FIN. Zbl 1246.03066
Enayat, Ali; Shelah, Saharon
2011
A standard model of Peano arithmetic with no conservative elementary extension. Zbl 1156.03035
Enayat, Ali
2008
Model theory of the regularity and reflection schemes. Zbl 1149.03026
Enayat, Ali; Mohsenipour, Shahram
2008
Automorphisms of models of arithmetic: a unified view. Zbl 1115.03037
Enayat, Ali
2007
From bounded arithmetic to second order arithmetic via automorphisms. Zbl 1107.03038
Enayat, Ali
2006
Automorphisms of models of bounded arithmetic. Zbl 1115.03036
Enayat, Ali
2006
Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Zbl 1094.03004
Enayat, Ali (ed.); Kalantari, Iraj (ed.); Moniri, Mojtaba (ed.)
2006
Models of set theory with definable ordinals. Zbl 1068.03032
Enayat, Ali
2005
Automorphisms, Mahlo cardinals and NFU. Zbl 1061.03035
Enayat, Ali
2004
On the Leibniz-Mycielski axiom in set theory. Zbl 1051.03041
Enayat, Ali
2004
Leibnizian models of set theory. Zbl 1070.03023
Enayat, Ali
2004
Counting models of set theory. Zbl 0998.03033
Enayat, Ali
2002
Power-like models of set theory. Zbl 0994.03034
Enayat, Ali
2001
$$\delta$$ as a continuous function of $$x$$ and $$\epsilon$$. Zbl 1076.54514
Enayat, Ali
2000
Analogues of the MacDowell-Specker theorem for set theory. Zbl 0928.03044
Enayat, Ali
1999
Undefinable classes and definable elements in models of set theory and arithmetic. Zbl 0658.03022
Enayat, Ali
1988
Conservative extensions of models of set theory and generalizations. Zbl 0627.03017
Enayat, Ali
1986
Weakly compact cardinals in models of set theory. Zbl 0586.03044
Enayat, Ali
1985
On certain elementary extensions of models of set theory. Zbl 0563.03033
Enayat, Ali
1984
all top 5

#### Cited by 59 Authors

 16 Enayat, Ali 7 Kanovei, Vladimir G. 7 Lyubetsky, Vassily Aleksandrovich 4 Hamkins, Joel David 4 McKenzie, Zachiri 3 Mohsenipour, Shahram 3 Shelah, Saharon 2 Bahrami, Saeideh 2 Corazza, Paul 2 Gitman, Victoria 2 Gorbow, Paul K. 2 Kaufmann, Matt 2 Sipacheva, Ol’ga V. 1 Abdul-Quader, Athar 1 Baldwin, John T. 1 Borrego-Díaz, Joaquín 1 Boughattas, Sedki 1 Cabral, Emmanuel A. 1 Cholak, Peter A. 1 Coskey, Samuel 1 Dean, Walter 1 Dimitracopoulos, Costas 1 Fenecios, Jonald P. 1 Fornasiero, Antongiulio 1 Fuchs, Gunter 1 Golshani, Mohammad 1 Holy, Peter 1 Hrbáček, Karel 1 Igusa, Gregory 1 Katz, Mikhail G. 1 Kindvall Gorbow, Paul 1 Kossak, Roman 1 Krapf, Regula 1 Larson, Paul B. 1 Leahy, Cole 1 Łełyk, Mateusz 1 Linetsky, David 1 Lücke, Philipp Moritz 1 Montalbán, Antonio 1 Mozo Carollo, Imanol 1 Njegomir, Ana 1 Paschalis, Vasilis 1 Patey, Ludovic 1 Reitz, Jonas 1 Ressayre, Jean-Pierre 1 Schlicht, Philipp 1 Shochat, Erez 1 Shore, Richard A. 1 Soskova, Mariya Ivanova 1 Steinberg, Florian 1 Théry, Laurent 1 Thies, Holger 1 Turetsky, Dan 1 Tzouvaras, Athanassios 1 Walsh, Sean 1 Wcisło, Bartosz 1 Williams, Kameryn J. 1 Wong, Tin Lok 1 Yokoyama, Keita
all top 5

#### Cited in 18 Serials

 15 Annals of Pure and Applied Logic 12 Archive for Mathematical Logic 9 The Journal of Symbolic Logic 6 Mathematical Logic Quarterly (MLQ) 2 Notre Dame Journal of Formal Logic 2 Topology and its Applications 2 The Bulletin of Symbolic Logic 1 Israel Journal of Mathematics 1 Mathematical Notes 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Sarajevo Journal of Mathematics 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic 1 Axioms
all top 5

#### Cited in 13 Fields

 55 Mathematical logic and foundations (03-XX) 3 Topological groups, Lie groups (22-XX) 3 Real functions (26-XX) 3 General topology (54-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 2 Measure and integration (28-XX) 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX)