Works by Ieke Moerdijk ( view other items matching `Ieke Moerdijk`, view all matches )

6 found
Sort by:
  1. Ieke Moerdijk & Erik Palmgren (1997). Minimal Models of Heyting Arithmetic. Journal of Symbolic Logic 62 (4):1448-1460.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Ieke Moerdijk (1984). Heine-Borel Does Not Imply the Fan Theorem. Journal of Symbolic Logic 49 (2):514-519.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. Fred Landman & Ieke Moerdijk (1983). Compositionality and the Analysis of Anaphora. Linguistics and Philosophy 6 (1):89 - 114.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Ieke Moerdijk (1983). On the Freyd Cover of a Topos. Notre Dame Journal of Formal Logic 24 (4):517-526.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation