米纳汉·马吉多

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

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

相关

  • 热成像仪热影像仪又称热像仪或红外线热成像仪等。是一种对物体散发出的红外线进行感光成像的设备,这种设备被广泛运用在军事、消防、医疗、工业生产、海关检查等领域。热成像仪是从对
  • 隐性基因隐性遗传(Recessive trait)是一种基因遗传中的情况,表现为在遗传过程中,某个基因的性状并不显现出来,而有可能“隐藏”于基因内,除非来自父母双方的基因都给子代遗传了此基因的
  • 电化学梯度电化学梯度(英语:electrochemical gradient)是离子跨膜运动而产生的电化学势能(英语:Electrochemical potential)梯度,通常包括电位梯度和浓度梯度。电化学势能是一种维持细胞生命
  • 尼柯耶上座部佛教巴利圣典尼柯耶(巴利文与梵语:Nikāya),原义是收集、集合、分类、群体等。在上座部佛教中,用来称巴利藏中的经藏部分,相当于汉传佛教中的阿含经(āgama)。在部派佛教中,上
  • 张迪张迪(1981年12月20日-)辽宁人,毕业于中央戏剧学院,男演员,在多部电视剧中都有出色演出,他精湛的演技以及帅气十足的古装小生造型可谓深入人心。眉宇间流漏优越、灵动之气,言行间高贵
  • 鸡林君主 · 首都 · 文学史 · 教育史电影史 · 韩医史陶瓷史 · 戏剧史韩国国宝 · 朝鲜国宝鸡林州都督府(朝鲜语:계림대도독부)是公元7世纪到9世纪,唐朝在朝鲜半岛中南部
  • 丝裂原丝裂原(英语:Mitogen,又称促分裂原、促细胞分裂剂)是促进细胞开始分裂,触发有丝分裂的化学物质,通常是蛋白质形式。
  • 2019冠状病毒病芬兰疫情2019冠状病毒病芬兰疫情,介绍在2019新型冠状病毒疫情中,在芬兰发生的情况。2020年1月23日,2019冠状病毒病疫情扩散至芬兰。2020年3月19日起,芬兰开始关闭边境。4月7日,芬兰政府延
  • 二氧化铱二氧化铱化学式为IrO2,是唯一明确知道其特性的铱氧化物,其晶格为金红石TiO2结构,其中有六配位的铱及三配位的氧。二氧化铱和其他稀有金属的氧化物可用在工业电解的阳极电极,以及
  • Open eBookOpen eBook中文译为开放电子书,原订于电子书阅读器、PDA等载体上的文书格式,已经被新修订的ePub格式取代了,ePub可中译为电子发行本。Open eBook是一个ZIP文件加上一个Manifest