Menachem Magidor

Menachem Magidor (Hebrew מנחם מגידור; born January 24, 1946 in Petah Tikva, Israel) is an Israeli mathematical logician who particularly concerned with axiomatic set theory and logic.

Magidor obtained his doctorate in 1973 Azriel Levy at the Hebrew University in Jerusalem (On Super Compact Cardinals). Later he was a professor at the Hebrew University and at times its president.

From Magidor originate important contributions to the theory of large cardinals, the arithmetic of cardinal numbers and singular cardinal numbers, the forcing method and the non-monotonic logic. He was on the negative solution of the presumption of singular cardinals, an important problem of the theory involved ( with Karel Prikry, Jack Silver, W. Hugh Woodin, Saharon Shelah, William J. Mitchell, Moti Gitik ). With Matthew Foreman and Saharon Shelah, he proved the consistency of a generalization of Martin's axiom introduced in 1988, which they called Martins maximum.

In 2005 he was Godel Lecturer ( Skolem - Löwenheim theorems for generalized logics ). In 1997 he held the Tarski Lectures ( The Future of Set Theory: Is Godel 's Program Still Alive? ). In 1986 he was invited speaker at the International Congress of Mathematicians in Berkeley (Large cardinals and small sets: a survey ).