Narození |
24. ledna 1946 Petah Tikva |
---|---|
Státní příslušnost | izraelský |
Domov | Jeruzalém |
Výcvik | Hebrejská univerzita v Jeruzalémě |
Aktivita | Matematik |
Pole | Teorie množin |
---|---|
Člen | Americká akademie umění a věd |
Dozorce | Azriel Levy |
Rozdíl | Gödel Lektor (2005) |
Menachem Magidor (narozen 1946) je izraelský matematik, který se specializuje na matematickou logiku , zejména teorii množin .
Menachem Magidor se narodil v Petah Tikva , dne24. ledna 1946. Získal doktorát v roce 1973 z Hebrejské univerzity. Jeho práce On Super Compact Cardinals byla napsána pod vedením Azriel Lévy .
Magidor získal několik významných výsledků v oblasti pravomocí singulárních kardinálů, což umožnilo značně vyvinout metodu vynucování . On zobecnit Příkrý to nutí v Chcete-li změnit kofinál velkého kardinála po předem určený pravidelný kardinálem. Dokázal, že nejmenší kardinál vysoce kompaktní (v) se může rovnat nejmenšímu kardinálovi měřitelnému nebo menšímu kardinálovi superkompaktní (v) (ale ne současně). Za předpokladu konzistence velmi velkých kardinálů postavil modely (1977) teorie množin s časnými příklady nepravidelných ultrafiltrů na velmi malých kardinálech (souvisejících se slavným problémem Guilmanna Keislera týkajícího se existence „nepravidelných ultrafiltrů“), dokonce is příklad mohutných skoků ultrapowerů. Dokázal, že je konzistentní, že jde o silně hraničního kardinála, ale . Dokonce posílil podmínku, která je silně omezena skutečností, že hypotéza generalizovaného kontinua (GCH) je pravdivá níže . To bylo negativní řešení předpokladu singulárního kardinála (en) . Oba důkazy používají konzistenci velmi velkých kardinálů. Magidor, Matthew Foreman (in) a Saharon Sále formulovány a osvědčená maximální konzistence Martin, prokazatelně nejvyšší formu axiomu Martin . Magidor také poskytl jednoduchý důkaz o překlenutí lemmatu (ne) Jensena a Dodd-Jensena. Dokázal, že pokud 0 # ( zero sharp (en) ) neexistuje, pak je jakákoli rekurzivní primitivní uzavřená množina ordinálů spočetným spojením spočetných množin patřících .
Působil jako prezident Hebrejské univerzity v Jeruzalémě , v letech 1996 až 1998 byl prezidentem Asociace pro symbolickou logiku (ASL) a v současné době je prezidentem divize logiky, metodologie a filozofie vědy a technologie Mezinárodní unie. of History and Philosophy of Science (in) (DLMPST / IUHPS; 2016-2019).
V roce 1986 hostoval na Mezinárodním kongresu matematiků v Berkeley. V roce 1997 byl lektorem Tarského . V roce 2005 byl lektorem Gödel s přednáškou nazvanou Skolem-Lowenheimovy věty pro zobecněnou logiku. V roce 2016 byl zvolen zahraničním čestným členem Americké akademie umění a věd .