Ali Enayat
Ali Enayat
gu.se üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
New constructions of satisfaction classes
A Enayat, A Visser
Unifying the philosophy of truth, 321-335, 2015
422015
Automorphisms, Mahlo cardinals, and NFU
A Enayat
Nonstandard Models of Arithmetic and Set Theory, Contemporary Mathematics …, 2004
242004
From bounded arithmetic to second order arithmetic via automorphisms
A Enayat
Logic in Tehran 26, 87-113, 2006
232006
On the Leibniz-Mycielski axiom in set theory
A Enayat
23*
On certain elementary extensions of models of set theory
A Enayat
Transactions of the American Mathematical Society 283 (2), 705-715, 1984
191984
ω-models of finite set theory
A Enayat, J Schmerl, A Visser
Logic group preprint series 266, 1-27, 2008
172008
Models of set theory with definable ordinals
A Enayat
Archive for Mathematical Logic 44 (3), 363-385, 2005
152005
Marginalia on a theorem of Woodin
R Blanck, A Enayat
The Journal of Symbolic Logic 82 (1), 359-374, 2017
142017
Truth, disjunction, and induction
A Enayat, F Pakhomov
Archive for Mathematical Logic 58 (5), 753-766, 2019
132019
A standard model of Peano arithmetic with no conservative elementary extension
A Enayat
Annals of Pure and Applied Logic 156 (2-3), 308-318, 2008
112008
Automorphisms of models of arithmetic: a unified view
A Enayat
Annals of Pure and Applied Logic 145 (1), 16-36, 2007
112007
Unifying the model theory of first-order and second-order arithmetic via WKL0⁎
A Enayat, TL Wong
Annals of Pure and Applied Logic 168 (6), 1247-1283, 2017
102017
Automorphisms of models of bounded arithmetic
A Enayat
Fundamenta Mathematicae 192 (1), 37-65, 2006
102006
Leibnizian models of set theory
A Enayat
The Journal of Symbolic Logic 69 (3), 775-789, 2004
102004
Power-like models of set theory
A Enayat
The Journal of Symbolic Logic 66 (4), 1766-1782, 2001
102001
Analogues of the MacDowell–Specker theorem for set theory
A Enayat
Models, Algebras, and Proofs; Caicedo, X., Montenegro, CH, Eds, 25-50, 1999
101999
Undefinable classes and definable elements in models of set theory and arithmetic
A Enayat
Proceedings of the American Mathematical Society 103 (4), 1216-1220, 1988
101988
Conservative extensions of models of set theory and generalizations
A Enayat
The Journal of symbolic logic 51 (4), 1005-1021, 1986
101986
δ as a continuous function of x and ε
A Enayat
9*
Truth and feasible reducibility
A Enayat, M Łełyk, B Wcisło
The Journal of Symbolic Logic 85 (1), 367-421, 2020
82020
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20