[
  {
    "path": "README.md",
    "content": "## Selected Papers of Dana S. Scott\r\n\r\nAdditions and corrections via pull request are welcome.\r\n\r\n| Title | Year |\r\n|:------|:----:|\r\n|[Convergent sequences of complete theories (dissertation)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1958-convergent-sequences-of-complete-theories-(dissertation).pdf)| 1958 |\r\n|[Foundational aspects of theories of measurement (Scott-Suppes)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1958-Scott-Suppes-foundational-aspects-of-theories-of-measurement.pdf)| 1958 |\r\n|[Finite automata and their decision problems (Rabin-Scott)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1959-Rabin-Scott-finite-automata.pdf)| 1959 |\r\n|[On constructing models for arithmetic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1959-on-constructing-models-for-arithmetic.pdf)| 1959 |\r\n|[Measurable cardinals and constructible sets](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1961-measurable-cardinals-and-constructible-sets.pdf)| 1961 |\r\n|[Algebras of sets binumerable in complete extensions of arithmetic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1962-algebras-of-sets-binumerable-in-complete-extensions-of-arithmetic.pdf)| 1962 |\r\n|[Quine's individuals](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1962-Quines-individuals.pdf)| 1962 |\r\n|[Invariant Borel sets](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1964-invariant-borel-sets.pdf)| 1964 |\r\n|[Logic with denumerably long formulas](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1965-logic-with-denumerably-long-formulas.pdf)| 1965 |\r\n|[A proof of the independence of the continuum hypothesis](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1967-a-proof-of-the-independence-of-the-continuum-hypothesis.pdf)| 1967 |\r\n|[Existence and description in formal logic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1967-existence-and-description-in-formal-logic.pdf)| 1967 |\r\n|[Some definitional suggestions for automata theory](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1967-some-definitional-suggestions-for-automata-theory.pdf)| 1967 |\r\n|[Extending the topological interpretation to intuitionistic analysis](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1968-extending-the-topological-interpretation-to-intuitionistic-analysis.pdf)| 1968 |\r\n|[Boolean models and nonstandard analysis](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1969-boolean-models-and-nonstandard-analysis.pdf)| 1969 |\r\n|[On completing ordered fields](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1969-on-completing-ordered-fields.pdf)| 1969 |\r\n|[Advice on modal logic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1970-advice-on-modal-logic.pdf)| 1970 |\r\n|[Constructive validity](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1970-constructive-validity.pdf)| 1970 |\r\n|[Extending the topological interpretation to intuitionistic analysis II](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1970-extending-the-topological-interpretation-to-intuitionistic-analysis-II.pdf)| 1970 |\r\n|[On engendering an illusion of understanding](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1971-on-engendering-an-illusion-of-understanding.pdf)| 1971 |\r\n|[Ordinal definability (Myhill-Scott)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1971-Myhill-Scott-ordinal-definability.pdf)| 1971 |\r\n|[Continuous lattices](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1972-continuous-lattices.pdf)| 1972 |\r\n|[Models for various type-free calculi](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1973-type-free-calculi.pdf)| 1973 |\r\n|[Axiomatizing set theory](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1974-axiomatizing-set-theory.pdf)| 1974 |\r\n|[Does many valued logic have any use](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1974-does-many-valued-logic-have-any-use.pdf)| 1974 |\r\n|[Combinators and classes](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1975-combinators-and-classes.pdf)| 1975 |\r\n|[Data types as lattices](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1976-data-types-as-lattices.pdf)| 1976 |\r\n|[Sheaves and logic (Fourman-Scott)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1979-fourman-scott-sheaves-and-logic.pdf)| 1979 |\r\n|[Identity and existence in intuitionistic logic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1979-identity-and-existence-in-intuitionistic-logic.pdf)| 1979 |\r\n|[Lambda-calculus - some models some philosophy](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1980-lambda-Calculus-some-models-some-philosophy.pdf)| 1980 |\r\n|[Relating theories of the lambda-calculus](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1980-relating-theories-of-the-lambda-calculus.pdf)| 1980 |\r\n|[The presheaf model for set theory](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1980-the-presheaf-model-for-set-theory.pdf)| 1980 |\r\n|[Some ordered sets in computer science](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1982-some-ordered-sets-in-computer-science.pdf)| 1982 |\r\n|[A type theoretical alternative to ISWIM, CUCH, OWHY](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1993-a-type-theoretical-aternative-to-ISWIM-CUCH-OWHY.pdf)| 1993 |\r\n|[A new category?](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1998-a-new-category.pdf)| 1998 |\r\n|[The algebraic interpretation of quantifiers](https://github.com/CMU-HoTT/scott/blob/main/pdfs/2007-the-algebraic-interpretation-of-quantifiers.pdf)| 2007 |\r\n"
  }
]