Large cardinals: Mathematical Logic course | Zoonk
42. Large cardinals
Introduces inaccessible, measurable, supercompact, and related large cardinals as measures of set-theoretic strength. It connects them with consistency strength, inner models, reflection principles, and the boundaries of current knowledge.