Фредерик Роуботтом
Фредерик Роуботтом (16 января 1938 — 12 октября 2009) — британский логик и математик . Большое кардинальное понятие кардиналов Роуботтома названо в его честь.
Биография [ править ]
Роуботтом получил образование в гимназии Глоссопа (ныне школа Глоссопдейла ) в Хай-Пике , Дербишир , и Королевском колледже в Кембридже , который он окончил со степенью по математике в 1960 году. [1] Покинув Кембридж, он учился у Говарда Джерома Кейслера в Университете Висконсин-Мэдисон , получив степень доктора философии. получил степень в 1964 году, защитив диссертацию на тему « Большие кардиналы и малые конструктивные множества » под руководством Джерома Кейслера . [2] По рекомендации Георга Крайзеля в 1965 году он занял должность в Бристольском университете , где и провел остаток своей профессиональной карьеры.
Он опубликовал статью под названием «Некоторые сильные аксиомы бесконечности, несовместимые с аксиомой конструктивности » в « Анналах математической логики» , 3, 1971. Эта статья вместе с его диссертацией «показала, что кардиналы Рэмсея слабее, чем измеримые кардиналы , и что их существование подразумевало, что конструируемый реальный континуум был счетным ; далее он доказал, что это следует также из более слабого разделения и двух кардинальных свойств». [3] Большое кардинальное понятие кардиналов Роуботтома названо в его честь. [4] как и понятие ультрафильтра Роуботтома . [5]
Кейт Девлин изучал теорию множеств под руководством Роуботтома. В 1992 году он и его студент Джонатан Чепмен написали учебник по теории топоса « Теория относительных категорий и геометрические морфизмы: логический подход» , опубликованный в Oxford Logic Guides , № 16. [6] [7] [8] Роуботтом вышел на пенсию в 1993 году в возрасте 55 лет.
Роуботтом умер от сердечной недостаточности в Хэдфилде, Дербишир , Англия, 12 октября 2009 года в возрасте 71 года. [3]
Ссылки [ править ]
- ^ «Результаты Tripos в Кембридже», The Times , 17 июня 1960 г., стр. 25.
- ^ Фредерик Роуботтом в проекте «Математическая генеалогия» .
- ↑ Перейти обратно: Перейти обратно: а б «In Memoriam: Frederick Rowbottom» , Примечания, Бюллетень символической логики , 16 (2): 299, 2010, doi : 10.2178/bsl/1286889129 , S2CID 231796765 .
- ^ Триба, Ян (1981), «Несколько замечаний о кардиналах Роуботтома», Israel Journal of Mathematics , 40 (3–4): 193–196, doi : 10.1007/BF02761361 , S2CID 120998636 .
- ^ -ультрафильтрах Rowbottom Фэн, Ци (1987), «О M », Journal of Символическая логика , 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. дои : 10.2307/2275864 . JSTOR 2275864 .