Homepage for Benno van den Berg

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe 1
Schloßgartenstraße 7
64289 Darmstadt
Germany

tel: +49-6151-162615
fax: +49-6151-163317
email: berg AT mathematik.tu-darmstadt.de

PhD thesis:
Predicative topos theory and models for constructive set theory [PS][PDF]
Defended May 22, 2006, at the University of Utrecht. Supervised by prof. Ieke Moerdijk. Paper copies available on request.

Papers:
Inductive types and exact completion
Published in Annals of Pure and Applied Logic 134 (2005), pp. 95-121.

Non-well-founded trees in categories [PS][PDF]
Joint work with Federico De Marchi. Published in Annals of Pure and Applied Logic 146 (2007), pp. 40-59.

Models of non-well-founded sets via an indexed final coalgebra theorem [PS][PDF]
Joint work with Federico De Marchi. Published in the Journal of Symbolic Logic 72-3 (2007), pp. 767-791.

Aspects of predicative Algebraic Set Theory I: Exact completion [PS][PDF]
Joint work with Ieke Moerdijk. Published in Annals of Pure and Applied Logic 156 (2008), pp. 123-159.

Three extensional models of type theory [PS][PDF]
Published in Mathematical Structures in Computer Science 19 (2009), pp. 417-434.

A unified approach to Algebraic Set Theory [PS][PDF]
Joint work with Ieke Moerdijk. In: Logic Colloquium 2006, Lecture Notes in Logic (2009), pp. 18-37.

Sheaves for predicative toposes [PS][PDF]
Accepted for publication in the Archive for Mathematical Logic.

Aspects of predicative Algebraic Set Theory II: Realizability [PS][PDF]
Joint work with Ieke Moerdijk. Accepted for publication in Theoretical Computer Science.

Preprints:
Types are weak omega-groupoids
Joint work with Richard Garner. Available from the arXiv.

Unpublished notes:
Diaconescu's Theorem and the Principle of Propositional Extensionality [PS][PDF]
Short note (3 pages).

CV A curriculum vitae, not exactly up to date, is available here: [PS][PDF].

Teaching Information concerning my current teaching can be found here.