ハワード・ジェローム・ケイスラー

ハワード・ジェローム・キースラー（1936年12月3日生まれ）はアメリカの数学者であり、現在はウィスコンシン大学マディソン校の名誉教授である。彼の研究分野にはモデル理論と非標準解析が含まれる。

彼の博士課程の指導教官はバークレーのアルフレッド・タルスキであり、彼の博士論文は『Ultraproducts and Elementary Classes』（1961年）である。

ライプニッツ自身が提案したライプニッツ記法の文字通りの解釈、つまり「dx」を文字通り無限小量を表すと解釈することに関して、長い間内在する論理的矛盾であると考えられてきた問題を解決したアブラハム・ロビンソンの研究に続いて、キースラーは微積分を展開するためのイプシロン・デルタ・アプローチではなく、概念的に無限小の使用を中心とした初年度の微積分教科書である『初等微積分学：無限小アプローチ』を出版した。

彼はまた、レオン・ヘンキンのヘンキン構成を、現在ヘンキン・キースラー模型と呼ばれるものに拡張したことでも知られている。^[1]^{[2]彼はまた、}メアリー・エレン・ルーディンとともにルーディン・キースラー順序付けでも知られている。

彼はウィスコンシン大学の数学のヴィラス教授職を務めた。

キースラーの大学院生の中には、ローボトム基数を発見したフレデリック・ローボトムなど、数学で顕著な貢献をした者が数人いる。他にも、オックスフォード大学のコンピュータサイエンス教授マイケル・ベネディクト、ミシガン大学のコンピュータサイエンス教授ケビン・J・コンプトン、ソフトウェアベースのコラボレーション環境開発者カーティス・タッキー、神経学者でビジョンプロセッサのハードウェアとソフトウェアの開発者ジョセフ・スグロ、 IBMアルマデン研究所のデータベース研究者エドワード・L・ウィマーズなど、コンピュータサイエンスの研究や製品開発の道に進んだ者も数人いる。

彼の息子ジェフリー・キースラーはマサチューセッツ大学ボストン校経営学部のフルブライト名誉教授である。 ^[4]

出版物

Chang, CC ; Keisler, HJ 連続モデル理論 Annals of Mathematical Studies, 58, Princeton University Press, 1966. xii+165 pp.
無限論理のモデル理論、ノースホランド、1971年
チャン、CC; キースラー、HJ モデル理論。第3版。論理学と数学の基礎研究、73。ノースホランド出版社、アムステルダム、1990年。xvi+650 pp。ISBN 0-444-88054-2 ; 第1版1973年; ^[5]第2版1977年
初等微積分学：無限小アプローチ。プリンドル、ウェーバー、シュミット、1976/1986。オンラインで[1]から入手可能。
確率解析への無限小アプローチ、アメリカ数学会誌、1984年
Keisler, HJ; Robbin, Joel.数学的論理と計算可能性、McGraw-Hill、1996年
ファジャルド、セルジオ; キースラー、HJ確率過程のモデル理論、論理学講義ノート、記号論理学会。2002

^ G. Weaver (2001) [1994]、「ヘンキン構成」、数学百科事典、EMS Press
^ ジョージ・ウィーバー (1997)。ヘンキン・カイスラーモデル。スプリンガー。ISBN 978-0-7923-4366-0。
^ アメリカ数学会フェロー一覧、2013年1月27日閲覧。
^ 「キースラー教授がマサチューセッツ大学ボストン校の教授として初めてフルブライト名誉教授に任命される」
^ Makkai, M. (1976). 「レビュー: CC Chang と HJ Keisler によるモデル理論」(PDF) . Bull. Amer. Math. Soc . 82 (3): 433– 446. doi : 10.1090/s0002-9904-1976-14035-9 .