Classifying topoi and finite forcing
scientific article; zbMATH DE number 3815637