米纳汉·马吉多

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

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

相关

  • 臂是动物上肢的一部分,通常指从肩膀到手腕的肢体部分。臂包含上臂与前臂,而其中的关节为肘。上臂骨称作肱骨,其上端为肩关节,下端为肘关节。上臂的肌肉有肱二头肌、肱三头肌、肱
  • Ar氩(原子量:39.948(1))共有25个同位素,其中有3个是稳定的。备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 鸡蛋鸡蛋,又称鸡卵,是鸡所生、带有硬壳的卵,受精之后可孵出小鸡。鸡蛋由蛋壳保护,而当中的蛋白和蛋黄被各种薄膜包裹,并且是人类重要食物。新鲜鸡蛋密度较水更大些,会沉入水底。随着呼
  • J02A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J02(抗真菌药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborat
  • 卢卡·西诺莱利卢卡·西诺莱利(Luca Signorelli,约1445 – 1523年10月16日)是一位意大利文艺复兴时期的画家,他是当时托斯卡纳地区的重要画家之一,但也在罗马及翁布里亚绘制作品。卢卡·西诺莱
  • 桑拿桑拿(芬兰语:sauna;/ˈsɔːnə/ or /ˈsaʊnə/;),又称芬兰浴、三温暖,是指在封闭房间内用蒸气对人体理疗的过程。桑拿起源于芬兰,有4000年以上的历史。利用对全身干蒸冲洗的刺激
  • 量子电动力学在粒子物理学中,量子电动力学(英语:Quantum Electrodynamics,简称QED)是电动力学的相对论性量子场论。它在本质上描述了光与物质间的相互作用,而且它还是第一套同时完全符合量子力
  • 转动平衡转动平衡是指一物体受到多力作用而(不会)抑或(均匀)转动。若外力对物体上任何一点所产生的合力矩均为0时,此物体将(不会)抑或(均匀)转动,我们称其为转动平衡,但物体有可能存在
  • 19 (消歧义)19可能意指下列事物:
  • 欧仁·博班欧仁·博班(Eugène Boban,1834年-1908年),或博班-迪韦热(Boban-Duvergé),是一位法国古董商。他是马西米连诺一世的御用考古学家,也是法国派驻墨西哥的“科学委员会”(Commission sci