RhubarbJayde
Created page with "Supercompact cardinals are a kind of large cardinal with powerful reflection properties. The construction of an inner model accommodating a supercompact cardinal is considered the holy grail of inner model theory, and is extremely difficult. Formally, a cardinal \(\kappa\) is called \(\lambda\)-supercompact iff there is some inner model \(M\) so that \(M^\lambda \subseteq M\) and there exists an elementary embedding \(j: V \to M\) with critical point \(\kappa\) a..."
17:38
+2,833