米纳汉·马吉多

✍ dations ◷ 2024-09-20 16:48: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} 中可数多集合的并集。

相关

  • 曼尼普尔语曼尼普尔语,又称梅泰语(Meitei-lon/ꯃꯤꯇꯩ ꯂꯣꯟ;又名Meitei-lol/ꯃꯤꯇꯩ ꯂꯣꯟ、pangal-lol或Manipuri/মনিপুরি,又或Meithei/মেইথেই)是印度东北部喜马拉雅山
  • 杨 槱杨槱(1917年10月17日-),原籍江苏句容,生于北京,中国船舶设计专家。1940年获英国格拉斯哥大学一等荣誉学士学位。1949年任大连大学工学院教授(现大连理工大学)。1950年代曾任上海造船
  • 还愿还愿,广东人称还神,是一种向鬼神、圣者等许下愿望,愿望应验后对神圣、庙宇或是社会进回馈的行为。拉丁文“ex voto”是指还愿时所捐赠之物品。一般情况,向神佛许愿,愿望达成后,请
  • 深海喷口海底热泉(hydrothermal vent)亦作海底热液系统(Submarine Hydrothermal System),是从海底喷出经由地热加热过的水及其裂缝喷发口。通常发现于火山活动频发、大陆板块移动的地区及
  • 六月民主运动民主宪法争取国民运动本部(朝鲜语:민주헌법쟁취국민운동본부)第五共和国金泳三全斗焕六月民主运动,又名六月民主抗争 (朝鲜语: 6월 민주항쟁/ 六月民主抗争),是1987年6月10日至29
  • 淡水海关码头坐标:25°10′29″N 121°25′55″E / 25.1746737525711°N 121.431852157263°E / 25.1746737525711; 121.431852157263淡水港又称淡水(沪尾)海关码头,是淡水河的河口港,曾经为
  • 拉格泰姆拉格泰姆(英语:Ragtime)也称为抹布时间(rag-time),是一种原始的音乐风格,1897年至1918年间十分普及。其主要特点是切分音,“衣衫褴褛”的节奏。它最初是作为舞蹈音乐,在圣路易斯和新
  • 量化 (数理逻辑)在语言和逻辑中,量化是用量词指定一个谓词的有效性的广度的构造,就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子,我们称我
  • 法兰西第一共和国法兰西第一共和国(法语:République française)是法国历史学家对1792年9月到1804年5月间多个共和政体习惯上的统称。在法国大革命期间,法国经历了短暂的君主立宪时期(1791年9月4
  • 新机动战记敢达W《新机动战记高达 W》,是1995年4月到1996年3月在日本朝日电视台所播映的高达系列作品电视系列动画片共49话。本作是高达系列首部成功打入女性观众市场的作品。《新机动战记