Ieke Moerdijk

18 papers Journal 18
YearRankTypeTitle / Venue / Authors
2018 J jnl
Shuffles of trees.
Eur. J. Comb.
Eric Hoffbeck, Ieke Moerdijk
2018 J jnl
W-types in homotopy-type theory - CORRIGENDUM.
Math. Struct. Comput. Sci.
Benno van den Berg, Ieke Moerdijk
2015 J jnl
W-types in homotopy type theory.
Math. Struct. Comput. Sci.
Benno van den Berg, Ieke Moerdijk
2014 J jnl
The axiom of multiple choice and models for constructive set theory.
J. Math. Log.
Benno van den Berg, Ieke Moerdijk
2012 J jnl
Derived rules for predicative set theory: An application of sheaves.
Ann. Pure Appl. Log.
Benno van den Berg, Ieke Moerdijk
2011 J jnl
Aspects of predicative algebraic set theory, II: Realizability.
Theor. Comput. Sci.
Benno van den Berg, Ieke Moerdijk
2008 J jnl
Aspects of predicative algebraic set theory I: Exact completion.
Ann. Pure Appl. Log.
Benno van den Berg, Ieke Moerdijk
2002 J jnl
Type theories, toposes and constructive set theory: predicative aspects of AST.
Ann. Pure Appl. Log.
Ieke Moerdijk, Erik Palmgren
2000 J jnl
Wellfounded trees in categories.
Ann. Pure Appl. Log.
Ieke Moerdijk, Erik Palmgren
1999 J jnl
An Elementary Definability Theorem for First Order Logic.
J. Symb. Log.
Carsten Butz, Ieke Moerdijk
1997 J jnl
Minimal Models of Heyting Arithmetic.
J. Symb. Log.
Ieke Moerdijk, Erik Palmgren
1995 J jnl
A Model for Intuitionistic Non-Standard Arithmetic.
Ann. Pure Appl. Log.
Ieke Moerdijk
1995 J jnl
A Remark on the Theory of Semi-Functors.
Math. Struct. Comput. Sci.
Raymond Hoofman, Ieke Moerdijk
1994 J jnl
A Completeness Theorem for Open Maps.
Ann. Pure Appl. Log.
André Joyal, Ieke Moerdijk
1984 J jnl
Heine-Borel Does not Imply the Fan Theorem.
J. Symb. Log.
Ieke Moerdijk
1984 J jnl
On Choice Sequences Determined by Spreads.
J. Symb. Log.
Gerrit van Der Hoeven, Ieke Moerdijk
1984 J jnl
Sheaf models for choice sequences.
Ann. Pure Appl. Log.
Gerrit van Der Hoeven, Ieke Moerdijk
1983 J jnl
On the Freyd cover of a topos.
Notre Dame J. Formal Log.
Ieke Moerdijk