David Michael Roberts : Class forcing and topos theory