Ultrafilters, ultrapowers and finiteness in a topos
scientific article; zbMATH DE number 3503474