In set theory, an **ineffable cardinal** is a type of large cardinal that is defined based on properties related to certain filters and combinatorial principles. Specifically, a cardinal \( \kappa \) is called ineffable if it satisfies the following conditions: 1. **Uncountability**: \( \kappa \) is an uncountable cardinal.
New to topics? Read the docs here!