Фредерик Роуботтом (16 января 1938 - 12 октября 2009) был британским логиком и математиком . В его честь названо большое кардинальное понятие кардиналов Роуботтома .
биография
После окончания Кембриджского университета , Роуботтом учился у Говарда Джерома Кейслера в Университете Висконсин-Мэдисон , получив докторскую степень. В 1964 году защитил диссертацию на тему « Большие кардиналы и малые конструктивные множества» под руководством Джерома Кейслера . [1] По рекомендации Георга Крайзеля в 1965 году он занял должность в Бристольском университете , где и провел остаток своей профессиональной карьеры.
Он опубликовал статью под названием «Некоторые сильные аксиомы бесконечности, несовместимые с аксиомой конструктивности» в Annals of Mathematical Logic , 3, 1971. Эта статья вместе с его диссертацией «показала, что кардиналы Рамсея слабее измеримых кардиналов, и что их существование предполагало, что конструктивный реальный континуум был счетным; он далее доказал, что это также следует из более слабого разбиения и двух кардинальных свойств ". [2] большое кардинальное понятие Rowbottom кардиналов названо в его честь, [3] , как это понятие Rowbottom ультрафильтрации . [4]
Кейт Девлин изучал теорию множеств под руководством Роуботтома. В 1992 году он и студент Джонатан Чепмен, написал учебник по теории топос , теория относительной категории и геометрических морфизмов: логический подход , опубликованный в Оксфорде Logic Guides , № 16. [5] [6] [7] Rowbottom удалился в 1993 год в возрасте 55 лет.
Роуботтом умер от сердечной недостаточности в Хэдфилде , Англия, 12 октября 2009 года в возрасте 71 года [2].
Рекомендации
- ^ Фредерик Роуботтом в проекте « Математическая генеалогия» .
- ^ Б "Память: Фредерик Роуботт" , Извещение, Бюллетень символической логики , 16 (2): 299, 2010, DOI : 10,2178 / BSL / 1286889129.
- ^ Tryba, Ян (1981), "Несколько замечаний о Rowbottom кардиналами", Израиль Журнал математики , 40 (3-4): 193-196, DOI : 10.1007 / BF02761361 , S2CID 120998636.
- ^ Фэн Ци (1987), "О Rowbottom М -ultrafilters", журнал символической логики , 52 (4): 990-993, DOI : 10,2307 / 2273832 , JSTOR 2273832.
- ^ Роуботтом, Фредерик и Джонатан Чепмены. Теория относительных категорий и геометрические морфизмы: логический подход , опубликованная в Oxford Logic Guides , Oxford University Press , 1992, ISBN 978-0-19-853434-1
- ^ Макларти, Колин (1994). «Обзор» . Современная логика . 4 (3): 345–348.
- ^ Мурдейк, Ике (1995). «Обзор» . Журнал символической логики . 60 (2): 694–695. DOI : 10.2307 / 2275864 . JSTOR 2275864 . CS1 maint: обескураженный параметр ( ссылка )