米纳汉·马吉多

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

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

相关

  • 淀粉酶淀粉酶(拼音:diàn-fěn méi;注音:ㄉㄧㄢˋ ㄈㄣˇ ㄇㄟˊ;法语, 德语, 英文:Amylase)是一种水解酶,是目前发酵工业上应用最广泛的一类酶。淀粉酶一般作用于可溶性淀粉、直链淀粉、
  • 起酥油起酥油(英语:Shortening)泛指在烘焙面食中,为了使食品口感松脆而加入的各种脂肪。为了操作方便,理想的起酥油在室温下应呈半固体状。在现代工业技术发展成熟之前,起酥一般是动物脂
  • 伪鳄类伪鳄类(Pseudosuchia)是主龙形下纲中的两个主要演化支之一。它们的头骨通常是厚重的,尤其是与鸟颈类主龙相比;伪鳄类主龙的口鼻部通常是长而狭窄的,颈部短而强壮,四肢的结构介于典
  • 马部,为汉字索引中的部首之一,康熙字典214个部首中的第一百八十七个(十划的则为第一个)。就繁体中文中,马部归于十划部首,而简体中文则归在三划。马部通常从左方、下方为部字。且
  • 詹代法则詹代法则(英语:Jante Law或Law of Jante;丹麦语:Janteloven;挪威语:Janteloven(书面挪威语)或Jantelova(新挪威语);瑞典语:Jantelagen;芬兰语:Janten laki;冰岛语:Jantelögin)是一个斯堪的纳
  • 虐囚门事件阿布格莱布监狱虐囚事件(英语:Abu Ghraib torture and prisoner abuse;阿拉伯语:فضيحة التعذيب في سجن أبو غريب‎),又称美军虐待伊拉克战俘事件、美英联
  • 远东红点鲑远东红点鲑,又名白斑红点鲑为辐鳍鱼纲鲑形目鲑科的其中一种。本鱼分布于西北太平洋区,包括俄罗斯远东地区、日本、朝鲜半岛、中国东北地区、美国阿拉斯加州,属洄游性鱼类。其多
  • 椎骨切迹椎骨切迹是位于椎弓根(pedicle of vertebral arch)上下的凹陷处。当脊椎接合时,邻近骨头的切迹便形成椎间孔。
  • 形式主义美学形式主义(英语:formalism)是主张通过形式表现情感的美学流派,其产生同 19世纪末期以后法国后印象派绘画有紧密联系。画家保罗·塞尚、保罗·高更、文森特·梵高等人在创作上从再
  • 碳基生物碳基生物(英语:Carbon-based life)是指以碳元素为有机物质基础的生物。在构成碳基生物的氨基酸中,连接氨基与羧基的是碳元素,所以称作碳基生物。目前地球上已知的所有生物都属于