米纳汉·马吉多

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

米纳汉·马吉多(英语: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} 中可数多集合的并集。

相关

  • 中世纪中世纪(公元5世纪-公元15世纪)是欧洲历史三大传统划分(“古典时代”、“中世纪”和“近现代”)的一个中间时期,始于西罗马帝国(公元476年)的灭亡,终于东罗马帝国(公元1453年)的灭亡,最
  • 磺胺剂磺胺类药物(Sulfonamides)是一类人工合成的抗菌药物,这类药物都是以对氨基苯磺酰胺(磺胺)为母体发展而来,因此得名。磺胺类药物抗菌谱较广,对大部分革兰氏阴性菌和革兰氏阳性菌均有
  • 艾米利亚-罗马涅语在艾米利亚-罗马涅大区(440万人口(2010))的家庭语境下 :艾米利亚-罗马涅语(Emiliàn e rumagnòl)是一种语言,用于意大利艾米利亚-罗马涅大区、伦巴第和马尔凯大区的部分地区及圣
  • 瘿(英语:Gall)是指植物组织受到昆虫或其他生物刺激而不正常增生的现象。该刺激可能是昆虫所释放出的化学物质,或是单纯的物理刺激。其他可产生瘿的生物包括真菌、细菌、蜱或是螨
  • 辣椒属参见正文辣椒属(学名:Capsicum)是茄目茄科植物,为一年生草本,或灌木、亚灌木,原产于中南美洲,单叶互生,卵形至狭披针形;花白色或绿白色,1-3朵聚生,5裂,雄蕊5;果实为浆果,果皮肉质或近革质,颜
  • 洪孟民洪孟民(1931年1月1日-2012年11月13日),浙江临海人,中国分子遗传学家。1953年毕业于上海第一医学院。中国科学院上海植物生理研究所研究员。1991年当选为中国科学院院士(学部委员)。
  • 光辉软件光辉软件是位于中国的一家外资网络游戏开发商和运营商之一,成立于2005年。截至2009年,光辉软件的两款游戏开发了“热力排球”和“越野飞车”,在中国大陆、台湾、美国、巴西、土
  • 欢迎来到东莫村《欢迎来到东莫村》(韩语:웰컴 투 동막골,英语:Welcome To Dongmakgol)是一部2005年的韩国电影,导演朴光贤首次导演电影,在韩国超过800万人次观看。电影以朝鲜战争为背景,表现了反战
  • 丁字山丁字山战斗的正式名称是芝山里南205高地防御战斗,“联合国军”称Operation Smack,是朝鲜战争期间美第8集团军司令詹姆斯·范佛里特指挥的最后一次战斗。战斗的结果是中国人民
  • 决策树学习统计学,数据挖掘和机器学习中的决策树训练,使用决策树作为预测模型来预测样本的类标。这种决策树也称作分类树或回归树。在这些树的结构里, 叶子节点给出类标而内部节点代表某