strongly compact cardinal

large cardinal number 𝜅 such that any 𝜅‐complete filter extends to a 𝜅‐complete ultrafilter

Categories: