Menachem Magidor

A Wikipédiából, a szabad lexikonból.

Menachem Magidor (Petah Tikva, 1946. január 24.) izraeli matematikus.

A Jeruzsálemi Héber Egyetemen szerezte B. Sc. (1965), M. Sc. (1967, M. Rabin) és Ph. D. fokozatát (1972, Azriel Lévy vezetésével). Katonai szolgálatát 1965-1968 között teljesítette. 1972-1975 között a Berkeley Egyetemen, 1975-1978 között a Negev-i Ben Gurion Egyetemen, azóta a Héber Egyetemen dolgozik, 1983 óta professzorként. 1987-1989 között a Matematikai Tanszék vezetője, 1992-1996 között a természettudományi kar dékánja, 1997 óta pedig az egyetem rektora. 1996 és 1998 között az Association of Symbolic Logic (a nemzetközi Szimbolikus Logikai Társaság) elnöke.

Halmazelmélettel, a nagyszámosságok elméletével foglalkozik. Igazolta, hogy a legkisebb erősen kompakt számosság egybeeshet akár a legkisebb mérhető, akár a legkisebb szuperkompakt számossággal (de természetesen nem egyszerre). A Prikry-forszolást általánosítva, megmutatta, hogyan lehet egy κ nagyszámosság kofinalitását egy előre adott reguláris ω < μ < κ számosságra cserélni. Bebizonyította, hogy konzisztens (feltéve egy szuperkompakt számosság konzisztenciáját), hogy \aleph_\omega erős limesz és

2^{\aleph_{\omega}}=\aleph_{\omega+2},

sőt (erősebb feltevésből) ez utóbbi teljesülhet úgy is, hogy \aleph_\omega alatt igaz az általánosított kontinuumhipotézis. Foremannal és Shelahhal bevezette a Martin Maximumát, a Martin-axióma bizonyíthatóan legerősebb kiterjesztését. Jerome Malitz-cal bevezette az úgynevezett Magidor-Malitz kvantort.