 Unfortunately, it follows from a series of results originating with work of Levy and Solovay that traditional large cardinal axioms do not yield Ω-complete theories at the level of Σ21 since one can always use a “small” (and hence large cardinal preserving) forcing to alter the truth-value of CH. 