Claim: Berkeley cardinals are certain large cardinals suggested by Hugh Woodin, but their existence is inconsistent with the axiom of countable choice.
Evidence: In set theory, Berkeley cardinals are certain large cardinals suggested by Hugh Woodin in a seminar at the University of California, Berkeley in about 1992. In fact, the existence of Berkeley cardinals is inconsistent with the axiom of countable choice.