米纳汉·马吉多

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

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

相关

  • 夊部,为汉字索引里为部首之一,康熙字典214个部首中的第三十五个(三划的则为第六个)。夊部通常是从下方为部字,且无其他部首可用者将部首归为夊部。要注意的是,在繁体,夊部与夂部不
  • 仿生眼视觉假体(英文:visual prosthesis,或vision prosthesis)是一种植入式医用电子设备,其功能是在一定程度上恢复重度失明病人的视觉。视觉假体技术属于功能电刺激的一种。它利用大多
  • 犹太教与基督教犹太教与基督教:犹太教是西亚地区的游牧民族希伯来人中产生的宗教,后来在犹太教的基础上衍生出了基督教。犹太教和基督教有相同或相近之处,也有不同或相反之处。基督教借用了犹
  • 试爆一枚核子武器2006年朝鲜核试验或称朝鲜核子试爆,为朝鲜民主主义人民共和国首次核试验,据传试爆于当地时间2006年10月9日上午10时35分27秒,时间大约在朝鲜官方宣布准备核试验的一周之后。试
  • 羌语羌语(Qiang;Qiangish languages;Rma languages)主要分布在中国四川阿坝州的汶川县、茂县、理县、松潘县和黑水县等地,是当地羌族人和藏族人操的语言。羌语属汉藏语系的羌语支,藏缅
  • 7号线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 北京印刷学院北京印刷学院由北京市和新闻出版总署共建,是一所包括工、文、管、艺等多学科门类的全日制高等院校。在校学生7000余名。立足北京、服务首都、面向全国印刷、包装、出版及相关
  • 傅彪傅彪(1963年9月27日-2005年8月30日),籍贯山东,生于北京,中国电影、电视剧演员。籍贯山东,出生于北京。1989年与张秋芳结婚,两人育有一子。1999年,他们被评为北京市100对恩爱夫妻之一
  • 博茨瓦纳航空博茨瓦纳航空(Air Botswana,IATA:BP,ICAO:BOT)是非洲国家博茨瓦纳的国营航空公司,总部设于首都嘉柏隆里,以塞雷茨·卡马爵士国际机场为基地。博茨瓦纳航空于1972年7月2日由两间经营
  • 书剑恩仇录 (2002年电视剧)《书剑恩仇录》,是根据金庸同名武侠小说改编的电视连续剧, 由唐人影视制作。 于2002年在台湾电视台中国电视公司首播。