“model-theoretical methods in the theory of topoi and related categories”