22 found
Order:
Disambiguations
Ieke Moerdijk [15]I. Moerdijk [8]
  1.  14
    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 (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  19
    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 (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  11
    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   7 citations  
  4.  8
    A Model for Intuitionistic Non-Standard Arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
    This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  9
    Jonahan Chapman and Frederick Rowbottom. Relative Category Theory and Geometric Morphisms. A Logical Approach. Oxford Logic Guides, No. 16., Clarendon Press, Oxford University Press, Oxford and New York1992, Xi + 263 Pp. [REVIEW]I. Moerdijk - 1995 - Journal of Symbolic Logic 60 (2):694-695.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    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.
  7.  30
    Minimal Models of Heyting Arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
  8.  6
    Minimal Models of Heyting Arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  22
    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.
    We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Löf's type theory. In addition, it is strong enough to prove the Set Compactness theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  4
    Abrahamson, KA, Downey, RG and Fellows, MR.R. Banacb, H. Barendregt, J. A. Bergstra, J. V. Tucker, J. Brendle, I. Moerdijk, E. Palmgren, J. I. Seiferas, A. R. Meyer & J. Terlouw - 1995 - Annals of Pure and Applied Logic 73 (1):327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. On Choice Sequences Determined by Spreads.Gerritder Hoeven & Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (3):908 - 916.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  9
    A Completeness Theorem for Open Maps.A. Joyal & I. Moerdijk - 1994 - Annals of Pure and Applied Logic 70 (1):51-86.
    This paper provides a partial solution to the completeness problem for Joyal's axiomatization of open and etale maps, under the additional assumption that a collection axiom holds.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  36
    An Elementary Definability Theorem for First Order Logic.C. Butz & I. Moerdijk - 1999 - Journal of Symbolic Logic 64 (3):1028-1036.
  14.  40
    Heine-Borel Does Not Imply the Fan Theorem.Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (2):514-519.
  15.  19
    Sheaf Models for Choice Sequences.Gerrit Van Der Hoeven & Ieke Moerdijk - 1984 - Annals of Pure and Applied Logic 27 (1):63-107.
  16.  27
    On Choice Sequences Determined by Spreads.Gerrit van der Hoeven & Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (3):908 - 916.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  17.  1
    Downey, R., Gasarch, W. And Moses, M., The Structure.S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, F. van Engelen & J. van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):287.
  18.  48
    Compositionality and the Analysis of Anaphora.Fred Landman & Ieke Moerdijk - 1983 - Linguistics and Philosophy 6 (1):89 - 114.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    On the Freyd Cover of a Topos.Ieke Moerdijk - 1983 - Notre Dame Journal of Formal Logic 24 (4):517-526.
  20.  27
    Sets, Topoi and Intuitionism.I. Moerdijk - 1998 - Philosophia Mathematica 6 (2):169-177.
    This paper aims to give an informal introduction to the ways in which a topos can be viewed as an intuitionistic universe of sets. In particular, it is explained how infinitesimal real numbers and various types of ordinal numbers arise in this context.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  21.  10
    Review: Jonathan Chapman, Frederick Rowbottom, Relative Category Theory and Geometric Morphisms. A Logical Approach. [REVIEW]I. Moerdijk - 1995 - Journal of Symbolic Logic 60 (2):694-695.
  22.  2
    Nijmegen, The Netherlands July 27–August 2, 2006.Rodney Downey, Ieke Moerdijk, Boban Velickovic, Samson Abramsky, Marat Arslanov, Harvey Friedman, Martin Goldstern, Ehud Hrushovski, Jochen Koenigsmann & Andy Lewis - 2007 - Bulletin of Symbolic Logic 13 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark