Skip to main content

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

Let define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ such that $\kappa\in M$ there exist 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