15 found
Sort by:
  1. 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  
  2. 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  
  3. 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  
  4. Rodney Downey, Ieke Moerdijk, Boban Velickovic, Samson Abramsky, Marat Arslanov, Harvey Friedman, Martin Goldstern, Ehud Hrushovski, Jochen Koenigsmann & Andy Lewis (2007). Nijmegen, The Netherlands July 27–August 2, 2006. Bulletin of Symbolic Logic 13 (2).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Ieke Moerdijk & Erik Palmgren (2002). Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST. Annals of Pure and Applied Logic 114 (1-3):155-201.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Ieke Moerdijk & Erik Palmgren (2000). Wellfounded Trees in Categories. Annals of Pure and Applied Logic 104 (1-3):189-218.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Ieke Moerdijk & Erik Palmgren (1997). Minimal Models of Heyting Arithmetic. Journal of Symbolic Logic 62 (4):1448-1460.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Ieke Moerdijk (1995). A Model for Intuitionistic Non-Standard Arithmetic. Annals of Pure and Applied Logic 73 (1):37-51.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Gerrit van der Hoeven & Ieke Moerdijk (1984). On Choice Sequences Determined by Spreads. Journal of Symbolic Logic 49 (3):908 - 916.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Gerritder Hoeven & Ieke Moerdijk (1984). On Choice Sequences Determined by Spreads. Journal of Symbolic Logic 49 (3):908 - 916.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Ieke Moerdijk (1984). Heine-Borel Does Not Imply the Fan Theorem. Journal of Symbolic Logic 49 (2):514-519.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Gerrit van der Hoeven & Ieke Moerdijk (1984). On Choice Sequences Determined by Spreads. Journal of Symbolic Logic 49 (3):908-916.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Gerrit Van Der Hoeven & Ieke Moerdijk (1984). Sheaf Models for Choice Sequences. Annals of Pure and Applied Logic 27 (1):63-107.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Fred Landman & Ieke Moerdijk (1983). Compositionality and the Analysis of Anaphora. Linguistics and Philosophy 6 (1):89 - 114.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Ieke Moerdijk (1983). On the Freyd Cover of a Topos. Notre Dame Journal of Formal Logic 24 (4):517-526.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation