米纳汉·马吉多

✍ dations ◷ 2025-11-23 21:58:44 #以色列数学家,逻辑学家,集合论者,耶路撒冷希伯来大学校友

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

相关

  • 松露松露(英语:Truffle)是数种可食用子囊菌门物种的合称,和蘑菇、灵芝一样都是真菌。其中有多种属于西洋松露属(学名:Tuber),大约有10种不同的品种。松露多数在阔叶树的根部着丝生长,散布
  • 死谷死亡谷(英语:Death Valley),为位于美国加州的沙漠谷地。属于莫哈韦沙漠的一部分,亦为北美洲最低、最干旱以及最热的地区,死亡谷曾经拥有地球上最高气温的观测纪录56.7 °C(134.1 °
  • 2015年台南市登革热疫情2015年台南市登革热疫情为2015年于台湾台南市所爆发的登革热疫情,最初出现在北区六甲里,而后扩散到全市。台南市确诊病例超过2万人,主要为第二型病毒,连同高雄以第一型病毒为主
  • 谢 毅谢毅(1967年7月23日-),中国化学家,主要研究方向为无机固体化学。生于蚌埠,原籍安庆。1988年毕业于厦门大学化学系,1996年获中国科技大学应用化学博士学位。2013年当选为中国科学院
  • 兖菏片中原官话兖菏片是根据贺巍《中原官话分区(稿)》所划分出来的中原官话分区之一。山东省 兖州区、菏泽市、枣庄市、郯城县、临沂市、苍山县、费县、平邑县、滕州市、微山县、临
  • ATC代码 (N02)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码N02(镇痛药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 你 (时代年度风云人物)“你”于2006年获选为《时代》杂志的年度风云人物。《时代》把“你”选为年度风云人物,原因是数以百万计的人在维基百科、YouTube、MySpace、Facebook、亚马逊网络书店、GNU/
  • 合成 (谬误)合成谬误(英语:Fallacy of composition),又译为构成谬误,是一种非形式谬误,系基于整体中的某些部分具有某性质,而整体本身并非具备该性质,这是一种以偏概全。与合成谬误相反的是分割
  • 百里香百里香(学名:)是唇形科百里香属的一个种,原产青海、甘肃、陕西、山西、河北、内蒙古、蒙古以及西伯利亚。
  • 元乐尚元乐尚(565年-640年),河南郡洛阳县人,北魏宗室后裔,开府元晟第二女。元乐尚十五岁那年被选入后宫,册为贵妃,之后在大象元年(579年)七月,被册立为天右皇后,大象二年(580年)二月又改册为天右