# Difference between revisions of "Berkeley"

From Cantor's Attic

(Created page with "A cardinal $\kappa$ is a *Berkeley* cardinal, if for any transitive set $M$ with $\kappa\in M$, there is an elementary embedding $j:M\to M$ having critical point less than $\k...") |
|||

Line 1: | Line 1: | ||

− | A cardinal $\kappa$ is a | + | A cardinal $\kappa$ is a ''Berkeley'' cardinal, if for any transitive set $M$ with $\kappa\in M$, there is an elementary embedding $j:M\to M$ having critical point less than $\kappa$. These cardinals are defined in the context of ZF set theory without the axiom of choice. |

The Berkeley cardinals were defined by W. Hugh Woodin in about 1992 at his set-theory seminar in Berkeley, with J. D. Hamkins, A. Lewis, D. Seabold, G. Hjorth and perhaps R. Solovay in the audience, among others, issued as a challenge to refute a seemingly over-strong large cardinal axiom. Nevertheless, the existence of these cardinals remains unrefuted in ZF. | The Berkeley cardinals were defined by W. Hugh Woodin in about 1992 at his set-theory seminar in Berkeley, with J. D. Hamkins, A. Lewis, D. Seabold, G. Hjorth and perhaps R. Solovay in the audience, among others, issued as a challenge to refute a seemingly over-strong large cardinal axiom. Nevertheless, the existence of these cardinals remains unrefuted in ZF. | ||

Various strengthenings of the axiom are obtained by imposing conditions on the cofinality of $\kappa$. | Various strengthenings of the axiom are obtained by imposing conditions on the cofinality of $\kappa$. |

## Revision as of 13:37, 2 October 2014

A cardinal $\kappa$ is a *Berkeley* cardinal, if for any transitive set $M$ with $\kappa\in M$, there is an elementary embedding $j:M\to M$ having critical point less than $\kappa$. These cardinals are defined in the context of ZF set theory without the axiom of choice.

The Berkeley cardinals were defined by W. Hugh Woodin in about 1992 at his set-theory seminar in Berkeley, with J. D. Hamkins, A. Lewis, D. Seabold, G. Hjorth and perhaps R. Solovay in the audience, among others, issued as a challenge to refute a seemingly over-strong large cardinal axiom. Nevertheless, the existence of these cardinals remains unrefuted in ZF.

Various strengthenings of the axiom are obtained by imposing conditions on the cofinality of $\kappa$.