English

A weak reflection of Reinhardt by super Reinhardt cardinals

Logic 2020-05-25 v1

Abstract

We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let M=(VM,P)M=(V^M,P) be a countable model of second order set theory ZF2\mathsf{ZF}_2 (with universe VMV^M and classes PP) which models "κ\kappa is super Reinhardt". We show that there are unboundedly many μ<κ\mu<\kappa such that there is jj such that (VM,j)(V^M,j) models ZF(j)+\mathsf{ZF}(j)+"μ\mu is Reinhardt, as witnessed by jj". In particular, jXVMj\upharpoonright X\in V^M for all XVMX\in V^M (but we allow jPj\notin P).

Keywords

Cite

@article{arxiv.2005.11111,
  title  = {A weak reflection of Reinhardt by super Reinhardt cardinals},
  author = {Farmer Schlutzenberg},
  journal= {arXiv preprint arXiv:2005.11111},
  year   = {2020}
}

Comments

3 pages