Menachem Magidor (Hebrew: מנחם מגידור; born January 24, 1946) is an Israeli mathematician who specializes in mathematical logic, in particular set theory.
In 2016 he was elected an honorary foreign member of the American Academy of Arts and Sciences.
His thesis, On Super Compact Cardinals, was written under the supervision of Azriel Lévy.
[1] He served as president of the Hebrew University of Jerusalem from 1997 to 2009, following Hanoch Gutfreund and succeeded by Menachem Ben-Sasson.
Magidor obtained several important consistency results on powers of singular cardinals substantially developing the method of forcing.
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.
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.