Takip et
Ali Enayat
Ali Enayat
FLOV, Göteborgs Universitet
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
522015
On the Leibniz-Mycielski axiom in set theory
A Enayat
31*
From bounded arithmetic to second order arithmetic via automorphisms
A Enayat
Logic in Tehran 26, 87-113, 2006
232006
Automorphisms, Mahlo cardinals, and NFU
A Enayat
Nonstandard Models of Arithmetic and Set Theory, Contemporary Mathematics …, 2004
232004
Truth, disjunction, and induction
A Enayat, F Pakhomov
Archive for Mathematical Logic 58, 753-766, 2019
212019
Marginalia on a theorem of Woodin
R Blanck, A Enayat
The Journal of Symbolic Logic 82 (1), 359-374, 2017
212017
ω-models of finite set theory
A Enayat, JH Schmerl, A Visser
na, 2011
212011
On certain elementary extensions of models of set theory
A Enayat
Transactions of the American Mathematical Society 283 (2), 705-715, 1984
211984
Models of set theory with definable ordinals
A Enayat
Archive for Mathematical Logic 44, 363-385, 2005
182005
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
142017
Automorphisms of models of arithmetic: a unified view
A Enayat
Annals of Pure and Applied Logic 145 (1), 16-36, 2007
142007
Conservative extensions of models of set theory and generalizations
A Enayat
The Journal of symbolic logic 51 (4), 1005-1021, 1986
141986
Variations on a Visserian theme
A Enayat
arXiv preprint arXiv:1702.07093, 2017
132017
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
132008
Truth and feasible reducibility
A Enayat, M Łełyk, B Wcisło
The Journal of Symbolic Logic 85 (1), 367-421, 2020
122020
Leibnizian models of set theory
A Enayat
The Journal of Symbolic Logic 69 (3), 775-789, 2004
122004
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
A Enayat, V Kanovei
Journal of Mathematical Logic 21 (03), 2150014, 2021
112021
Analogues of the MacDowell-Specker theorem for set theory
A Enayat
Models, Algebras, and Proofs, 25-50, 2021
112021
Power-like models of set theory
A Enayat
The Journal of Symbolic Logic 66 (4), 1766-1782, 2001
102001
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20