Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.01329 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Following \cite{bagaria2019large}, given cardinals $κ<λ$, we say $κ$ is a club $λ$-Berkeley cardinal if for every transitive set $N$ of size $<λ$ such that $κ\subseteq N$, there is a club $C\subseteq κ$ with the property that for every $η\in C$ there is an elementary embedding $j: N\rightarrow N$ with crit$(j)=η$. We say $κ$ is $ν$-club $λ$-Berkeley if $C\subseteq κ$ as above is a $ν$-club. We say $κ$ is $λ$-Berkeley if $C$ is unbounded in $κ$. We show that under AD$^+$, (1) every regular Suslin cardinal is $ω$-club $Θ$-Berkeley (see \rthm{main theorem}), (2) $ω_1$ is club $Θ$-Berkeley (see \rthm{main theorem lr} and \rthm{main theorem}), and (3) the ${\tildeδ}^1_{2n}$'s are $Θ$-Berkeley -- in particular, $ω_2$ is $Θ$-Berkeley (see \rrem{omega2}). Along the way, we represent regular Suslin cardinals in direct limits as cutpoint cardinals (see \rthm{char extenders}). This topic has been studied in \cite{MPSC} and \cite{jackson2022suslin}, albeit from a different point of view. We also show that, assuming $V=L(\mathbb{R})+{\mathrm{AD}}$, $ω_1$ is not $Θ^+$-Berkeley, so the result stated in the title is optimal (see \rthm{lr optimal} and \rthm{thetareg optimal}).