Generic I0 at
arXiv:1609.07970
Abstract
In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that is such a generic large cardinal. In this case is Jónsson, and in a choiceless inner model many properties hold that are in contrast with PCF in ZFC.