Selected Papers of Dana S. Scott

Additions and corrections via pull request are welcome.

Title	Year
Convergent sequences of complete theories (dissertation)	1958
Foundational aspects of theories of measurement (Scott-Suppes)	1958
Finite automata and their decision problems (Rabin-Scott)	1959
On constructing models for arithmetic	1959
Measurable cardinals and constructible sets	1961
Algebras of sets binumerable in complete extensions of arithmetic	1962
Quine's individuals	1962
Invariant Borel sets	1964
Logic with denumerably long formulas	1965
A proof of the independence of the continuum hypothesis	1967
Existence and description in formal logic	1967
Some definitional suggestions for automata theory	1967
Extending the topological interpretation to intuitionistic analysis	1968
Boolean models and nonstandard analysis	1969
On completing ordered fields	1969
Advice on modal logic	1970
Constructive validity	1970
Extending the topological interpretation to intuitionistic analysis II	1970
On engendering an illusion of understanding	1971
Ordinal definability (Myhill-Scott)	1971
Continuous lattices	1972
Models for various type-free calculi	1973
Axiomatizing set theory	1974
Does many valued logic have any use	1974
Combinators and classes	1975
Data types as lattices	1976
Sheaves and logic (Fourman-Scott)	1979
Identity and existence in intuitionistic logic	1979
Lambda-calculus - some models some philosophy	1980
Relating theories of the lambda-calculus	1980
The presheaf model for set theory	1980
Some ordered sets in computer science	1982
A type theoretical alternative to ISWIM, CUCH, OWHY	1993
A new category?	1998
The algebraic interpretation of quantifiers	2007