„Menáhém Mágídór” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Kope (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
Kope (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
||
| 5. sor: | 5. sor: | ||
[[Halmazelmélet]]tel, a [[nagyszámosság]]ok elméletével foglalkozik. Igazolta, hogy a legkisebb [[erősen kompakt számosság]] egybeeshet akár a legkisebb [[mérhető számosság|mérhető]], akár a legkisebb [[szuperkompakt számosság]]gal (de természetesen nem egyszerre). A [[Prikry-forszolás]]t általánosítva, megmutatta, hogyan lehet egy κ nagyszámosság kofinalitását egy előre adott reguláris <math>\omega<\mu<\kappa</math> számosságra cserélni. Bebizonyította, hogy konzisztens (feltéve egy szuperkompakt számosság konzisztenciáját), hogy <math>\aleph_\omega</math> erős limesz és |
[[Halmazelmélet]]tel, a [[nagyszámosság]]ok elméletével foglalkozik. Igazolta, hogy a legkisebb [[erősen kompakt számosság]] egybeeshet akár a legkisebb [[mérhető számosság|mérhető]], akár a legkisebb [[szuperkompakt számosság]]gal (de természetesen nem egyszerre). A [[Prikry-forszolás]]t általánosítva, megmutatta, hogyan lehet egy κ nagyszámosság kofinalitását egy előre adott reguláris <math>\omega<\mu<\kappa</math> számosságra cserélni. Bebizonyította, hogy konzisztens (feltéve egy szuperkompakt számosság konzisztenciáját), hogy <math>\aleph_\omega</math> erős limesz és |
||
<center><math>2^{\aleph_{\omega}}=\aleph_{\omega+2},</math></center> |
<center><math>2^{\aleph_{\omega}}=\aleph_{\omega+2},</math></center> |
||
sőt (erősebb feltevésből) ez utóbbi teljesülhet úgy is, hogy <math>\aleph_\omega</math> alatt igaz az [[általánosított kontinuumhipotézis]]. |
sőt (erősebb feltevésből) ez utóbbi teljesülhet úgy is, hogy <math>\aleph_\omega</math> alatt igaz az [[általánosított kontinuumhipotézis]]. [[Matthew Foreman|Foremannal]] és [[Saharon Shelah|Shelahhal]] bevezette a [[Martin Maximuma|Martin Maximumát]], a [[Martin-axióma]] bizonyíthatóan legerősebb kiterjesztését. |
||
A lap 2006. augusztus 13., 16:09-kori változata
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. 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 erős limesz és
sőt (erősebb feltevésből) ez utóbbi teljesülhet úgy is, hogy 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.