Narodziny |
23 marca 1943 Wichita |
---|---|
Śmierć |
28 grudnia 2011(w wieku 68 lat) Hanower |
Narodowość | amerykański |
Trening | Uniwersytet Kalifornijski w Berkeley |
Zajęcia | Matematyk , logik , profesor uniwersytecki |
Pracował dla | Dartmouth College |
---|---|
Obszary | Logika matematyczna , teoria mnogości |
Kierownik | Robert się napawał |
starzy studenci | Stan Wagon , Jean Larson, Tadatoshi Miyamoto i Alan D. Taylor |
James „Jim“ Earl Baumgartner (ur.23 marca 1943w Wichita (Kansas) i zmarł dnia 28 grudnia 2011w Hanover (New Hampshire) ) jest amerykańskim matematykiem, który pracował w aksjomatycznej teorii mnogości i podstawach matematyki .
Baumgartner studiował w California Institute of Technology i uzyskał tytuł licencjata w 1960; doktorat uzyskał w 1970 r. na Uniwersytecie Kalifornijskim w Berkeley pod kierunkiem Roberta Lawsona Vaughta (tytuł pracy: Results and Independence Proofs in Combinatorial Set Theory ). W 1969 został instruktorem , w 1971 docentem, w 1976 docentem, aw 1980 profesorem w Dartmouth College . Od 1983 był profesorem Johna G. Kemeny Parents . W 1982 zdiagnozowano u niego stwardnienie rozsiane, co ostatecznie zmusiło go do korzystania z wózka inwalidzkiego; przeszedł na emeryturę jako emeryt w 2004 roku, a zmarł w 2011 roku na atak serca.
Baumgartner pracował nad forsowaniem iterowanym i za pracą Saharona Shelaha formułuje Aksjomat Forsowania Własnego (PFA), wykazuje jego zgodność z teorią zbiorów Zermelo-Fraenkla (ZFC); daje wiele zastosowań.
Pokazuje zgodność z ZFC twierdzenia, zgodnie z którym dwa -gęste zbiory liczb rzeczywistych są izomorficzne dla relacji porządku (zbiór liczb rzeczywistych jest -gęsty, jeśli ma dokładnie punkty w dowolnym otwartym przedziale). Innym wpływowym twierdzeniem Baumgartnera jest jego dowód, wraz z Andrásem Hajnalem, na istnienie relacji podziału liczb porządkowych.
Praca naukowa Baumgartnera dotyczy problemu Souslina , teorii Ramseya , niepoliczalnych typów porządków, rozłącznych udoskonaleń, arytmetyki kardynalnych, relacji podziału, wymuszeń iterowanych, liczby chromatycznej grafów, nadatomowych algebr Boole'a , relacji podziału.
Wśród jego absolwentów są Stan Wagon , Jean Larson, Tadatoshi Miyamoto i Alan D. Taylor .