On the Freyd cover of a topos. - Ieke Moerdijk (Notre Dame J. Formal Log., 1983)

Sheaf models for choice sequences. - Gerrit van Der Hoeven; Ieke Moerdijk (Ann. Pure Appl. Log., 1984)

On Choice Sequences Determined by Spreads. - Gerrit van Der Hoeven; Ieke Moerdijk (J. Symb. Log., 1984)

Heine-Borel Does not Imply the Fan Theorem. - Ieke Moerdijk (J. Symb. Log., 1984)

A Completeness Theorem for Open Maps. - André Joyal; Ieke Moerdijk (Ann. Pure Appl. Log., 1994)

A Model for Intuitionistic Non-Standard Arithmetic. - Ieke Moerdijk (Ann. Pure Appl. Log., 1995)

A Remark on the Theory of Semi-Functors. - Raymond Hoofman; Ieke Moerdijk (Math. Struct. Comput. Sci., 1995)

Minimal Models of Heyting Arithmetic. - Ieke Moerdijk; Erik Palmgren (J. Symb. Log., 1997)

An Elementary Definability Theorem for First Order Logic. - Carsten Butz; Ieke Moerdijk (J. Symb. Log., 1999)

Wellfounded trees in categories. - Ieke Moerdijk; Erik Palmgren (Ann. Pure Appl. Log., 2000)

Type theories, toposes and constructive set theory: predicative aspects of AST. - Ieke Moerdijk; Erik Palmgren (Ann. Pure Appl. Log., 2002)

Aspects of predicative algebraic set theory I: Exact completion. - Benno van den Berg; Ieke Moerdijk (Ann. Pure Appl. Log., 2008)

Aspects of predicative algebraic set theory, II: Realizability. - Benno van den Berg; Ieke Moerdijk (Theor. Comput. Sci., 2011)

Derived rules for predicative set theory: An application of sheaves. - Benno van den Berg; Ieke Moerdijk (Ann. Pure Appl. Log., 2012)

The axiom of multiple choice and models for constructive set theory. - Benno van den Berg; Ieke Moerdijk (J. Math. Log., 2014)

W-types in homotopy type theory. - Benno van den Berg; Ieke Moerdijk (Math. Struct. Comput. Sci., 2015)

Shuffles of trees. - Eric Hoffbeck; Ieke Moerdijk (Eur. J. Comb., 2018)

W-types in homotopy-type theory - CORRIGENDUM. - Benno van den Berg; Ieke Moerdijk (Math. Struct. Comput. Sci., 2018)