Ieke Moerdijk - RankMe

18 papers Journal 18

Year	Rank	Type	Title / 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