1 problem

0 votes0 replies1 view
The Extender Axiom under a $2^\kappa$ -supercompact cardinal
Extender Axiom refutation. If there is a cardinal $\kappa$ that is $2^\kappa$ -supercompact, then the Extender Axiom is false. This is a consistency obstruction for the proposed gen…
Theoremopenextenders large-cardinals ultrapowersarXiv posted 2 days ago

The Extender Axiom under a 2κ2^\kappa2κ-supercompact cardinal