Full Code of CMU-HoTT/scott for AI

Repository: CMU-HoTT/scott
Branch: main
Commit: 3a4ce68f4772
Files: 1
Total size: 5.2 KB

Directory structure:
gitextract_21lj4k_w/

└── README.md

================================================
FILE CONTENTS
================================================

================================================
FILE: README.md
================================================
## Selected Papers of Dana S. Scott

Additions and corrections via pull request are welcome.

| Title | Year |
|:------|:----:|
|[Convergent sequences of complete theories (dissertation)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1958-convergent-sequences-of-complete-theories-(dissertation).pdf)| 1958 |
|[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 |
|[Finite automata and their decision problems (Rabin-Scott)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1959-Rabin-Scott-finite-automata.pdf)| 1959 |
|[On constructing models for arithmetic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1959-on-constructing-models-for-arithmetic.pdf)| 1959 |
|[Measurable cardinals and constructible sets](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1961-measurable-cardinals-and-constructible-sets.pdf)| 1961 |
|[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 |
|[Quine's individuals](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1962-Quines-individuals.pdf)| 1962 |
|[Invariant Borel sets](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1964-invariant-borel-sets.pdf)| 1964 |
|[Logic with denumerably long formulas](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1965-logic-with-denumerably-long-formulas.pdf)| 1965 |
|[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 |
|[Existence and description in formal logic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1967-existence-and-description-in-formal-logic.pdf)| 1967 |
|[Some definitional suggestions for automata theory](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1967-some-definitional-suggestions-for-automata-theory.pdf)| 1967 |
|[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 |
|[Boolean models and nonstandard analysis](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1969-boolean-models-and-nonstandard-analysis.pdf)| 1969 |
|[On completing ordered fields](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1969-on-completing-ordered-fields.pdf)| 1969 |
|[Advice on modal logic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1970-advice-on-modal-logic.pdf)| 1970 |
|[Constructive validity](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1970-constructive-validity.pdf)| 1970 |
|[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 |
|[On engendering an illusion of understanding](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1971-on-engendering-an-illusion-of-understanding.pdf)| 1971 |
|[Ordinal definability (Myhill-Scott)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1971-Myhill-Scott-ordinal-definability.pdf)| 1971 |
|[Continuous lattices](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1972-continuous-lattices.pdf)| 1972 |
|[Models for various type-free calculi](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1973-type-free-calculi.pdf)| 1973 |
|[Axiomatizing set theory](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1974-axiomatizing-set-theory.pdf)| 1974 |
|[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 |
|[Combinators and classes](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1975-combinators-and-classes.pdf)| 1975 |
|[Data types as lattices](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1976-data-types-as-lattices.pdf)| 1976 |
|[Sheaves and logic (Fourman-Scott)](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1979-fourman-scott-sheaves-and-logic.pdf)| 1979 |
|[Identity and existence in intuitionistic logic](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1979-identity-and-existence-in-intuitionistic-logic.pdf)| 1979 |
|[Lambda-calculus - some models some philosophy](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1980-lambda-Calculus-some-models-some-philosophy.pdf)| 1980 |
|[Relating theories of the lambda-calculus](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1980-relating-theories-of-the-lambda-calculus.pdf)| 1980 |
|[The presheaf model for set theory](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1980-the-presheaf-model-for-set-theory.pdf)| 1980 |
|[Some ordered sets in computer science](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1982-some-ordered-sets-in-computer-science.pdf)| 1982 |
|[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 |
|[A new category?](https://github.com/CMU-HoTT/scott/blob/main/pdfs/1998-a-new-category.pdf)| 1998 |
|[The algebraic interpretation of quantifiers](https://github.com/CMU-HoTT/scott/blob/main/pdfs/2007-the-algebraic-interpretation-of-quantifiers.pdf)| 2007 |