Джон Роберт Стил (родился 30 октября 1948 года) — американский теоретик множеств из Калифорнийского университета в Беркли (ранее в Калифорнийском университете в Лос-Анджелесе ). Он внес большой вклад в теорию внутренних моделей и детерминированности . С Дональдом А. Мартином он доказал проективную детерминированность , [1] предполагая существование достаточно больших кардиналов . Он получил докторскую степень по логике и методологии науки в Беркли в 1977 году под совместным руководством Джона Уэста Эддисона-младшего и Стивена Г. Симпсона . [2]
В 1988 году Ассоциация символической логики наградила его, Дональда А. Мартина и В. Хью Вудина премией Карпа за их работу о согласованности определенности относительно больших кардиналов. В 2015 году Европейское общество теории множеств наградило его и Рональда Йенсена медалью Хаусдорфа за их работу «K без измеримого».
В 2012 году Стил прочитал лекцию Гёделя на тему « Наследственно порядковые определимые множества в моделях детерминированности».