Ieke Moerdijk

According to our database, Ieke Moerdijk authored at least 18 papers between 1983 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

W-types in homotopy-type theory - CORRIGENDUM.

Benno van den Berg, Ieke Moerdijk

Math. Struct. Comput. Sci., 2018

Shuffles of trees.

Eric Hoffbeck, Ieke Moerdijk

Eur. J. Comb., 2018

2015

W-types in homotopy type theory.

Benno van den Berg, Ieke Moerdijk

Math. Struct. Comput. Sci., 2015

2014

The axiom of multiple choice and models for constructive set theory.

Benno van den Berg, Ieke Moerdijk

J. Math. Log., 2014

2012

Derived rules for predicative set theory: An application of sheaves.

Benno van den Berg, Ieke Moerdijk

Ann. Pure Appl. Log., 2012

2011

Aspects of predicative algebraic set theory, II: Realizability.

Benno van den Berg, Ieke Moerdijk

Theor. Comput. Sci., 2011

2008

Aspects of predicative algebraic set theory I: Exact completion.

Benno van den Berg, Ieke Moerdijk

Ann. Pure Appl. Log., 2008

2002

Type theories, toposes and constructive set theory: predicative aspects of AST.

Ieke Moerdijk, Erik Palmgren

Ann. Pure Appl. Log., 2002

2000

Wellfounded trees in categories.

Ieke Moerdijk, Erik Palmgren

Ann. Pure Appl. Log., 2000

1999

An Elementary Definability Theorem for First Order Logic.

Carsten Butz, Ieke Moerdijk

J. Symb. Log., 1999

1997

Minimal Models of Heyting Arithmetic.

Ieke Moerdijk, Erik Palmgren

J. Symb. Log., 1997

1995

A Remark on the Theory of Semi-Functors.

Raymond Hoofman, Ieke Moerdijk

Math. Struct. Comput. Sci., 1995

A Model for Intuitionistic Non-Standard Arithmetic.

Ieke Moerdijk

Ann. Pure Appl. Log., 1995

1994

A Completeness Theorem for Open Maps.

André Joyal, Ieke Moerdijk

Ann. Pure Appl. Log., 1994

1984

Heine-Borel Does not Imply the Fan Theorem.

Ieke Moerdijk

J. Symb. Log., 1984

On Choice Sequences Determined by Spreads.

Gerrit van Der Hoeven, Ieke Moerdijk

J. Symb. Log., 1984

Sheaf models for choice sequences.

Gerrit van Der Hoeven, Ieke Moerdijk

Ann. Pure Appl. Log., 1984

1983

On the Freyd cover of a topos.

Ieke Moerdijk

Notre Dame J. Formal Log., 1983