Введение

Британский логик и математик Фредерик Роуботтом (16 января 1938 г. – 12 октября 2009 г.) был британским логиком и математиком. Большое кардинальное понятие кардиналов Роуботтама названо в его честь.

Биография

Роуботтом получил образование в Глосопской гимназии (ныне Глосопдейлская школа) в Хай-Пик, Дербишир, и в Королевском колледже Кембриджского университета, где в 1960 году окончил обучение со степенью бакалавра математики. По окончании Кембриджа он учился у Говарда Джерома Кейслера в Университете Висконсина – Мэдисона, где в 1964 году получил степень доктора философии с диссертацией «Большие кардиналы и малые конструктивные множества» под руководством Джерома Кейслера. По рекомендации Георга Крейзеля в 1965 году он занял должность в Бристольском университете, где и провёл всю свою дальнейшую профессиональную карьеру. В «Анналах математической логики», № 3, 1971 года, он опубликовал статью под названием «Некоторые сильные аксиомы бесконечности, несовместимые с аксиомой конструктивности». Эта статья, вместе с его диссертацией, «показала, что кардиналы Рамзи слабее измеримых кардиналов, и что их существование влечёт за собой счётность конструктивного континуума вещественных чисел; он также доказал, что это следует из более слабой аксиомы разбиения и двух кардинальных свойств». Большое кардинальное понятие кардиналов Роуботтома и понятие ультрафильтра Роуботтома названы в его честь. Кит Девлин изучал теорию множеств под руководством Роуботтома. В 1992 году он и его студент Джонатан Чепмен написали учебник по теории топосов «Теория относительной категории и геометрические морфизмы: логический подход», опубликованный в серии Oxford Logic Guides, № 16. Роуботтом вышел на пенсию в 1993 году в возрасте 55 лет. Роуботтом скончался от сердечной недостаточности в Хэдфилде, Дербишир, Англия, 12 октября 2009 года, в возрасте 71 года.