Timeline for Can Woodin's fast function forcing kill Shelah cardinals?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 10, 2017 at 13:18 | comment | added | Mohammad Golshani | I think Hamkins work shows that any embedding in the extension is extension of some embedding from the ground model | |
| Dec 10, 2017 at 6:27 | comment | added | Yair Hayut | I don't understand the argument: do you start by assuming that $j$ is some embedding in $V[G]$ or do you assume that this embedding extends an embedding from $V$? In the first case, you might not be able to pick $j(f)(\kappa)$ to be any value that you want. It shouldn't be an issue that the second case always occurs. The forcing admits a gap below $\kappa$ so any elementary embedding in $V[G]$ extends one from the ground model. | |
| Dec 9, 2017 at 4:56 | vote | accept | Morteza Azad | ||
| Aug 14, 2018 at 23:32 | |||||
| Dec 8, 2017 at 6:12 | comment | added | Morteza Azad | (+1) Sounds correct! Thanks for posting, Mohammad! | |
| Dec 8, 2017 at 5:52 | history | answered | Mohammad Golshani | CC BY-SA 3.0 |