On Oct 18, 2014, at 10:19 PM, Sy David Friedman
Just so the mathematics does not drift: I need a proper class of supercompact cardinals. So Super-Reinhardt is OK as is Reinhardt + There is an Extendible.
Do you mean an extendible above the Reinhardt? Aren’t Reinhardt cardinals extendible?
No just an extendible. For the definition of an extendible cardinal in ZF, one has to be careful. The two possible (equivalent) formulations in ZFC are not equivalent in ZF (unless there are no weak Reinhardt cardinals).
When I say is an extendible cardinal, I mean:
For all , there exists an elementary embedding such that and
In ZFC one can drop the clause without altering the notion.
In ZF one can also drop the clause unless is a weak Reinhardt cardinal where:
Def: is a weak Reinhardt cardinal if for unboundedly many , there exists with .