加载中…
Assume ZF() and there is a Reinhardt cardinal, as witnessed by the elementary embedding . We investigate the linear iterates of , and their relationship to , forcing and definability, including that for each infinite ordinal , every set is set-generic over , but is not a set-ground. Assume second order ZF. We prove that the existence of super Reinhardt cardinals and total Reinhardt cardinals is not affected by small forcing. And if has a set of ordinals which is not in , then has no elementary embedding (even allowing to be illfounded).

生成讲解博客的中文版本

生成AI智能校验的中文版本