Ieke Moerdijk

Publication Activity (10 Years)

Years Active: 1983-2018
Publications (10 Years): 3

Top Topics

Tree Construction

Multiple Choice

Top Venues

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

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