- 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.details
|
|
Derived rules for predicative set theory: an application of sheaves.Benno van den Berg & Ieke Moerdijk - 2012 - Annals of Pure and Applied Logic 163 (10):1367-1383.details
|
|
Algebraic Set Theory and the Effective Topos.Claire Kouwenhoven-Gentil & Jaap van Oosten - 2005 - Journal of Symbolic Logic 70 (3):879 - 890.details
|
|
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.details
|
|
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.details
|
|
Type Theory and Homotopy.Steve Awodey - 2012 - In Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.), Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Dordrecht, Netherland: Springer. pp. 183-201.details
|
|
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.details
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.details
|
|
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.details
|
|
(1 other version)Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.details
|
|
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.details
|
|
Proof-relevance of families of setoids and identity in type theory.Erik Palmgren - 2012 - Archive for Mathematical Logic 51 (1-2):35-47.details
|
|
Regular universes and formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):299-316.details
|
|
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.details
|
|
The axiom of multiple choice and models for constructive set theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.details
|
|
Coalgebras in a category of classes.Michael A. Warren - 2007 - Annals of Pure and Applied Logic 146 (1):60-71.details
|
|
Partial Horn logic and cartesian categories.Erik Palmgren & Steven J. Vickers - 2007 - Annals of Pure and Applied Logic 145 (3):314-353.details
|
|
Constructive toposes with countable sums as models of constructive set theory.Alex Simpson & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (10):1419-1436.details
|
|
Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.details
|
|
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
A syntactic characterization of Morita equivalence.Dimitris Tsementzis - 2017 - Journal of Symbolic Logic 82 (4):1181-1198.details
|
|
Non-well-founded trees in categories.Benno van den Berg & Federico De Marchi - 2007 - Annals of Pure and Applied Logic 146 (1):40-59.details
|
|
Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets.Erik Palmgren - 2012 - Annals of Pure and Applied Logic 163 (10):1384-1399.details
|
|
(1 other version)Models of non-well-founded sets via an indexed final coalgebra theorem.Benno van Den Berg & Federico de Marchi - 2007 - Journal of Symbolic Logic 72 (3):767-791.details
|
|