米纳汉·马吉多

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

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

相关

  • 食欲食欲(Appetite)是指一个人对于食物进食的渴望,有时可能是因为饥饿所造成,不过具吸引力的食物可能会让人在不饥饿时仍然有食欲。食欲可以调节能量的摄取,以维持身体代谢所需的量,其
  • 非尼拉敏苯吡丙胺(Pheniramine)又称非尼拉敏、非尼腊明、抗感明、抗感敏或屈米通(Trimeton)等,是一种有抗胆碱能性质的抗组胺药,用作抗过敏药,用来治疗荨麻疹及过敏性鼻炎等。具有相对较强
  • 发酵酶发酵酶(Zymase)是一种可以催化糖类发酵成乙醇和二氧化碳的酶复合物。它天生就存在于酵母菌之中。发酵酶的活性在不同的酵母菌株之间也会有不同。发酵酶(写成英文Zymase)也是一个
  • 糖化血色素糖化血红蛋白(又称糖化血红素, 缩写作hemoglobin A1c, HbA1c, A1C, Hb1c; 有时缩写为 HbA1c)是血液红细胞中的血红蛋白与葡萄糖结合的产物,通常作为一段时间内平均血浆葡萄糖浓
  • 统领统领,中日朝之称号中一 :统领,军官名。宋代时居于都统制、统制之下,正将之上 。清朝八旗部队各设有护军统领,掌管本旗军政、军令。帝都燕京设有步军统领,掌管京师卫戍门禁与满人
  • 合体字合体为一种汉字字体的结构,与独体概念相对。合体字其形体结构可拆解分析其读音或字义。六书中会意、形声多属此类。因而最早独体字称作文,衹有合体字才称为字,今日已不区分,统称
  • 吱嘎音声门近音吱嘎音声门近音,被使用于一些口语中,其国际音标写作⟨ʔ̞⟩或⟨ʔ̰⟩。发此音时会使声门紧缩,经过的气流也会明显减少(与其前后的元音相比),但不会完全阻断气流。此音为许多语言
  • 青木周藏青木周藏(英语:Aoki Shūzō, 1844年3月3日-1914年2月16日)是一位日本外交官,日本外务大臣。1844年出生于长门国厚狭郡一个武士医生家庭,在明伦馆学习西方知识,1868年被送去德国学
  • 高雅 (东汉)高雅(生卒年不详),中国东汉末期吕布属下武将。张超、陈宫叛曹操迎入吕布,吕布入兖州奇袭濮阳。在曹操的势力仅剩下鄄城、东阿、范县。兴平元年(194年),曹操从徐州刺史部回到兖州刺
  • TEGFETTEGFET(英语:two-dimensional electrongas field effect transistor,缩写:TEGFET)二维电子砷化镓场效应晶体管高性能二维电子砷化镓场效应管通常应用于微波和高速逻辑电路应用Tem