米纳汉·马吉多

✍ dations ◷ 2025-07-02 09:10:10 #以色列数学家,逻辑学家,集合论者,耶路撒冷希伯来大学校友

米纳汉·马吉多(英语:Menachem Magidor,希伯来语:מנחם מגידור)是一位以色列数学家。他的主要研究方向是数理逻辑,特别是集合论。他曾担任耶路撒冷希伯来大学的校长。

米纳汉·马吉多于1946年1月24日出生于佩塔提克瓦。他于1973年从希伯来大学毕业。毕业论文《关于超紧基数》是在阿兹里尔·乐维(Azriel Lévy)的指导下完成的。

马吉多关于奇异基数的幂的相容性问题上证明了多个重要结果,并极大地推动了力迫法的发展。他推广了普利科里力迫法(Prikry forcing),以便将一个大基数的梯度改变为一个预先指定的正则基数。他证明了最小的强紧基数可以等于最小的可测基数,或者最小的超紧基数可以等于最小的强紧基数(但不能同时成立)。他证明了 ω {\displaystyle \aleph _{\omega }} 为强极限基数,而 2 ω = ω + 2 {\displaystyle 2^{\aleph _{\omega }}=\aleph _{\omega +2}} 的相容性。他甚至可以把结论中 ω {\displaystyle \aleph _{\omega }} 为强极限基数强化为广义连续统假设在 ω {\displaystyle \aleph _{\omega }} 之下成立。这说明奇异基数猜想是不可证明的。这两个定理都用到非常大的基数的相容性。他与马修·福曼(Matthew Foreman)、萨哈让·谢拉赫一起阐述并证明了马丁极大原理的相容性,该原理是马丁公理的最强形式。马吉多还给出了詹森(Jensen)和多德-詹森(Dodd-Jensen)覆盖引理的简单证明。他还证明了如果0#不存在,那么每个序数的本原递归闭集都是 L {\displaystyle L} 中可数多集合的并集。

相关

  • 亚伯拉罕宗教亚伯拉罕诸教,又称亚伯拉罕宗教、亚伯拉罕一神诸教、天启宗教、天启诸教、沙漠一神诸教、闪族一神诸教、闪米特一神诸教、闪米特诸教等,指世界主要的三个有共同源头的一神教─
  • 卡米洛·奔索,加富尔伯爵卡米洛·奔索,加富尔伯爵(意大利语:Camillo Benso Conte di Cavour,1810年8月10日-1861年6月6日)是意大利政治家,意大利统一运动的领导人物。曾留学过英国,也于后来成立的意大利王国
  • 不扩散核武器条约《不扩散核武器条约》(英语:Treaty on the Non-Proliferation of Nuclear Weapons,缩写NPT),或称《核不扩散条约》(英语:Nuclear Non-Proliferation Treaty,缩写NNPT),1968年7月1日由
  • 射箭夏季奥林匹克运动会的射箭比赛首次出现在1900年夏季奥林匹克运动会,当时被列为表演项目,及后1904年夏季奥林匹克运动会同样被列为表演项目,1908年夏季奥林匹克运动会被列为奥运
  • 小德意志小德意志(德语:Kleindeutsche Lösung)是19世纪的政治思想,构想由霍亨索伦家族统治的普鲁士统一德意志,排除奥地利帝国。小德意志方案与大德意志相反。对于普国首相俾斯麦而言,建
  • 袋鼹目 Notoryctemorphia南方袋鼹 Notoryctes typhlops 托氏袋鼹 Notoryctes caurinus袋鼹属(学名:Notoryctes),属于哺乳纲,袋鼹目下只有袋鼹科一科,袋鼹科只有袋鼹属一属。只有两个种,但目前对其所知仍然
  • 国立联合大学坐标:24°32′46″N 120°48′48″E / 24.5460741°N 120.8134613°E / 24.5460741; 120.8134613 坐标:Parameter: "type=" should be "type:"国立联合大学(英语:National Unite
  • 北港北港镇(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Pak-k
  • 参窝水库参窝水库位于中国辽宁省辽阳市弓长岭区,地处辽阳与本溪市的中间,是以防洪、灌溉、工业供水为主,兼有发电功能的大(二)型水库。
  • 高斯 (单位)高斯简称高,是CGS制中磁感应强度或磁通量的单位,为纪念德国数学家卡尔·弗里德里希·高斯而得名,常用符号G或Gs表示。若放在磁感应强度均匀的磁场中,方向与磁感应强度方向垂直的