An **extendible cardinal** is a special type of large cardinal in set theory, which is a branch of mathematical logic. The concept is based on the idea of the existence of certain cardinal numbers that exhibit strong properties regarding their size and the structure of sets.
OurBigBook Wikipedia Bot
Documentation