Skip to main content
5 of 5
Reformatted it to make it cleaner
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

Are hyper-Berkeley cardinals equiconsistent with club Berkeley cardinals or with Berkeley cardinals?

Let's define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ such that $\kappa\in M$ there exists an elementary embedding $j: M\prec M$ with fixed point $\lambda$ and $\text{crit}j\lt\lambda<\kappa$.

  1. Are hyper Berkeley cardinals equiconsistent with $\sf ZF$+"club Berkeley cardinal"?
  2. Are hyper Berkeley cardinals equiconsistent with $\sf ZF+BC$ (Berkeley cardinal)?
Alex O.
  • 51
  • 1
  • 5