Menachem Magidor

Menachem Magidor
Professor Menachem Magidor in Jerusalem, December 2006
Born	(1946-01-24) January 24, 1946 Petah Tikva, Mandatory Palestine (now Israel)
Residence	Jerusalem, Israel
Nationality	Israeli
Fields	Mathematician
Institutions	Hebrew University
Alma mater	Hebrew University
Doctoral advisor	Azriel Lévy
Known for	Mathematical logic, Set theory, Large cardinal property

Menachem Magidor (born 1946) is an Israeli mathematician who specializes in mathematical logic, in particular set theory. He served as President of the Hebrew University of Jerusalem, was President of the Association for Symbolic Logic from 1996 to 1998, and is currently the President of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science (DLMPST/IUHPS; 2016-2019).

Biography

Menachem Magidor was born in Petah Tikva on January 24, 1946. He received his Ph.D. in 1973 from the Hebrew University. His thesis, On Super Compact Cardinals, was written under the supervision of Azriel Lévy.^[1]

Mathematical theories

Magidor obtained several important consistency results on powers of singular cardinals substantially developing the method of forcing. He generalized the Prikry forcing in order to change the cofinality of a large cardinal to a predetermined regular cardinal. He proved that the least strongly compact cardinal can be equal to the least measurable cardinal or to the least supercompact cardinal (but not at the same time). Assuming consistency of huge cardinals he constructed models (1977) of set theory with first examples of nonregular ultrafilters over very small cardinals (related to the famous Guilmann Keisler problem concerning existence of nonregular ultrafilters), even with the example of jumping cardinality of ultrapowers. He proved consistent that $\aleph_\omega$ is strong limit, but $2^{\aleph_\omega}=\aleph_{\omega+2}$ . He even strengthened the condition that $\aleph_\omega$ is strong limit to that GCH holds below $\aleph_\omega$ . This constituted a negative solution to the singular cardinals hypothesis. Both proofs used the consistency of very large cardinals. Magidor, Matthew Foreman, and Saharon Shelah formulated and proved the consistency of Martin's maximum, a provably maximal form of Martin's axiom. Magidor also gave a simple proof of the Jensen and the Dodd-Jensen covering lemmas. He proved that if 0^# does not exist then every primitive recursive closed set of ordinals is the union of countably many sets in $L$ .

Selected published works

Magidor, Menachem (1977). "On the singular cardinals problem. I". Israel J. Math. 28 (1–2): 1–31. doi:10.1007/BF02759779.
Magidor, Menachem (1977). "On the singular cardinals problem. II". Ann. Math. (2) (The Annals of Mathematics, Vol. 106, No. 3) 106 (3): 517–547. doi:10.2307/1971065. JSTOR 1971065.
Foreman, Matthew; Magidor, Menachem and Shelah, Saharon (1988). "Martin's maximum, saturated ideals, and nonregular ultrafilters. I". Ann. Of Math. (2) (The Annals of Mathematics, Vol. 127, No. 1) 127 (1): 1–47. doi:10.2307/1971415. JSTOR 1971415.
Foreman, Matthew; Magidor, Menachem and Shelah, Saharon (1988). "Martin's maximum, saturated ideals, and nonregular ultrafilters". Ann. Of Math. (2) (The Annals of Mathematics, Vol. 127, No. 3) 127 (3): 521–545. doi:10.2307/2007004. JSTOR 2007004.
Foreman, Matthew and Magidor, Menachem (1995). "Large cardinals and definable counterexamples to the continuum hypothesis". Annals of Pure and Applied Logic 76 (1): 47–97. doi:10.1016/0168-0072(94)00031-W.

References

↑ Menachem Magidor at the Mathematics Genealogy Project

Authority control	VIAF: 299467661 MGP: 24629

This article is issued from Wikipedia - version of the Monday, February 08, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.