Reinhardt cardinals and iterates of V
Abstract
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).
Keywords
Cite
@article{arxiv.2002.01215,
title = {Reinhardt cardinals and iterates of V},
author = {Farmer Schlutzenberg},
journal= {arXiv preprint arXiv:2002.01215},
year = {2020}
}
Comments
23 pages; v1 split into 3 docs: this (v4), 2006.01103, 2006.10574. See v2 comments. Added citations to 1106.1951: in introduction, regarding generalizations of Suzuki 99; in Footnote 3 (p.2) and Remark 3.20 (Theorem 35 of 1106.1951 already establishes a fact discussed at those points); and in the introduction to section 2 (Corollary 34 of 1106.1951 is related). Added Remark 4.7. Other minor edits