米纳汉·马吉多

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

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

相关

  • 高效液相色谱仪高效液相色谱法(英语:high performance liquid chromatography,缩写 HPLC),又译高效液相层析法,以前曾指高压液相层析法(high pressure liquid chromatography),是一种色谱分析技术,用
  • 瓦尔省瓦尔省(法文:Var)是法国普罗旺斯-阿尔卑斯-蓝色海岸大区所辖的省份。该省编号为83。5个海外省及大区
  • 查谟和克什米尔中央直辖区查谟和克什米尔(Jammu and Kashmir)是一个位于印度北部的中央直辖区,分为查谟和克什米尔山谷两个专区,为印度控制的克什米尔的一部分。该地南面与旁遮普和喜马偕尔邦接壤,东北部
  • 台北州台北州为大日本帝国的行政区划之一,由原台北厅合并宜兰厅及桃园厅的三角涌支厅而成。其下管辖三市九郡,州治设于台北市,辖域包括今台北市、新北市、基隆市及宜兰县。台北州于昭
  • 澳大利亚科技大学联盟澳大利亚科技大学联盟(英语:Australian Technology Network,缩写为 ATN)是由5所重视将本科阶段所学习和研究的内容,转化于实际应用成果的澳大利亚大学组成,成立于1995年。这5所院
  • 如意如意,别名“握君”,中国传统工艺品,起源于古代中国人的“爪仗”(即俗称的“不求人”、“痒痒挠”)。如意大致可分为三种,直柄式如意,造型线条简单,是为天官如意。顶端造型形似灵芝的
  • 环保运动环保运动或环境运动(英语:Environmental movement)这个名词含有保育、绿色政治的意味,是一个跨科学的(diverse scientific)、社会性的、针对环境问题的政治运动。环保主义者常提倡
  • 马赛马拉马赛马拉国家保护区(又译作马塞马拉,Maasai Mara;Masai Mara)是肯尼亚西南部的一个大型猎物禁猎区,位于肯尼亚裂谷省纳罗克附近,与坦桑尼亚北部塞伦盖蒂国家公园无缝对接。名称来
  • 2016年被中华人民共和国处决的死刑犯列表2016年被中华人民共和国处决的死刑犯列表,旨在列出2016年被中华人民共和国处决的死刑犯。
  • 安东·布鲁克纳安东·布鲁克纳(德语:Anton Bruckner 德语:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",