米纳汉·马吉多

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

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

相关

  • 离子导入法离子导入法(Iontophoresis),又称为离子电泳法。离子导入法是利用连续性之直流电流,以同电性相斥的原理,将离子或带电的化学药物驱送至体内的治疗方法。早在十八世纪末期至十九
  • 蕨类植物蕨类植物(Pteridophyta)是维管植物排除了种子植物所形成的并系群,曾长期被视为植物界中的一个单系类群,现因为蕨类植物不构成单系群,而被拆分为石松门和链束植物。蕨类植物特征为
  • 张东辉张东辉(1967年1月-),浙江舟山人,中国物理化学家,中国科学院大连化学物理研究所研究员。2017年当选为中国科学院院士。1989年毕业于复旦大学物理系,1994年在纽约大学获得博士学位。
  • 己巳之变抚清之战 · 萨尔浒之战 · 开铁之战 · 辽沈之战 · 镇江之战 · 林畔之战 · 广宁之战 · 辽南之战 · 亮马佃大捷 · 牛毛大捷 · 乌鸡关大捷 · 横
  • 王士祯清禹之鼎绘《王士禛幽篁坐啸图卷》,故宫博物院藏王士禛(1634年9月17日-1711年6月26日),赐名士祯,小名豫孙,字贻上,号阮亭,别号渔洋山人,人称王渔洋,谥文简。山东新城(今山东桓台)人,清代著
  • 南北党争南北党争是清朝初年的南方与北方士大夫的朋党之争,可以说是明末东林党争的余绪。清廷使用大量的明末遗臣,因此清朝初年一直都还有明末党争的阴影,仍是“南北各亲其亲,各友其友”
  • 完全专性寄生物(obligate parasite)指寄生生物的生活史中有一个阶段或整个生活史期过寄生生活的。如没有经历过合适的宿主时,这些生物便无法完成其生活史,以致无法进行繁殖。与之相
  • 新湖街道新湖街道是中国广东省深圳市光明区下辖的一个街道。辖区总面积40.93平方公里,下辖圳美、新羌、楼村等3个社区。区内主要有中山大学深圳校区(预计2019年完工)、中山大学附属第七
  • 梵天 (佛教)梵天(梵语:Brahmā,义为清净、离欲),又称大梵天王或大梵天(梵语:Mahā-brahmā(-deva),义为大梵天;音译为摩诃梵)、梵天主、净天、梵童子(梵语:Brahmā-sanaṃkumāra)、娑婆世界主(梵语:Br
  • Ki-67 (蛋白质)n/an/an/an/an/an/an/an/an/an/aKi-67(MKI67)是一种由人基因编码的蛋白质。该蛋白与细胞的增殖密切相关,在有丝分裂期以及分裂间期的细胞(G1、S、G2、M期)中都能检出Ki-67蛋白,有