Timeline for Radin forcing preserving large cardinals
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2019 at 6:56 | vote | accept | Jiachen Yuan | ||
| Apr 10, 2019 at 6:08 | comment | added | Mohammad Golshani | For ordinary Radin forcing, you can preserve all supercompactness even, see Radin's paper (he shows you can preserve $\lambda$-supercompactness). My paper with Gitik also uses the ordinary Radin forcing and not its supercompact version. Similar facts about strong cardinals. | |
| Apr 10, 2019 at 6:04 | comment | added | Jiachen Yuan | Thanks for the references. I'm sorry for the ambiguity of my question. What I actually want to know is that, when you have a supercompact $\kappa$, but you can only use the measure sequence on $V_\kappa$ (i.e. not the supercompact Radin forcing associate to $P_\kappa(\lambda)$), how much strength can you preserved, can you find a particular length to show that $\kappa$ is strong. | |
| Apr 10, 2019 at 5:52 | history | answered | Mohammad Golshani | CC BY-SA 4.0 |