米纳汉·马吉多

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

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

相关

  • 马提尼克马提尼克(Martinique)位于中美洲加勒比海,是法国的一个海外大区,首府法兰西堡。下辖一个省,即马提尼克省。高更博物馆(法语:Centre d'Interprétation Paul Gauguin)位于首府。自194
  • 荷语区弗拉芒语社群(荷兰语:Vlaamse Gemeenschap)有两种不同但相关的含义:比利时联邦宪法授权弗拉芒语社群行使以下权力:当弗拉芒语社群内各类机构(地方议会、地方政府、语言机构等)吸收
  • 苹果酸-天冬氨酸穿梭系统苹果酸-天冬氨酸穿梭(英语:malate-aspartate shuttle,也称为苹果酸穿梭)是真核细胞中一个转运在糖酵解过程中传出的电子跨越半通透性的线粒体内膜以进行氧化磷酸化的生物化学体
  • 西非国家经济共同体西非国家经济共同体(简称西共体;Economic Community of West African States,缩写:ECOWAS;Communauté économique des États de l'Afrique de l'Ouest,缩写:CEDEAO)是西非的一个
  • 聋哑聋哑以往是用来形容失聪且无法说话,需使用手语沟通的人。此一词语现在也用来指无法用口语沟通的失聪者,或是失聪者有部分口语能力,但因为声音和一般人不同,为避免注意,而选择改用
  • 历史人类学体质人类学 文化人类学 语言人类学 分子人类学 社会人类学 考古学应用人类学 民族志 参与观察 文化相对论文化 • 社会 史前史 • 人类演化 亲属 婚姻 • 家庭 物质文化 种
  • Cantharoidea花萤科(Cantharidae),又称菊虎科,为鞘翅目下的一科,属于叩头虫总科的一支。目前已知超过130属5000种,分属5个亚科。该科成员一般体态修长、鞘翅柔软,且许多种类具有鲜艳的警戒色。
  • 彭胜竹彭胜竹(1950年2月12日-),中华民国空军二级上将,籍贯湖北省武昌市,生于台南市,成长于客家村落,客语及台语流利,毕业于空军官校60年班、美国空军战争学院(英语:Air War College),为中华民国
  • 心动不已的印度《心动不已的印度》(英语:Exciting India,韩语:두근두근인도,又名:扑通扑通印度)是韩国KBS电视台新制作之综艺节目,以探索K-POP及韩国文化为何没有在印度使众人所知为目的的新题材综
  • 天主教帕洛总教区天主教帕洛总教区(拉丁语:Archidioecesis Palensis、他加禄语:Arkidiyosesis ng Palo),是罗马天主教会以菲律宾莱伊泰岛帕洛为中心的一个总主教区,辖区包括莱伊泰省大部分。下辖三