Saharon Shelah
A Wikipédiából, a szabad lexikonból.
Saharon Shelah (Jeruzsálem, 1945. július 3.) izraeli matematikus.
Tartalomjegyzék |
[szerkesztés] Életpályája
A matematika professzora a Jeruzsálemi Héber Egyetemen és a Rutgers Egyetemen, New Jerseyben (USA). 1988 óta az Izraeli Tudományos Akadémia tagja. 2000-ben elnyerte a Magyar Tudományos Akadémia Bolyai-díját. 2001-ben matematikai Wolf-díjat kapott. A kortárs matematikusok közül Shelah az egyik legtermékenyebb. 2003-ban eljutott 750-edik cikke megírásához, mintegy 190 társszerzővel. Erdős-száma 1.
[szerkesztés] Kutatási területe
Shelah leginkább matematikai logikával, ezen belül modellelmélettel és halmazelmélettel foglalkozik.
[szerkesztés] Legfőbb eredményei
- a Los-lemma kiegészítéseként megmutatta, hogy elemien ekvivalens modelleknek van izomorf ultrahatványa,
- a modellelméletben klasszifikációelméletet dolgozott ki, ezzel megoldotta a Morley-probémát,
- halmazelméletben,
- a proper és szemiproper forszolás módszerének kidolgozása.
- kidolgozta a pcf-elmélet-et, megmutatva, hogy noha a kontinuumhipotézissel kapcsolatos legfontosabb kérdések eldönthetetlenek, vannak mély, számossághatványozásról szóló ZFC tételek.
Számos más területen is bizonyított alapvető eredményeket, például:
- bebizonyította, hogy létezik Kuros-monstrum, azaz olyan
számosságú csoport, aminek nincs számosságú valódi részcsoportja. - megmutatta, hogy a végtelen Abel-csoportokra vonatkozó Whitehead-probléma eldönthetetlen
- bebizonyította, hogy primitív rekurzív korlát adható a van der Waerden-tétel számaira.
[szerkesztés] Könyvei
- Classification theory and the number of nonisomorphic models, North-Holland, 1978.
- Proper forcing, Springer, 1982.
- Classification theory and the number of nonisomorphic models, második, bővített kiadás, North-Holland, 1990
- Around classification theory of models, Springer, 1986
- Cardinal Arithmetic, Oxford University Press, 1994.
- Proper and improper forcing. Springer, 1998.
Based on work by 