Inspired by this question: What are the known implications of "There exists a Reinhardt cardinal" in the theory "ZF + j"?

**Definitions:**

$\delta$ is Berkeley iff for every $\alpha\lt\delta$ and transitive set $M$ such that $\delta\in M$, there is some $j: M\prec M$ such that $\alpha\lt\text{crit}j\lt\delta$.

$\delta$ is club Berkeley iff for every club $C\subseteq\delta$ and transitive set $M$ such that $\delta\in M$, there is some $j: M\prec M$ such that $\text{crit}j\in C$.

$\delta$ is limit club Berkeley if $\delta$ is club Berkeley and a limit of Berkeley cardinals.

**Question 1: What is the progress on anaylizing Berkeley cardinals?**

Have any of the major open problems since the introduction of Berkeley cardinals been solved? Are club Berkeley cardinals larger than Berkeley cardinals? What is the effect of increasing levels of Choice on Berkeley cardinals?

Berkeley cardinals are infamously large large cardinals. The original paper *Large Cardinals Beyond Choice* where they were introduced, left open 7 problems, 4 of which were related to Berkeley cardinals. Have any of these been solved? Have any new techniques or results created hope that they might be solved in the foreseeable future?

**Question 2: Can we go bigger?**

Are there any large cardinals that imply the consistency of (Limit club) Berkeley cardinals? If they exist, are there any interesting results that these larger cardinals imply.

This question is simple. How big can we go? For this particular question, I am willing to accept more "off-the-cuff" answers. Large cardinals developed in private communications, or even developed specifically to answer this question. All the criteria are is that they have to be stronger than club Berkeley cardinals, they can't be trivial extensions, they can't be obvious, and they have to either have clear reasoning behind their development, or at least you need to be able to do something interesting with them.

**Question 3: Can we rescue Berkeley cardinals?**

Are there any variants of Berkeley cardinals that can survive even in the context of Woodin's Weak $HOD$ conjecture?

Consider the nightmare scenario: Over the next decade or two, more and more results related to Reinhardt and Berkeley cardinals are proved, the open problems are resolved, and an interesting structural theory is developed. Than the weak $HOD$ conjecture is proved and that entire hierarchy is wiped out.

It is really this nightmare scenario that is the motivation for my question. Is there any weakening of Berkeley cardinals that would allow us to save any structure theory developed, in much the same way as set theory was rescued after Russel's paradox? The obvious answer might be the $HOD$-variants, but I believe even these can be wiped out. Assuming that is not the case, the question is do these really have all the properties that Berkeley cardinals have.

For example:

Are $HOD$-Super Reinhardt cardinals stronger than $HOD$-Reinhardt cardinals?

Better yet, perhaps some of the open problems that cannot be solved with classical Berkeley cardinals, can be resolved with these new ones!

10more comments