English

Reinhardt cardinals and iterates of V

Logic 2020-06-30 v4

Abstract

Assume ZF(jj) and there is a Reinhardt cardinal, as witnessed by the elementary embedding j:VVj:V\to V. We investigate the linear iterates (Nα,jα)(N_{\alpha},j_{\alpha}) of (V,j)(V,j), and their relationship to (V,j)(V,j), forcing and definability, including that for each infinite ordinal α\alpha, every set is set-generic over NαN_{\alpha}, but NαN_{\alpha} 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 V[G]V[G] has a set of ordinals which is not in VV, then V[G]V[G] has no elementary embedding j:V[G]MVj:V[G]\to M\subseteq V (even allowing MM 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