米纳汉·马吉多

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

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

相关

  • 蚂蚁参见亚科列表(英语:List of ant subfamilies)蚂蚁,古代又称马蚁或馬螘,蚂蚁是一种真社会性的昆虫,属于膜翅目 (Hymenoptera) 蚁科(Formicidae),膜翅目的其他昆虫有胡蜂、黄蜂等。最
  • 微米 (软件)微米(英语:WeMeet)是一款由杭州酷跃科技有限公司研发的类似于WeChat的社交IM应用,主打组群聊天与“阅后即焚”功能。
  • 西蒙·纽康西蒙·纽康(英语:Simon Newcomb,1835年3月12日-1909年7月11日),美国籍加拿大天文学家、数学家暨科幻小说作家。虽然他只接受过短期学校教育,却在钟表学(英语:Horology)、经济学及数学
  • 清江生物群清江生物群是在中国湖北省宜昌市长阳地区发现的一个距今5.18亿年的化石库,其中保存了大量寒武纪软躯体化石,是自加拿大布尔吉斯页岩生物群与中国云南澄江生物群之后又一个重要
  • 阿夫里尔爱德华-亨利·阿夫里尔(Édouard-Henri Avril,1849年5月21日-1928年7月28日)是一个法国画家和商业绘画艺术家。他使用保罗·阿夫里尔(Paul Avril)的笔名绘制了大量的情色文学的插
  • 英格兰足总杯足球协会挑战杯(英语:Football Association Challenge Cup),简称足总杯(FA Cup),是由英格兰足球总会命名并主办的一项男子淘汰制足球杯赛。英格兰足总杯是世界上历史最悠久的足球比
  • 菱蟹总科见内文菱蟹科(学名:Parthenopidae)是螃蟹的一个科,是菱蟹总科(Parthenopoidea)之下唯一的一个科。其下有接近40个属。当中主要可再细分为两个亚科,而有三个属地位未定。
  • 俄罗斯法律俄罗斯法律(俄语:Правовая система Российской Федерации;英语:Law of Russia;俄罗斯联邦法律制度)即是俄罗斯联邦的主要与基本法律基础为俄罗
  • 浊软颚边塞擦音浊软颚边塞擦音(Voiced velar lateral affricate)是一种辅音,使用于一些口语中。用于表示此音的国际音标(IPA)是ɡʟ̝。浊软颚边塞擦音的特征包括:此音出现于缅彝语群的拉余语(英
  • 中台湾大学系统中台湾大学系统(Mid-Taiwan University System, 简称 M6),由中国医药大学、中山医学大学、东海大学、逢甲大学、静宜大学、亚洲大学等六所中部私立大学于2012年6月10日成立,是台