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