อัซเรียล เลวี

Q: ข้อมูลสำคัญเกี่ยวกับ อัซเรียล เลวี

Azriel Lévy ( ฮีบรู : עזריאל לוי ; เกิดประมาณปี 1934) เป็นนักคณิตศาสตร์นักตรรกวิทยาและศาสตราจารย์กิตติคุณ ชาวอิสราเอล ที่มหาวิทยาลัยฮิบรูแห่งเยรูซาเลม

Q: หมายเหตุ

^ โดยทั่วไปมักเขียนโดยมีเครื่องหมายเน้นเสียงในแหล่งข้อมูลภาษาอังกฤษ เช่น A. Lévy: A hierarchy of formulas in set theory , Memoirs of the American Mathematical Society , 57 , 1965. ^ Baumgartner, JE (1980). "บทวิจารณ์: ทฤษฎีเซตพื้นฐาน โดย Azriel Lévy" (PDF) .

อัซเรียล เลวี
อัซเรียล เลวี
עזריאל לוי
เกิด	ประมาณปี 1934
อัลมา มัธยฐาน	มหาวิทยาลัยฮิบรูแห่งเยรูซาเลม
เป็นที่รู้จักในด้าน	ลำดับชั้นของเลวี , การล่มสลายของเลวี , แบบจำลองเฟเฟอร์แมน-เลวี
	เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	คณิตศาสตร์, ตรรกศาสตร์
สถาบันต่างๆ	มหาวิทยาลัยฮิบรูแห่งเยรูซาเลม
อาจารย์ที่ปรึกษาปริญญาเอก	อับราฮัม เฟรนเคิลอับราฮัม โรบินสัน
นักศึกษาปริญญาเอก	เมนาเค็ม มาจิดอร์; โมติ กิติก; ดอฟ แกบเบย์; ชโลโม วินเนอร์;

Azriel Lévy ^{[ 1 ]} ( ฮีบรู : עזריאל לוי ; เกิดประมาณปี 1934) เป็นนักคณิตศาสตร์นักตรรกวิทยาและศาสตราจารย์กิตติคุณ ชาวอิสราเอล ที่มหาวิทยาลัยฮิบรูแห่งเยรูซาเลม

ชีวประวัติ

เลวีได้รับปริญญาเอกที่มหาวิทยาลัยฮิบรูแห่งเยรูซาเลมในปี 1958 ภายใต้การดูแลของอับราฮัม แฟรงเคิลและอับราฮัม โรบินสันต่อมา โดยใช้ วิธี การบังคับของโคเฮนเขาได้พิสูจน์ผลลัพธ์หลายประการเกี่ยวกับความสอดคล้องของข้อความต่างๆ ที่ขัดแย้งกับสัจพจน์ของการเลือกตัวอย่างเช่น เขาได้ร่วมกับเจ.ดี. ฮัลเปอร์นพิสูจน์ว่าทฤษฎีบทอุดมคติเฉพาะของบูลีนไม่ได้หมายความถึงสัจพจน์ของการเลือก เขาค้นพบแบบจำลองL [ x ] ที่ใช้ในทฤษฎีแบบจำลองภายในเขายังได้แนะนำแนวคิดของลำดับชั้นของเลวีในสูตรของทฤษฎีเซต การยุบตัวของเลวีและแบบจำลองเฟเฟอร์แมน-เลวีด้วย

ลูกศิษย์ของเขา ได้แก่ดอฟ กาบบาย , โมติ กิติกและเมนาเค็ม มาจิดอร์

ผลงานที่คัดสรร

Lévy, Azriel (1958). "ความเป็นอิสระของนิยามต่างๆ ของความจำกัด" (PDF) . Fundamenta Mathematicae . 46 : 1– 13. doi : 10.4064/fm-46-1-1-13 .
A. Lévy: ลำดับชั้นของสูตรในทฤษฎีเซต , Memoirs of the American Mathematical Society, 57 , 1965
JD Halpern, A. Lévy: ทฤษฎีบทอุดมคติเฉพาะของบูลีนไม่ได้หมายความถึงสัจพจน์ของการเลือก, ทฤษฎีเซตเชิงสัจพจน์ , การประชุมวิชาการคณิตศาสตร์บริสุทธิ์, 1971, 83–134
A. Lévy: ทฤษฎีเซตพื้นฐาน , Springer-Verlag, เบอร์ลิน, 1979, 391 หน้า; ^{[ 2 ]}พิมพ์ซ้ำโดย Dover Publications, 2003

หมายเหตุ

^โดยทั่วไปมักเขียนโดยมีเครื่องหมายเน้นเสียงในแหล่งข้อมูลภาษาอังกฤษ เช่น A. Lévy: A hierarchy of formulas in set theory , Memoirs of the American Mathematical Society , 57 , 1965.
^ Baumgartner, JE (1980). "บทวิจารณ์: ทฤษฎีเซตพื้นฐานโดย Azriel Lévy" (PDF) . Bull. Amer. Math. Soc. (NS) . 3, Part 1 (1): 772– 774. doi : 10.1090/S0273-0979-1980-14817-X (ไม่ใช้งาน 13 กันยายน 2025).{{cite journal}}: CS1 maint: DOI ไม่ใช้งานแล้วตั้งแต่เดือนกันยายน 2025 ( ลิงก์ )