米纳汉·马吉多

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

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

相关

  • 技术奇异点技术奇点(英语:Technological Singularity),出自奇点理论;根据技术发展史总结出的观点,认为人类正在接近一个使得现有技术被完全抛弃或者人类文明被完全颠覆的事件点,在这个事件点
  • Linnaeus卡尔·冯·林奈(英语:Carl Linnaeus,瑞典语:Carl von Linné,1707年5月23日-1778年1月10日),也译为林内,受封贵族前名为卡尔·林奈乌斯(Carl Linnaeus),由于瑞典学者阶层的姓常拉丁化,又
  • 海马体海马体(英语:Hippocampus),是人类及脊椎动物脑中的重要部分。目前在有海马体的动物身上发现的海马体皆成对出现,分别位于左右脑半球。它是组成大脑边缘系统的一部分,位于大脑皮质
  • 直尺直尺,亦称为间尺,是一种用于量度长度的仪器或文具。这种文具极为普遍,几乎每位小学生都有,通常用于量度较短的距离或画出直线。现代的直尺则多与三角尺、量角器、圆规等制成套装
  • 哈维兰彗星型德·哈维兰“彗星”(De Havilland Comet,D.H 106)是由英国哈维兰公司研发的喷气式客机。亦是全球首款以喷射引擎为动力的民用飞机,外表以0.5毫米的铝制蒙皮包覆,且可飞行至10000
  • 半妖倾城《半妖倾城》(英文:Demon Girl),共2季, ,由大陆湖南卫视、第一综艺娱乐平台芒果TV出品、东阳欢娱影视文化有限公司承制,任海曜和刘镇明联合执导,于正编剧及制片人,由张哲瀚、李一桐、
  • 宋孝宗子:女:宋孝宗赵眘(1127年11月27日-1194年6月28日、眘,“慎”异体字,shèn),南宋第二位皇帝(1162年7月24日—1189年2月18日在位),曾名伯琮、瑗、玮,字元瑰,一字元永,他是宋太祖之幼子赵德芳
  • 盖兹登购地盖兹登购地(Gadsden Purchase)指的是位于现在美利坚合众国亚利桑那州及新墨西哥州两州南部的一块土地。面积30,000平方英里(77,700平方公里)。这块土地是于1853年,美国从墨西哥手
  • 硫代硫酸硫代硫酸是一种硫含氧酸。如硫酸分子之中一个氧原子被硫原子取代,即成硫代硫酸分子。硫代硫酸于水中会迅速分解,其分解产物视乎环境可包括硫、二氧化硫、硫化氢、多硫化氢、硫
  • 鲁道夫·马丁·比利亚鲁道夫·马丁·比利亚(西班牙语:Rodolfo Martín Villa,1934年10月3日-)是西班牙政治家,民主转型时期的关键人物之一。1934年10月3日生于莱昂省的圣玛丽亚-德尔帕拉莫。父亲埃米略