39 found
Sort by:
Disambiguations:
Steve Awodey [49]Steven Awodey [2]
  1. Steve Awodey, Continuity and Logical Completeness.
    The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the..
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Steve Awodey, Natural Models of Homotopy Type Theory.
    The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer, which can be regarded as an algebraic formulation of type theory. We determine conditions for such models to satisfy the inference rules for dependent sums Σ, dependent products Π, and intensional identity types Id, as used in (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Steve Awodey & Jesse Hughes, The Coalgebraic Dual of Birkhoff's Variety.
    ulations and show that they are definable by a trivial kind of coequation— namely, over one "color". We end with an example of a covariety which is not closed under bisimulations.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Peter T. Johnstone & Steve Awodey, Methodology.
    Notices Amer. Math. Sac. 51, 2004). Logically, such a "Grothendieck topos" is something like a universe of continuously variable sets. Before long, however, F.W. Lawvere and M. Tierney provided an elementary axiomatization..
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Steve Awodey, Type Theory and Homotopy.
    of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Steve Awodey & Michael A. Warren, Homotopy Theoretic Models of Identity Types.
    Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. Steve Awodey (2013). First-Order Logical Duality. Annals of Pure and Applied Logic 164 (3):319-348.
  9. Steve Awodey (2013). Structuralism, Invariance, and Univalence. Philosophia Mathematica 22 (1):nkt030.
    The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Steve Awodey (2012). Explicating "Analytic". In Pierre Wagner (ed.), Carnap's Ideal of Explication and Naturalism. Palgrave Macmillan.
    No categories
     
    My bibliography  
     
    Export citation  
  11. Georges Gonthier, Martin Ziegler, Steve Awodey, George Barmpalias & Lev D. Beklemishev (2012). Barcelona, Catalonia, Spain July 11–16, 2011. Bulletin of Symbolic Logic 18 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Steve Awodey (2010). Category Theory. OUP Oxford.
    Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and (...)
     
    My bibliography  
     
    Export citation  
  13. Steve Awodey & A. W. Carus (2010). Gödel and Carnap. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
  14. Steve Awodey (2009). From Sets to Types to Categories to Sets. Philosophical Explorations.
    Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Steve Awodey & A. W. Carus (2009). From Wittgenstein's Prison to the Boundless Ocean : Carnap's Dream of Logical Syntax. In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave Macmillan.
  16. Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
    This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  17. Steve Awodey (2007). In Memoriam: Saunders Mac Lane, 1909-2005. Bulletin of Symbolic Logic 13 (1):115-119.
  18. Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. Bulletin of Symbolic Logic 13 (3):340-358.
    We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  19. Steve Awodey & Kohei Kishida, Topology and Modality: The Topological Interpretation of First-Order Modal Logic.
    As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topological space. in this paper the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  20. Yiannis Moschovakis, Richmond H. Thomason, Steffen Lempp, Steve Awodey, Jean-Pierre Marquis & William Tait (2007). The Palmer House Hilton Hotel, Chicago, Illinois April 19–21, 2007. Bulletin of Symbolic Logic 13 (4).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Steve Awodey (2006). Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi. In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. 139--149.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Steve Awodey, Raf Cluckers, Ilijas Farah, Solomon Feferman, Deirdre Haskell, Andrey Morozov, Vladimir Pestov, Andre Scedrov, Andreas Weiermann & Jindrich Zapletal (2006). Stanford University, Stanford, CA March 19–22, 2005. Bulletin of Symbolic Logic 12 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Steve Awodey (2005). Johnstone Peter T.. Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, Vols. 43, 44. Oxford University Press, Oxford, 2002, Xxii+ 1160 Pp. [REVIEW] Bulletin of Symbolic Logic 11 (1):65-69.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Steve Awodey & A. W. Carus, The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism From Tractatus on Logical Syllogism.
    Steve Awodey and A. W. Carus. The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus on Logical Syllogism.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. P. T. Johnstone & Steve Awodey (2005). REVIEWS-Sketches of an Elephant: A Topos Theory Compendium. Bulletin of Symbolic Logic 11 (1):65-69.
    No categories
     
    My bibliography  
     
    Export citation  
  26. Steve Awodey (2004). An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’. Philosophia Mathematica 12 (1):54-64.
    An affirmative answer is given to the question quoted in the title.
    Direct download (16 more)  
     
    My bibliography  
     
    Export citation  
  27. Steve Awodey & Jonas Eliasson (2004). Ultrasheaves and Double Negation. Notre Dame Journal of Formal Logic 45 (4):235-245.
    Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters—the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.
    No categories
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  28. Jonas Eliasson & Steve Awodey (2004). Ultrasheaves and Double Negation. Notre Dame Journal of Formal Logic 45 (4):235-245.
    Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters - the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Steve Awodey & Erich H. Reck, Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic.
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    No categories
     
    My bibliography  
     
    Export citation  
  30. Steve Awodey & Erich H. Reck, Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics.
    This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    No categories
     
    My bibliography  
     
    Export citation  
  31. Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic. History and Philosophy of Logic 23 (1):1-30.
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics. History and Philosophy of Logic 23 (2):77-94.
    This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Itay Neeman, Alexander Leitsch, Toshiyasu Arai, Steve Awodey, James Cummings, Rod Downey & Harvey Friedman (2002). 2001 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'01. Bulletin of Symbolic Logic 8 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Steve Awodey & Audrej Bauer, Sheaf Toposes for Realizability.
    Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  35. Steve Awodey & A. W. Carus, How Carnap Could Have Replied to Gödel.
    Steve Awodey and A. W. Carus. How Carnap Could Have Replied to Gödel.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Steve Awodey & Erich H. Reck, Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.
    Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  37. 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  
  38. Steve Awodey & Jesse Hughes, The Coalegebraic Dual of Birkoff's Variety Theorem.
    Steve Awodey and Jesse Hughes. The Coalegebraic Dual of Birkoff's Variety Theorem.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Steven Awodey (1995). Axiom of Choice and Excluded Middle in Categorical Logic. Bulletin of Symbolic Logic 1:344.
    Direct download  
     
    My bibliography  
     
    Export citation