أزرييل ليفي

عزرئيل ليفي ^{[ 1 ]} ( العبرية : हिन्वीयाल LOUI ؛ من مواليد عام 1934) هو عالم رياضيات إسرائيلي وعالم منطق وأستاذ فخري في الجامعة العبرية في القدس .

سيرة

حصل ليفي على درجة الدكتوراه من الجامعة العبرية في القدس عام ١٩٥٨، تحت إشراف أبراهام فرانكل وأبراهام روبنسون . لاحقًا، وباستخدام طريقة كوهين للإجبار ، أثبت عدة نتائج حول اتساق عبارات مختلفة تُناقض بديهية الاختيار . على سبيل المثال، أثبت مع جيه دي هالبرن أن نظرية المثالي الأولي البولياني لا تستلزم بديهية الاختيار. اكتشف ليفي النماذج L [ x ] المستخدمة في نظرية النموذج الداخلي . كما قدّم مفاهيم التسلسل الهرمي لليفي لصيغ نظرية المجموعات ، وانهيار ليفي ، ونموذج فيفرمان-ليفي .

ليفي، عزريل (1958). "استقلالية التعريفات المختلفة للنهائية" (ملف PDF) . Fundamenta Mathematicae . 46 : 1-13 . doi : 10.4064/fm-46-1-1-13 .
أ. ليفي: تسلسل هرمي للصيغ في نظرية المجموعات ، مذكرات الجمعية الرياضية الأمريكية، 57 ، 1965.
JD Halpern, A. Lévy: The Boolean prime ideal to not impys the static of choice, Axiomatic Set Theory , Symposia Pure Math., 1971, 83–134.
أ. ليفي: نظرية المجموعات الأساسية ، سبرينغر-فيرلاغ، برلين، 1979، 391 صفحة؛ ^{[ 2 ]} أعيد طبعه بواسطة دوفر للنشر، 2003.

↑ يكتب عادةً بعلامة تشكيل في المصادر الإنجليزية، على سبيل المثال، A. Lévy: A hierarchy of formulas in set theory ، Memoirs of the American Mathematical Society ، 57 ، 1965.
↑ بومغارتنر، جيه إي (1980). "مراجعة: نظرية المجموعات الأساسية لأزرييل ليفي" (ملف PDF) . نشرة الجمعية الأمريكية للرياضيات (سلسلة جديدة) . 3، الجزء 1 (1): 772-774 . doi : 10.1090/S0273-0979-1980-14817-X (غير نشط في 13 سبتمبر 2025).{{cite journal}}: صيانة CS1: تم تعطيل DOI اعتبارًا من سبتمبر 2025 ( رابط )