Supercompact Sigma-two downward reflection
ID: supercompact-sigma-two-downward-reflection
If is a supercompact cardinal, each true statement, allowing parameters in , holds in . Write it as an existential witness followed by a assertion. Choose a supercompact elementary embedding whose transitive target contains the witness in . Downward absoluteness of the universal bounded-matrix assertion puts the witness in that rank segment, and elementarity reflects this to .
New to topics? Read the docs here!