9 found
Sort by:
  1. Peter Aczel, Benno van den Berg, Johan Granström & Peter Schuster (forthcoming). Are There Enough Injective Sets? Studia Logica.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Benno van den Berg & Ieke Moerdijk (2014). The Axiom of Multiple Choice and Models for Constructive Set Theory. Journal of Mathematical Logic 14 (1):1450005.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Benno van den Berg (2013). Non-Deterministic Inductive Definitions. Archive for Mathematical Logic 52 (1-2):113-135.
    We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Benno van den Berg, Eyvind Briseid & Pavol Safarik (2012). A Functional Interpretation for Nonstandard Arithmetic. Annals of Pure and Applied Logic 163 (12):1962-1994.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Benno van den Berg & Ieke Moerdijk (2012). Derived Rules for Predicative Set Theory: An Application of Sheaves. Annals of Pure and Applied Logic 163 (10):1367-1383.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Benno Van Den Berg & Ieke Moerdijk (2008). Aspects of Predicative Algebraic Set Theory I: Exact Completion. Annals of Pure and Applied Logic 156 (1):123-159.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Benno van Den Berg & Federico de Marchi (2007). Models of Non-Well-Founded Sets Via an Indexed Final Coalgebra Theorem. Journal of Symbolic Logic 72 (3):767-791.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Benno van den Berg & Federico De Marchi (2007). Non-Well-Founded Trees in Categories. Annals of Pure and Applied Logic 146 (1):40-59.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Benno van den Berg (2005). Inductive Types and Exact Completion. Annals of Pure and Applied Logic 134 (2-3):95-121.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation