67 found
Order:
Disambiguations:
Steve Awodey [54]S. Awodey [11]Steven Awodey [3]Steven M. Awodey [1]
  1. Steve Awodey (2010). Category Theory. OUP Oxford.
    A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems , as well as numerous examples and exercises.
     
    Export citation  
     
    My bibliography   12 citations  
  2. 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 (17 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  3.  98
    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 (12 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  55
    S. Awodey & A. W. Carus (2001). Carnap, Completeness, and Categoricity:The Gabelbarkeitssatz OF 1928. [REVIEW] Erkenntnis 54 (2):145-172.
    In 1929 Carnap gave a paper in Prague on Investigations in General Axiomatics; a briefsummary was published soon after. Its subject lookssomething like early model theory, and the mainresult, called the Gabelbarkeitssatz, appears toclaim that a consistent set of axioms is complete justif it is categorical. This of course casts doubt onthe entire project. Though there is no furthermention of this theorem in Carnap''s publishedwritings, his Nachlass includes a largetypescript on the subject, Investigations inGeneral Axiomatics. We examine this work here,showing (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   18 citations  
  5.  91
    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 (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  6. S. Awodey (1996). Structure in Mathematics and Logic: A Categorical Perspective. Philosophia Mathematica 4 (3):209-237.
    A precise notion of ‘mathematical structure’ other than that given by model theory may prove fruitful in the philosophy of mathematics. It is shown how the language and methods of category theory provide such a notion, having developed out of a structural approach in modern mathematical practice. As an example, it is then shown how the categorical notion of a topos provides a characterization of ‘logical structure’, and an alternative to the Pregean approach to logic which is continuous with the (...)
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  7. 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  8.  42
    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)  
     
    Export citation  
     
    My bibliography   9 citations  
  9.  55
    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 : (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  68
    S. Awodey & A. W. Carus (2007). Carnap’s Dream: Gödel, Wittgenstein, and Logical, Syntax. Synthese 159 (1):23-45.
    In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11. S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
    Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12. 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
  13.  44
    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)  
     
    Export citation  
     
    My bibliography   4 citations  
  14.  2
    Steve Awodey & Michael A. Warren, Predicative Algebraic Set Theory.
    In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  15. Steve Awodey (2012). Explicating "Analytic". In Pierre Wagner (ed.), Carnap's Ideal of Explication and Naturalism. Palgrave Macmillan
    No categories
     
    Export citation  
     
    My bibliography   2 citations  
  16.  54
    Steve Awodey (2013). First-Order Logical Duality. Annals of Pure and Applied Logic 164 (3):319-348.
    From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17. S. Awodey & A. W. Carus (2007). Carnap's Dream: Gödel, Wittgenstein, and Logical, Syntax. Synthese 159 (1):23-45.
    In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  43
    S. Awodey & M. A. Warren (2013). Martin-Löf Complexes. Annals of Pure and Applied Logic 164 (10):928-956.
    In this paper we define Martin-L¨of complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-L¨of type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated Martin-L¨of complexes and that this category is Quillen equivalent to the category of groupoids. In particular, 1-truncated Martin-L¨of complexes (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19. Steve Awodey (2007). In Memoriam: Saunders Mac Lane, 1909-2005. Bulletin of Symbolic Logic 13 (1):115-119.
  20.  30
    Steve Awodey (forthcoming). Carnap and the Invariance of Logical Truth. Synthese:1-12.
    The failed criterion of logical truth proposed by Carnap in the Logical Syntax of Language was based on the determinateness of all logical and mathematical statements. It is related to a conception which is independent of the specifics of the system of the Syntax, hints of which occur elsewhere in Carnap’s writings, and those of others. What is essential is the idea that the logical terms are invariant under reinterpretation of the empirical terms, and are therefore semantically determinate. A certain (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  45
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  22. Erich H. Reck & Steve Awodey (2005). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Bulletin of Symbolic Logic 11 (3):445-447.
     
    Export citation  
     
    My bibliography   3 citations  
  23. 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..
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  24.  62
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  89
    Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1 (2):146-166.
    As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for 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)  
     
    Export citation  
     
    My bibliography  
  26.  33
    S. Awodey, N. Gambino & M. A. Warren (2009). Lawvere-Tierney Sheaves in Algebraic Set Theory. Journal of Symbolic Logic 74 (3):861 - 890.
    We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  29
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  51
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  88
    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)  
     
    Export citation  
     
    My bibliography  
  30. 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
  31. S. Awodey & A. W. Carus, Carnap Versus Godel: On Syntax and Tolerance.
    One thing we have found out about logical empiricism, now that people are examining it more closely again, is that it was more a framework for a number of related views than a single doctrine. The pluralism of different approaches among various adherents to the Vienna and Berlin groups has been much emphasized. Some have gone so far as to suggest that the kind of speculative philosophy now often called "continental" (including, say, phenomenology) can be seen as falling within the (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  32.  3
    Steve Awodey & Thomas Streicher (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 . 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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  21
    Steven Awodey & Andrej Bauer (2008). Sheaf Toposes for Realizability. Archive for Mathematical Logic 47 (5):465-478.
    Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  34.  48
    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)  
     
    Export citation  
     
    My bibliography  
  35.  8
    Steve Awodey & Henrik Forssell, Algebraic Models of Intuitionistic Theories of Sets and Classes.
    This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  3
    P. T. Johnstone & Steve Awodey (2005). REVIEWS-Sketches of an Elephant: A Topos Theory Compendium. Bulletin of Symbolic Logic 11 (1):65-69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. 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..
    Translate
     
     
    Export citation  
     
    My bibliography  
  38.  11
    Steve Awodey, Sheaf Representation for Topoi.
    Steve Awodey. Sheaf Representation for Topoi.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  29
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  40.  11
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  26
    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)  
     
    Export citation  
     
    My bibliography  
  42.  32
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  31
    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.
    The notion of a continuously variable quantity can be regarded as a generalization of that of a particular quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the field of real numbers in many ways, but instead form a ring. Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets . In this (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  25
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  45.  30
    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.
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  46.  21
    Steve Awodey (2000). Topological Representation of the Lambda-Calculus. Mathematical Structures in Computer Science 10 (1):81-96.
    The [lambda]-calculus can be represented topologically by assigning certain spaces to the types and certain continuous maps to the terms. Using a recent result from category theory, the usual calculus of [lambda]-conversion is shown to be deductively complete with respect to such topological semantics. It is also shown to be functionally complete, in the sense that there is always a ‘minimal’ topological model in which every continuous function is [lambda]-definable. These results subsume earlier ones using cartesian closed categories, as well (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  3
    Steve Awodey, Alvaro Pelayo & Michael A. Warren, Voevodsky’s Univalence Axiom in Homotopy Type Theory.
    In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. 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
     
     
    Export citation  
     
    My bibliography  
  49.  6
    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)  
     
    Export citation  
     
    My bibliography  
  50.  13
    Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher (2014). Relating First-Order Set Theories, Toposes and Categories of Classes. Annals of Pure and Applied Logic 165 (2):428-502.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 67