デイナ・スコット
ロバート・ソロヴェイ(英語版)の初期の観測に続き、ソロヴェイやペトル・ヴォピェンカとほぼ同時期にスコットはブール値モデル(英語版)の概念を定式化した。1967年の論文 A Proof of the Independence of the Continuum Hypothesis で、ブール値モデルを使い、ポール・コーエンが連続体仮説の独立性を証明したのとは別の証明を与えた。この業績により1972年にスティール賞を受賞している。