Homepage for Benno van den Berg


Universiteit Utrecht
Mathematisch Instituut
PO. Box 80010, NL
3508 TA Utrecht
The Netherlands

tel: +31 30 253 1496
fax: +31 30 251 8394
email: B.vandenBerg1 AT uu.nl


In Fall 2012 I will be teaching a course on model theory. Information about the course can be found here.

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

Habilitationsschrift:
Categorical semantics of constructive set theory [PDF]
Defended 3 November 2011, at the Technische Universität Darmstadt. Supervised by prof. Thomas Streicher.

Papers:
Inductive types and exact completion
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. 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. 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. Annals of Pure and Applied Logic 156 (2008), pp. 123-159.

Three extensional models of type theory [PS][PDF]
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.

Aspects of predicative Algebraic Set Theory II: Realizability [PS][PDF]
Joint work with Ieke Moerdijk. Theoretical Computer Science 412 (2011), pp. 1916-1940.

Types are weak omega-groupoids [PS][PDF]
Joint work with Richard Garner. Proceedings of the London Mathematical Society (3) 102 (2011), pp. 370-394.

Topological and simplicial models of identity types [PS][PDF]
Joint work with Richard Garner. ACM Transactions on Computational Logic (TOCL), Volume 13, Number 1 (2012).

Noncommutativity as a colimit [PS][PDF]
Joint work with Chris Heunen. Applied Categorical Structures, volume 20, number 4 (2012), pp. 393-414.

Derived rules for predicative set theory: an application of sheaves [PS][PDF]
Joint work with Ieke Moerdijk. Annals of Pure and Applied Logic, volume 163, issue 10 (2012), pp. 1367-1383.

A functional interpretation for nonstandard arithmetic [PS][PDF]
Joint work with Eyvind Briseid and Pavol Safarik. Annals of Pure and Applied Logic, volume 163, issue 12 (2012), pp. 1962–1994.

No-go theorems for functorial localic spectra of noncommutative rings [PS][PDF]
Joint work with Chris Heunen. Proceedings of the 8th International Workshop on Quantum Physics and Logic, EPTCS, volume 95 (2012), pp. 21-27.

Aspects of predicative Algebraic Set Theory III: Sheaves [PS][PDF]
Joint work with Ieke Moerdijk. Proceedings of the London Mathematical Society (5) 105 (2012), pp. 1076-1122.

Non-deterministic inductive definitions [PDF]
Archive for Mathematical Logic, volume 52, issue 1 (2013), pp. 113-135.

Are there enough injective sets? [PS][PDF]
Joint work with Peter Aczel, Johan Granström and Peter Schuster. Studia Logica (3) 101 (2013), pp. 467-482.

The Herbrand topos [PDF]
Mathematical Proceedings of the Cambridge Philosophical Society, volume 155, issue 2 (2013), pp. 361-374.

The axiom of multiple choice and models for constructive set theory [PDF]
Joint work with Ieke Moerdijk. Accepted for publication in the Journal of Mathematical Logic.

Preprints:
Predicative toposes [PDF]
Submitted for publication.

W-types in homotopy type theory [PDF]
Joint work with Ieke Moerdijk. Submitted for publication.

Notes:
WISC is independent from ZF [PDF]
Unpublished note.

A topos for a nonstandard functional interpretation [PDF]
Unpublished note.


Last updated: 26 August 2013