Loading article…
ジョン・ロバート・スティール（1948年10月30日生まれ）は、カリフォルニア大学バークレー校（以前はUCLA ）のアメリカ人集合論学者である。彼は内部モデルと決定性の理論に多くの貢献をしてきた。ドナルド・A・マーティンと共に、十分大きな基数の存在を仮定して射影的決定性を証明した[ 1 ] 。彼は1977年にバークレーでジョン・ウェスト・アディソン・ジュニアとスティーブン・G・シンプソンの共同指導の下、論理学と科学の方法論の博士号を取得した[ 2 ]。
1988年、記号論理学会は、彼とドナルド・A・マーティン、W・ヒュー・ウッディンに、大きな基数に関する決定性の一貫性に関する研究に対してカープ賞を授与した。2015年、欧州集合論学会は、彼とロナルド・ジェンセンに論文「測定可能なKなし」に対してハウスドルフ・メダルを授与した。
2012年、スティールは「決定性モデルにおける遺伝的に順序付け可能な集合」と題したゲーデル講演を行った。