米纳汉·马吉多

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

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

相关

  • Netscape.com网景通信(英语:Netscape Communications ),以前称为网景通信公司(Netscape Communications Corporation),大部分通常被简称为网景(Netscape)。网景曾经是一家美国的电脑服务公司,以其
  • 中亚运动会中亚运动会(英文:Central Asian Games),是中亚地区综合性运动会,两年一度,后改为四年一度。首届中亚运动会于1995年于乌兹别克斯坦的塔什干举行。Lua错误 在模块:Location_map/mul
  • NaClOsub4/sub201g/100cm3(20°C) 329g/100cm3(100°C)高氯酸钠是高氯酸的钠盐,化学式为NaClO4。它是无色晶体,具潮解性,可溶于水和乙醇,480°C时分解,生成热为-382.75kJ/mol。通常以菱方晶系
  • 数据字典数据字典(英语:data dictionary)是一个自动的或手动的存储数据元的定义和属性的文档。指一组对数据流程图中的数据流、数据文件、数据项及处理逻辑进行定义描述的表格。
  • 分组交换在计算机网络和通讯中,分组交换(英语:Packet switching)是一种相对于电路交换的通信范例,分组(又称消息、或消息碎片)在节点间单独路由,不需要在传输前先建立通信路径。分组交换是数
  • 洪景舟洪景舟(15世纪-1521年)是朝鲜王朝中宗时期的勋旧派权臣之一,封号南阳君。1506年参与中宗反正,是为一等靖国功臣。他女儿是洪氏亦成为中宗妃嫔。洪景舟曾参与反赵光祖和士林派的政
  • 美国国家工程学院美国国家工程学院(英语:National Academy of Engineering),为美国工程学界的最高学术团体。美国工程学界的最高三大奖项均由美国国家工程院评选。现任院士每年选举产生新的院士
  • 恩格尔伍德恩格尔伍德(英文:Englewood),是美国科罗拉多州阿拉珀霍县下属的一座城市。建市于1903年5月9日,面积大约为6.644平方英里(17.209平方公里)。根据2010年美国人口普查,该市有人口30,255
  • 科技部新竹科学园区管理局科技部新竹科学园区管理局(简称竹科管理局)是台湾新竹科学园区及其卫星园区的专责管理机关,1980年成立,隶属于科技部,局本部位于新竹科学园区内。
  • 雷氏不连续面雷氏不连续面(Lehmann discontinuity)是指在地球的地核中地震波P波和S波突然加速的区域,该区域一般在220±30公里深处,该不连续面由丹麦女性地震学家英格·雷曼发现并以其姓氏命