Menáhém Mágídór

A Wikipédiából, a szabad enciklopédiából
Menáhém Mágídór
MenachemMagidor.jpg
Született
1946. január 24. (69 éves)
Foglalkozása matematikus

Menáhém Mágídór (héber betűkkel מנחם מגידור, izraeli angol átírással Menachem Magidor Petah Tikvá, 1946. január 24.) izraeli matematikus.

Pályája[szerkesztés | forrásszöveg szerkesztése]

A Jeruzsálemi Héber Egyetemen szerezte B. Sc. (1965), M. Sc. (1967, M. Rabin) és PhD fokozatát (1972, Azríél Lévi 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 Negevi 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.

2005-től 2006-ig egy, az izraeli választási és kormányzati struktúra átalakításával foglalkozó, a köztársasági elnök által megbízott, 70 tagú bizottság (a Mágídór-bizottság) elnöke. A bizottság 2007. január 1-jén nyújtotta át jelentését.

Munkássága[szerkesztés | forrásszöveg szerkesztése]

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 \omega<\mu<\kappa 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.