Switch to: Citations

Add references

You must login to add references.
  1. Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.
    Hellman [2003] raises interesting challenges to categorical structuralism. He starts citing Awodey [1996] which, as Hellman sees, is not intended as a foundation for mathematics. It offers a structuralist framework which could denned in any of many different foundations. But Hellman says Awodey's work is 'naturally viewed in the context of Mac Lane's repeated claim that category theory provides an autonomous foundation for mathematics as an alternative to set theory' (p. 129). Most of Hellman's paper 'scrutinizes the formulation of category (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  • The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
    Using the theory of exact completions, I construct a certain class of pretoposes, consisting of what one might call “predicative realizability toposes”, that can act as categorical models of certain predicative type theories, including Martin-Löf Type Theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Aspects of predicative algebraic set theory I: Exact Completion.Benno van den Berg & Ieke Moerdijk - 2008 - Annals of Pure and Applied Logic 156 (1):123-159.
    This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category with small (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
    This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.
    $33.00 used   $39.95 new    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  • Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.
    We introduce a predicative version of topos based on the notion of small maps in algebraic set theory, developed by Joyal and one of the authors. Examples of stratified pseudotoposes can be constructed in Martin-Löf type theory, which is a predicative theory. A stratified pseudotopos admits construction of the internal category of sheaves, which is again a stratified pseudotopos. We also show how to build models of Aczel-Myhill constructive set theory using this categorical structure.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • Wellfounded trees in categories.Ieke Moerdijk & Erik Palmgren - 2000 - Annals of Pure and Applied Logic 104 (1-3):189-218.
    In this paper we present and study a categorical formulation of the W-types of Martin-Löf. These are essentially free term algebras where the operations may have finite or infinite arity. It is shown that W-types are preserved under the construction of sheaves and Artin gluing. In the proofs we avoid using impredicative or nonconstructive principles.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Review: F. William Lawvere, An Elementary Theory of the Category of sets. [REVIEW]Calvin C. Elgot - 1972 - Journal of Symbolic Logic 37 (1):191-192.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.
     
    Export citation  
     
    Bookmark   53 citations  
  • An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.
    No categories
     
    Export citation  
     
    Bookmark   44 citations  
  • Cantor's grundlagen and the paradoxes of set theory.William Tait - manuscript
    Foundations of a General Theory of Manifolds [Cantor, 1883], which I will refer to as the Grundlagen, is Cantor’s first work on the general theory of sets. It was a separate printing, with a preface and some footnotes added, of the fifth in a series of six papers under the title of “On infinite linear point manifolds”. I want to briefly describe some of the achievements of this great work. But at the same time, I want to discuss its connection (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
    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  
     
    Bookmark   13 citations