Generic I0 at ?_ω

摘要

In this paper we introduce a generic large cardinal akin to I0, together with the consequences of ?_ω being 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 theory in ZFC.