След първоначалното наблюдение на Робърт СоловайСоловей, Скот формулира концепцията на Булеви стойностни модели, като СоловайСоловей и Petr Vopěnka направиха приблизително същото в същото време. През 1967 г. Скот публикува статия, доказателство на Независимосттанезависимостта наот Continuum Hypothesi, в която той използва Булеви стойностни модели за предоставяне на алтернативен анализ на независимостта на Continuum Hypothesi , предвиден от Пол Коен. Тази работа донася на Leroy P. Steele награда през 1972 година.
==Оксфордския университет, 1972-1981==
Ред 27:
==Hагради:==
ХаролдHarold Pender Award - награда за прилагането му на понятия от логиката и алгебра за развитието на математическата семантика на езиците за програмиране от 1990 г.;
През 1997 Rolf Schock - награда в логиката и философията на [[Кралска шведска академия на науките]] за неговите концептуално ориентирани логични работи, особено създаването на домейн теория.
БолцаноBolzano - награда за заслуги в областта на математическите науки от Чешката академия на науките от 2001 г.
EATCS Award за 2007 г. за неговия принос към теоретичните компютърни науки.
