Menachem Magidor - Menachem Magidor

Menachem Magidor
Profesör Menachem Magidor, Kudüs'te (Aralık 2006)
Doğum	(1946-01-24) 24 Ocak 1946 (yaş 74) Petah Tikva, Zorunlu Filistin (şimdi İsrail )
Milliyet	İsrail
gidilen okul	İbrani Üniversitesi
Bilinen	Matematiksel mantık, Küme teorisi, Büyük kardinal özellik
Bilimsel kariyer
Alanlar	Matematikçi
Kurumlar	İbrani Üniversitesi
Doktora danışmanı	Azriel Lévy
Doktora öğrencileri	Moti Gitik
ASL Başkanı
Ofiste 1996–1998
Öncesinde	George Boolos
tarafından başarıldı	Donald A. Martin
Kudüs İbrani Üniversitesi Başkanı
Ofiste 1997–2009
Öncesinde	Hanoch Gutfreund
tarafından başarıldı	Menachem Ben-Sasson
DLMPST / IUHPST Başkanı
Ofiste 2016–2019
Öncesinde	Elliott Sober
tarafından başarıldı	Nancy Cartwright

Menachem Magidor (İbranice: מנחם מגידור; 24 Ocak 1946 doğumlu) bir İsrail matematikçi kim konusunda uzman matematiksel mantık, özellikle küme teorisi. Başkan olarak görev yaptı Kudüs İbrani Üniversitesi Başkan oldu Sembolik Mantık Derneği 1996'dan 1998'e kadar ve şu anda Uluslararası Bilim Tarih ve Felsefesi Birliği'nin Mantık, Metodoloji ve Bilim ve Teknoloji Felsefesi Bölümü (DLMPST / IUHPS; 2016-2019). 2016 yılında Amerikan Sanat ve Bilim Akademisi'nin yabancı fahri üyesi seçildi. 2018 yılında Solomon Bublick Ödülü.

Biyografi

Menachem Magidor doğdu Petah Tikva, İsrail. O aldı Doktora 1973 yılında Kudüs İbrani Üniversitesi. Tezi, Süper Kompakt Kardinallerdegözetiminde yazılmıştır Azriel Lévy.^[1] Başkan olarak görev yaptı Kudüs İbrani Üniversitesi 1997'den 2009'a kadar Hanoch Gutfreund ve başardı Menachem Ben-Sasson.^[2] Oxford filozofu Ofra Magidor onun kızı.

Matematiksel teoriler

Magidor, tekil kardinallerin güçleri üzerinde birkaç önemli tutarlılık sonucu elde etti. zorlama. O genelleştirilmiş Prikry zorlama büyük bir kardinalin eş sonunu önceden belirlenmiş bir normal kardinal olarak değiştirmek için. En azını kanıtladı son derece kompakt kardinal en aza eşit olabilir ölçülebilir kardinal ya da en azından süper kompakt kardinal (ama aynı zamanda değil). Devasa kardinallerin tutarlılığını varsayarak, çok küçük kardinaller üzerinde ilk düzensiz ultrafiltrelerin örnekleriyle (düzensiz ultra filtrelerin varlığıyla ilgili ünlü Guilmann Keisler problemiyle ilgili), ultra güçlerin atlama kardinalliği örneğiyle bile, küme teorisinin modellerini (1977) oluşturdu. Tutarlı olduğunu kanıtladı ${ displaystyle aleph _ { omega}}$ güçlü bir sınırdır, ancak ${ displaystyle 2 ^ { aleph _ { omega}} = aleph _ { omega +2}}$. Hatta durumu güçlendirdi ${ displaystyle aleph _ { omega}}$ GCH'nin aşağıda tuttuğu güçlü sınırdır ${ displaystyle aleph _ { omega}}$. Bu, olumsuz bir çözüm oluşturdu. tekil kardinaller hipotezi. Her iki ispat da çok büyük kardinallerin tutarlılığını kullandı. Magidor, Matthew Foreman, ve Saharon Shelah tutarlılığını formüle etti ve kanıtladı Martin'in maksimum, kanıtlanabilir maksimum bir form Martin'in aksiyomu. Magidor ayrıca Jensen ve Dodd-Jensen'in basit bir kanıtını verdi. Lemmaları kapsayan. Kanıtladı eğer 0^# mevcut değildir, bu durumda her ilkel özyinelemeli kapalı sıra sıraları kümesi, ${ displaystyle L}$.

Seçilmiş yayınlanmış eserler

Menachem Magidor, 1973 yılında

• Magidor, Menachem (1977). "Tekil kardinaller sorunu üzerine. I". İsrail J. Math. 28 (1–2): 1–31. doi:10.1007 / BF02759779.
• Magidor, Menachem (1977). "Tekil kardinaller sorunu üzerine. II". Ann. Matematik. 2. 106 (3): 517–547. doi:10.2307/1971065. JSTOR  1971065.
• Foreman, Matthew; Magidor, Menachem & Shelah, Saharon (1988). "Martin'in maksimum, doygun idealleri ve düzensiz ultrafiltreleri. I". Ann. Matematik. 2. 127 (1): 1–47. doi:10.2307/1971415. JSTOR  1971415.
• Foreman, Matthew; Magidor, Menachem & Shelah, Saharon (1988). "Martin'in maksimum, doygun idealleri ve düzensiz ultra filtreler". Ann. Matematik. 2. 127 (3): 521–545. doi:10.2307/2007004. JSTOR  2007004.
• Foreman, Matthew ve Magidor, Menachem (1995). "Süreklilik hipotezine büyük kardinaller ve tanımlanabilir karşı örnekler". Saf ve Uygulamalı Mantığın Yıllıkları. 76 (1): 47–97. doi:10.1016 / 0168-0072 (94) 00031-W.

Referanslar