查看“︁米纳汉·马吉多”︁的源代码

{{blpsources|time=2013-01-03T06:46:07+00:00}}
{{Infobox Scientist
| name                    = 米纳汉·马吉多
| image                   = MenachemMagidor.jpg
| image_size             = 180px
| caption                 = 米纳汉·马吉多教授2006年12月于耶路撒冷
| birth_date              = {{Birth date and age|1946|1|24}}
| birth_place             = [[佩塔提克瓦]]
| residence               = {{ISR}}[[耶路撒冷]]
| nationality             = [[以色列]]
| ethnicity               = [[犹太人]]
| field                   = [[数学]]
| work_institution        = [[希伯来大学]]
| alma_mater              = [[希伯来大学]]
| doctoral_advisor        = 阿兹里尔·乐维
| doctoral_students =  
| known_for               = [[数理逻辑]], [[集合论]], [[大基数]]
| prizes                  =  
| footnotes               =  
}}

'''米纳汉·马吉多'''（英语：'''Menachem Magidor'''，希伯来语：'''מנחם מגידור'''）是一位[[以色列]]数学家。他的主要研究方向是[[数理逻辑]]，特别是[[集合论]]。他曾担任[[耶路撒冷希伯来大学]]的校长。

==简介==

米纳汉·马吉多于1946年1月24日出生于[[佩塔提克瓦]]。他于1973年从希伯来大学毕业。毕业论文《关于超紧[[基数 (数学)|基数]]》是在阿兹里尔·乐维(Azriel Lévy)的指导下完成的。<ref>{{MathGenealogy|id=24629}}</ref>

==数学成果==

马吉多关于奇异基数的[[幂]]的[[一致性 (邏輯)|相容性]]问题上证明了多个重要结果，并极大地推动了[[力迫法]]的发展。他推广了普利科里力迫法（Prikry forcing），以便将一个[[大基数]]的梯度改变为一个预先指定的正则基数。他证明了最小的强紧基数可以等于最小的可测基数，或者最小的超紧基数可以等于最小的强紧基数（但不能同时成立）。他证明了<math>\aleph_\omega</math>为强极限基数，而<math>2^{\aleph_\omega}=\aleph_{\omega+2}</math>的相容性。他甚至可以把结论中<math>\aleph_\omega</math>为强极限基数强化为[[连续统假设#广义连续统假设|广义连续统假设]]在<math>\aleph_\omega</math>之下成立。这说明奇异基数猜想是不可证明的。这两个定理都用到非常大的基数的相容性。他与马修·福曼（Matthew Foreman）、[[薩哈讓·謝拉赫]]一起阐述并证明了马丁极大原理的相容性，该原理是马丁公理的最强形式。马吉多还给出了詹森（Jensen）和多德-詹森（Dodd-Jensen）覆盖引理的简单证明。他还证明了如果0<sup>#</sup>不存在，那么每个序数的本原递归闭集都是<math>L</math>中可数多集合的并集。

== 代表作 ==
* {{cite journal|title=On the singular cardinals problem. I|author=Magidor, Menachem|journal= Israel J. Math.|volume=28|year=1977|issue=1–2|pages=1–31|doi=10.1007/BF02759779}}
* {{cite journal|title=On the singular cardinals problem. II|url=https://archive.org/details/sim_annals-of-mathematics_1977-11_106_3/page/517|author=Magidor, Menachem|journal=Annals of Mathematics|volume=106|year=1977|issue=3|pages=517–547|doi=10.2307/1971065|jstor=1971065|publisher=The Annals of Mathematics, Vol. 106, No. 3}}
* {{cite journal|title=Martin's maximum, saturated ideals, and nonregular ultrafilters. I|url=https://archive.org/details/sim_annals-of-mathematics_1988-01_127_1/page/n2|author= Foreman, Matthew; Magidor, Menachem and Shelah, Saharon|journal=Ann. Of Math. (2)|year=1988|volume=127|issue=1|pages=1–47|doi=10.2307/1971415|jstor=1971415|publisher=The Annals of Mathematics, Vol. 127, No. 1}}
* {{cite journal|title=Martin's maximum, saturated ideals, and nonregular ultrafilters|url=https://archive.org/details/sim_annals-of-mathematics_1988-05_127_3/page/521|author= Foreman, Matthew; Magidor, Menachem and Shelah, Saharon|journal=Ann. Of Math. (2)|year=1988|volume=127|issue=3|pages=521–545|doi=10.2307/2007004|jstor=2007004|publisher=The Annals of Mathematics, Vol. 127, No. 3 <!--|unused_data=I-->}}
* {{cite journal|title=Large cardinals and definable counterexamples to the continuum hypothesis|url=https://archive.org/details/sim_annals-of-pure-and-applied-logic_1995-11-15_76_1/page/n52|author=Foreman, Matthew and Magidor, Menachem|journal=Annals of Pure and Applied Logic|year=1995|volume=76|issue=1|pages=47–97|doi=10.1016/0168-0072(94)00031-W}}

== 参考资料 ==
<!--- 参见https://zh.wikipedia.org/wiki/Wikipedia:%E8%84%9A%E6%B3%A8以获知如何使用<ref></ref>标签来插入参考资料，它们会自动显示在下方。 -->
{{Reflist}}

<!--- 分类 --->
[[Category:以色列数学家|M]]
[[Category:逻辑学家|M]]
[[Category:集合論者|M]]
[[Category:耶路撒冷希伯來大學校友|M]]