Predicative topos theory and models for constructive set theory door B. van den Berg