CMU-HoTT/scott

Selected Papers of Dana S. Scott

179

41 commits

updated Jun 20, 2024

See the code

README

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

Contributors

31 commits

4 commits

4 commits

1 commits

Similar repos

dpndnt/library

Library of the ##dependent distributed research support group

128

martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

285

emilypi/haskell-resources

A List of Foundational Haskell Papers

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

171

awodey/CatLogNotes

Categorical Logic Notes

dpiponi/StableBlog

More stable versions of some articles from my blog

andrejbauer/notes-on-realizability

Lecture notes on realizability

szl-holdings/szl-papers

SZL Holdings academic corpus — preprints, thesis lineage, bounty problems, prior-art disclosures.…

CMU-HoTT/scott

Selected Papers of Dana S. Scott

179

41 commits

updated Jun 20, 2024

See the code

README

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

Similar repos

dpndnt/library

Library of the ##dependent distributed research support group

128

martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

285

emilypi/haskell-resources

A List of Foundational Haskell Papers

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

171

awodey/CatLogNotes

Categorical Logic Notes

dpiponi/StableBlog

More stable versions of some articles from my blog

andrejbauer/notes-on-realizability

Lecture notes on realizability

szl-holdings/szl-papers

SZL Holdings academic corpus — preprints, thesis lineage, bounty problems, prior-art disclosures.…

Contributors

31 commits

4 commits

4 commits

1 commits