フレデリック・ロウボトム
Frederick Rowbottom (1938年1月16日-2009年10月12日)は、英国の論理学者および数学者でした。 Rowbottom枢機sの大きな枢機notの概念は彼にちなんで名付けられました。
経歴
ケンブリッジ大学を卒業後、ウィスコンシン大学マディソン校でハワードジェロームケイスラーに師事し、博士号を取得しました。 1964年、ジェロームケイスラーの監督の下、 ラージカーディナルズとスモールコンストラクティブルセットというタイトルの論文で学位を取得。ゲオルク・クレイゼルからの推薦を受けて、彼は1965年にブリストル大学で職に就き、そこで残りのプロとしてのキャリアを過ごしました。
彼は「 数学の論理学 、3 1971年」に「構築性の公理と矛盾する無限の強い公理」と呼ばれる論文を発表した。この論文は、彼の論文とともに、「ラムジー枢機inalは測定可能な枢機inalよりも弱く、存在は、構築可能な実際の連続体が可算であることを暗示しました。彼はさらに、これがより弱いパーティションと2つの基本的な特性からも続くことを証明しました。 Rowbottomカーディナルの大きな基本概念は、Rowbottomウルトラフィルターの概念と同様、彼にちなんで命名されています。
Keith DevlinはRowbottomの下で集合論を研究しました。 1992年、彼と学生のジョナサンチャップマンは、トポス理論に関する教科書、 Relative Category Theory and Geometric Morphisms:A Logical Approachを作成し 、 Oxford Logic Guides 、No。16で出版しました 。
Rowbottomは、2009年10月12日、71歳でイギリスのハドフィールドで心不全で死亡しました。