×

zbMATH — the first resource for mathematics

Enayat, Ali

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

Publications by Year

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
9
2006
Automorphisms, Mahlo cardinals and NFU. Zbl 1061.03035
Enayat, Ali
9
2004
On the Leibniz-Mycielski axiom in set theory. Zbl 1051.03041
Enayat, Ali
9
2004
On certain elementary extensions of models of set theory. Zbl 0563.03033
Enayat, Ali
7
1984
A standard model of Peano arithmetic with no conservative elementary extension. Zbl 1156.03035
Enayat, Ali
5
2008
Automorphisms of models of arithmetic: a unified view. Zbl 1115.03037
Enayat, Ali
5
2007
Automorphisms of models of bounded arithmetic. Zbl 1115.03036
Enayat, Ali
5
2006
Models of set theory with definable ordinals. Zbl 1068.03032
Enayat, Ali
5
2005
Undefinable classes and definable elements in models of set theory and arithmetic. Zbl 0658.03022
Enayat, Ali
5
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
4
2017
Analogues of the MacDowell-Specker theorem for set theory. Zbl 0928.03044
Enayat, Ali
4
1999
An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN. Zbl 1246.03066
Enayat, Ali; Shelah, Saharon
3
2011
Leibnizian models of set theory. Zbl 1070.03023
Enayat, Ali
3
2004
Counting models of set theory. Zbl 0998.03033
Enayat, Ali
3
2002
Power-like models of set theory. Zbl 0994.03034
Enayat, Ali
3
2001
Truth and feasible reducibility. Zbl 1444.03164
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz
2
2020
Iterated ultrapowers for the masses. Zbl 06919824
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2
2018
Fixed points of self-embeddings of models of arithmetic. Zbl 06856631
Bahrami, Saeideh; Enayat, Ali
2
2018
Model theory of the regularity and reflection schemes. Zbl 1149.03026
Enayat, Ali; Mohsenipour, Shahram
2
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.)
2
2006
\(\delta\) as a continuous function of \(x\) and \(\epsilon\). Zbl 1076.54514
Enayat, Ali
2
2000
Conservative extensions of models of set theory and generalizations. Zbl 0627.03017
Enayat, Ali
2
1986
ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016
Enayat, Ali; Hamkins, Joel David
1
2018
Largest initial segments pointwise fixed by automorphisms of models of set theory. Zbl 06836952
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
1
2018
Feferman’s forays into the foundations of category theory. Zbl 1429.03158
Enayat, Ali; Gorbow, Paul; McKenzie, Zachiri
1
2017
Marginalia on a theorem of Woodin. Zbl 1419.03033
Blanck, Rasmus; Enayat, Ali
1
2017
A new proof of Tanaka’s theorem. Zbl 1432.03135
Enayat, Ali
1
2013
Weakly compact cardinals in models of set theory. Zbl 0586.03044
Enayat, Ali
1
1985
Truth and feasible reducibility. Zbl 1444.03164
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz
2
2020
Iterated ultrapowers for the masses. Zbl 06919824
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2
2018
Fixed points of self-embeddings of models of arithmetic. Zbl 06856631
Bahrami, Saeideh; Enayat, Ali
2
2018
ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016
Enayat, Ali; Hamkins, Joel David
1
2018
Largest initial segments pointwise fixed by automorphisms of models of set theory. Zbl 06836952
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
1
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
4
2017
Feferman’s forays into the foundations of category theory. Zbl 1429.03158
Enayat, Ali; Gorbow, Paul; McKenzie, Zachiri
1
2017
Marginalia on a theorem of Woodin. Zbl 1419.03033
Blanck, Rasmus; Enayat, Ali
1
2017
A new proof of Tanaka’s theorem. Zbl 1432.03135
Enayat, Ali
1
2013
An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN. Zbl 1246.03066
Enayat, Ali; Shelah, Saharon
3
2011
A standard model of Peano arithmetic with no conservative elementary extension. Zbl 1156.03035
Enayat, Ali
5
2008
Model theory of the regularity and reflection schemes. Zbl 1149.03026
Enayat, Ali; Mohsenipour, Shahram
2
2008
Automorphisms of models of arithmetic: a unified view. Zbl 1115.03037
Enayat, Ali
5
2007
From bounded arithmetic to second order arithmetic via automorphisms. Zbl 1107.03038
Enayat, Ali
9
2006
Automorphisms of models of bounded arithmetic. Zbl 1115.03036
Enayat, Ali
5
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.)
2
2006
Models of set theory with definable ordinals. Zbl 1068.03032
Enayat, Ali
5
2005
Automorphisms, Mahlo cardinals and NFU. Zbl 1061.03035
Enayat, Ali
9
2004
On the Leibniz-Mycielski axiom in set theory. Zbl 1051.03041
Enayat, Ali
9
2004
Leibnizian models of set theory. Zbl 1070.03023
Enayat, Ali
3
2004
Counting models of set theory. Zbl 0998.03033
Enayat, Ali
3
2002
Power-like models of set theory. Zbl 0994.03034
Enayat, Ali
3
2001
\(\delta\) as a continuous function of \(x\) and \(\epsilon\). Zbl 1076.54514
Enayat, Ali
2
2000
Analogues of the MacDowell-Specker theorem for set theory. Zbl 0928.03044
Enayat, Ali
4
1999
Undefinable classes and definable elements in models of set theory and arithmetic. Zbl 0658.03022
Enayat, Ali
5
1988
Conservative extensions of models of set theory and generalizations. Zbl 0627.03017
Enayat, Ali
2
1986
Weakly compact cardinals in models of set theory. Zbl 0586.03044
Enayat, Ali
1
1985
On certain elementary extensions of models of set theory. Zbl 0563.03033
Enayat, Ali
7
1984

Citations by Year