Skip to main content
Reformatted it to make it cleaner
Source Link
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

LetLet's define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ such that $\kappa\in M$ there existexists an 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)?

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)?

Let's define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ such that $\kappa\in M$ there exists an 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)?

Let define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ what $\kappa$such that $\in M$$\kappa\in M$ there exist elementary embedding $j$ where fixed$j: M\prec M$ with pointfixed point $\lambda$ above critical and $\lambda<\kappa$$\text{crit}j\lt\lambda<\kappa$.

  1. This cardinal isAre hyper Berkeley cardinals equiconsistent with $\sf ZF$+"club Berkeley cardinal"?
  2. Are consistent tohyper Berkeley cardinals equiconsistent with $\sf ZF+BC$ (Berkeley cardinal)?

Let define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ what $\kappa$ $\in M$ exist elementary embedding $j$ where fixed point $\lambda$ above critical and $\lambda<\kappa$.

  1. This cardinal is equiconsistent with $\sf ZF$+"club Berkeley cardinal"?
  2. Are consistent to $\sf ZF+BC$ (Berkeley cardinal)?

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)?
edited tags
Source Link
Asaf Karagila
  • 39.8k
  • 8
  • 135
  • 283

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

Let define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ what $\kappa$ $\in M$ exist elementary embedding $j$ where fixed point $\lambda$ above critical and $\lambda<k$$\lambda<\kappa$.

  1. This cardinal is equiconsistent with $ZF$$\sf ZF$+"club Berkeley cardinal"?
  2. Are consistent to $ZF+BC$$\sf ZF+BC$ (Berkeley cardinal)?

Hyper-Berkeley cardinal

Let define cardinal $\kappa$ as hyper-Berkeley if for any transitive set $M$ what $\kappa$ $\in M$ exist elementary embedding $j$ where fixed point $\lambda$ above critical and $\lambda<k$.

  1. This cardinal is equiconsistent with $ZF$+"club Berkeley cardinal"?
  2. Are consistent to $ZF+BC$ (Berkeley cardinal)?

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$ what $\kappa$ $\in M$ exist elementary embedding $j$ where fixed point $\lambda$ above critical and $\lambda<\kappa$.

  1. This cardinal is equiconsistent with $\sf ZF$+"club Berkeley cardinal"?
  2. Are consistent to $\sf ZF+BC$ (Berkeley cardinal)?
Source Link
Alex O.
  • 51
  • 1
  • 5
Loading