34 found
Sort by:
Disambiguations:
Dana Scott [30]Dana S. Scott [4]
See also:
Profile: Dana Scott (Carnegie Mellon University)
  1. Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss, A Study of Categorres of Algebras and Coalgebras.
    This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that categories 0f (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Baaz Mathias, Christos Papadimitriou, Hilary Putnam, Dana Scott & Charles Harper (eds.) (2011). Horizons of Truth. Cambridge University Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Dana Scott & Dominic McCarty (2008). Reconsidering Ordered Pairs. Bulletin of Symbolic Logic 14 (3):379-397.
    The well known Wiener-Kuratowski explicit definition of the ordered pair, which sets ⟨x, y⟩ = {{x}, {x, y}}, works well in many set theories but fails for those with classes which cannot be members of singletons. With the aid of the Axiom of Foundation, we propose a recursive definition of ordered pair which addresses this shortcoming and also naturally generalizes to ordered tuples of greater lenght. There are many advantages to the new definition, for it allows for uniform definitions working (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Warren Goldfarb, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Dana Scott & Michael Kremer (2004). Of the Association for Symbolic Logic. Bulletin of Symbolic Logic 10 (3):438.
    No categories
     
    My bibliography  
     
    Export citation  
  5. Warren Goldfarb, Erich Reck, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Colin McLarty, Dana Scott & Michael Kremer (2004). Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004. Bulletin of Symbolic Logic 10 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Dana S. Scott, Kit Fine & Harvey Friedman (2001). The New York Hilton and Towers, New York, NY December 28–29, 2000. Bulletin of Symbolic Logic 7 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Steve Awodey, Lars Birkedal & Dana Scott, Local Realizability Toposes and a Modal Logic for Computability.
    This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Dana S. Scott (1990). Philosophy. Norwell: Kluwer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Dana S. Scott (1990). The Computational Conception of Mind in Acting and Reflecting: The Interdisciplinary Turn. In Philosophy. Norwell: Kluwer.
  10. Jaime Guillermo Carbonell, David Andreoff Evans, Dana S. Scott & Richmond H. Thomason, Final Report on the Automated Classification and Retrieval Project : MedSORT-1.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Dana Scott (1971). On Engendering an Illusion of Understanding. Journal of Philosophy 68 (21):787-807.
  12. Dana Scott (1970). Semantical Archaeology: A Parable. Synthese 21 (3-4):399 - 407.
    A somewhat fictionalized account of several interpretations of implication is presented together with comparisons between classical, modal, tense, and intuitionistic logics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Dana Scott (1969). Boolean Models and Nonstandard Analysis. In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York, Holt, Rinehart and Winston. 87--92.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Dana Scott (1969). On Completing Ordered Fields. In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York, Holt, Rinehart and Winston. 274--278.
    No categories
     
    My bibliography  
     
    Export citation  
  15. Dana Scott (1968). Review: Petr Hajek, Modelle der Mengenlehre in Denen Mengen Gegebener Gestalt Existieren. [REVIEW] Journal of Symbolic Logic 33 (3):474-475.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Dana Scott (1967). Existence and Description in Formal Logic. In Ralph Schoenman (ed.), Bertrand Russell: Philosopher of the Century. 181--200.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. Dana Scott (1967). Review: Petr Hajek, Die Durch Die Schwach Inneren Relationen Gegebenen Modelle der Mengenlehre. [REVIEW] Journal of Symbolic Logic 32 (3):412-412.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  18. Dana Scott (1967). Review: Petr Hajek, Antonin Sochor, Ein dem Fundierungsaxiom Aquivalentes Axiom. [REVIEW] Journal of Symbolic Logic 32 (3):412-412.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Dana Scott (1965). Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. In J. W. Addison (ed.), The Theory of Models. Amsterdam, North-Holland Pub. Co.. 1104--329.
    No categories
     
    My bibliography  
     
    Export citation  
  20. Dana Scott (1963). Preference, Utility, And. In D. Luce (ed.), Handbook of Mathematical Psychology. John Wiley & Sons.. 3--249.
    No categories
     
    My bibliography  
     
    Export citation  
  21. Dana Scott (1962). Review: A. A. Markov, Insolubility of the Problem of Homeomorphy. [REVIEW] Journal of Symbolic Logic 27 (1):99-99.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Dana Scott (1962). Review: E. W. Beth, Completeness Results for Formal Systems. [REVIEW] Journal of Symbolic Logic 27 (1):110-110.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Dana Scott (1962). Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof. [REVIEW] Journal of Symbolic Logic 27 (1):78-78.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Dana Scott (1960). Review: Elliott Mendelson, The Axiom of Fundierung and the Axiom of Choice. [REVIEW] Journal of Symbolic Logic 25 (2):178-179.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Dana Scott (1959). Review: Leon Henkin, On a Theorem of Vaught. [REVIEW] Journal of Symbolic Logic 24 (1):58-58.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Dana Scott (1959). Review: Robert L. Vaught, Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability. [REVIEW] Journal of Symbolic Logic 24 (1):58-58.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Dana Scott (1959). Review: Robert L. Vaught, Remarks on Universal Classes of Relational Systems. [REVIEW] Journal of Symbolic Logic 24 (1):58-59.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Dana Scott (1959). Review: W. Szmielew, Elementary Properties of Abelian Groups. [REVIEW] Journal of Symbolic Logic 24 (1):59-59.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Dana Scott (1958). Review: A. Mostowski, On a Generalization of Quantifiers. [REVIEW] Journal of Symbolic Logic 23 (2):217-217.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Dana Scott (1958). Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory. [REVIEW] Journal of Symbolic Logic 23 (1):42-44.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Dana Scott (1958). Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set-Theory, I. [REVIEW] Journal of Symbolic Logic 23 (2):216-217.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Dana Scott (1958). Review: Wilhelm Ackermann, Zur Axiomatik der Mengenlehre. [REVIEW] Journal of Symbolic Logic 23 (2):215-216.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Dana Scott & Patrick Suppes (1958). Foundational Aspects of Theories of Measurement. Journal of Symbolic Logic 23 (2):113-128.
  34. Dana Scott (1957). Review: Gideon Schwarz, A Note on Transfinite Iteration. [REVIEW] Journal of Symbolic Logic 22 (3):303-303.
    Direct download  
     
    My bibliography  
     
    Export citation