Berkeley cardinal
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.

A Berkeley cardinal is a cardinal "κ" in a model of Zermelo–Fraenkel set theory with the property that for every transitive set "M" that includes "κ", there is a nontrivial elementary embedding of "M" into "M" with critical point below "κ". Berkeley cardinals are a strictly stronger cardinal axiom than Reinhardt cardinals, implying that they are not compatible with the axiom of choice. In fact, the existence of Berkeley cardinals is inconsistent with the axiom of countable choice. 

A weakening of being a Berkeley cardinal is that for every binary relation "R" on "V""κ", there is a nontrivial elementary embedding of ("V""κ", "R") into itself. This implies that we have elementary

: "j"1, "j"2, "j"3, ...
: "j"1: ("V""κ", ∈) → ("V""κ", ∈),
: "j"2: ("V""κ", ∈, "j"1) → ("V""κ", ∈, "j"1),
: "j"3: ("V""κ", ∈, "j"1, "j"2) → ("V""κ", ∈, "j"1, "j"2),

and so on. This can be continued any finite number of times, and to the extent that the model has dependent choice, transfinitely. Thus, plausibly, this notion can be strengthened simply by asserting more dependent choice.

While all these notions are incompatible with Zermelo–Fraenkel set theory (ZFC), their formula_1 consequences do not appear to be false. There is no known inconsistency with ZFC in asserting that, for example:<br>
For every ordinal λ, there is a transitive model of ZF + Berkeley cardinal that is closed under λ sequences.
Q12482
set theory
Concept
Q1548262
large cardinal
Concept
Q1389897
Hugh Woodin
PER
Q168756
University of California, Berkeley
LOC
Q191849
Zermelo–Fraenkel set theory
MEDIA
Q671944
transitive set
Concept
Q877149
elementary embedding
UNK
Q7310357
Reinhardt cardinal
Concept
Q179692
axiom of choice
Concept
Q1000116
axiom of countable choice
Concept
Q25303846
Berkeley cardinal
Concept
Q25303846
Berkeley cardinal
Concept
Q25303846
Berkeley cardinal
Concept
Q25303846
Berkeley cardinal
Concept
Q25303846
Berkeley cardinal
Concept
Q25303846
Berkeley cardinal
Concept
1992-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1992
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
studies
field of work
educated at