米纳汉·马吉多

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

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

相关

  • 哥伦布克里斯托弗·哥伦布(西班牙语:Cristóbal Colón;意大利语:Cristoforo Colombo),(1451年-1506年5月20日)探险家、殖民者、航海家,出生于中世纪的热那亚共和国(今意大利西北部)。在西班
  • 热带草原热带莽原气候 (又称热带干湿草原季气候、萨瓦纳气候、热带疏林莽原气候、热带草原气候)的地区位于赤道多雨气候的高纬两侧,具体位于非洲撒哈拉以南高原、马达加斯加岛西部、西
  • 个体经济组织个体工商户,简称个体户(个体户一词的其他含义,请参见“个体户”),在中华人民共和国是指以个人财产或者家庭财产作为经营资本,依法经核准登记,并在法定的范围内从事非农业的工商经营
  • 法兰克-普罗旺斯语法兰克-普罗旺斯语(意大利语: francoprovenzale;法语: Francoprovençal;英语:Franco-Provençal)又称阿皮坦语(英语、法语、法兰克-普罗旺斯语:Arpitan;意大利语:arpitano),是印欧语系罗
  • 格奥尔格·奥古斯特·戈德弗斯奥尔格·奥古斯特·戈德弗斯(德语:Georg August Goldfuß,1782年4月18日-1848年10月2日),德国古生物学家、动物学家。戈德弗斯生于巴伐利亚图尔瑙,大学时就读于埃尔朗根-纽伦堡大学
  • 己酸己酸是六个碳的直链羧酸,分子式为C5H11COOH,由己烷衍生出来。它是无色油状液体,带有类似羊的气味。己酸是脂肪酸,自然发现于动物脂肪及油中,是造成腐烂银杏肉质种子外皮难闻气味
  • 事业废弃物事业废弃物(英语:Business waste)包括工业废料(英语:Industrial waste)和商业废料(英语:Commercial waste)(英语:Commercial waste),是事业单位产生之废弃物,可分为“有害事业废弃物”及“
  • 帕克县帕克县(Park County, Colorado)是位于美国科罗拉多州中部的一个县。面积5,726平方公里。根据美国2000年人口普查,共有人口14,523人。县治费尔普莱 (Fairplay)。成立于1861年11
  • 内布拉斯加州内布拉斯加州议会(英语:Nebraska Legislature)是美国内布拉斯加州的一院制议会。该州的一院制,使内布拉斯加州在美国各州中独树一帜;它拥有49名成员,也是美国所有州中最小的立法机
  • 梵网经 (上座部)梵网经(巴利语:Brahmājala Sutta)是《巴利三藏·长部》的第一部经,这部经对于生起正信,了解邪见,具备佛法正确知见,有着非常重要的意义,因此被集结为巴利三藏的第一部经。在汉传