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