Abstract

Assume ZF(j) and there is a Reinhardt cardinal, as witnessed by the elementary embedding j:V→V. We investigate the linear iterates (Nα,jα) of (V,j), and their relationship to (V,j), forcing and definability, including that for each infinite α, every set is set-generic over Nα, but Nα is not a set-ground.Assume Morse-Kelley set theory without the Axiom of Choice. We prove that the existence of super Reinhardt cardinals and total Reinhardt cardinals is not affected by small forcing. And if V[G] has a set of ordinals which is not in V, then V[G] has no elementary embedding j:V[G]→M⊆V (even allowing M to be illfounded).

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.