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 .
Articles by others on the same topic
There are currently no matching articles.