Timeline for Collapse an inaccessible cardinal to a successor of a singular cardinal
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 13, 2018 at 7:07 | comment | added | Asaf Karagila♦ | @Monroe: That my first link in the above comment, yes. | |
| Sep 9, 2018 at 11:01 | comment | added | Monroe Eskew | Stationary tower forcing is another way. | |
| Sep 8, 2018 at 17:51 | comment | added | Otto | Though I'd like to see how to do this directly, he did exhibit two models $(V_1, V_2)$ as in his remark 2, which is what I asked for. | |
| Sep 8, 2018 at 14:35 | comment | added | Asaf Karagila♦ | I have no idea how you'd accept Mohammad's answer if it is based on starting with a cardinal which is regular in V and then moving to a larger model. | |
| Sep 8, 2018 at 13:03 | vote | accept | Otto | ||
| Sep 8, 2018 at 13:02 | comment | added | Otto | Yeah I had the singular cardinal in V in mind. | |
| Sep 8, 2018 at 10:51 | comment | added | Asaf Karagila♦ | mathoverflow.net/questions/184216/… mathoverflow.net/questions/178112/… | |
| Sep 8, 2018 at 7:48 | comment | added | Asaf Karagila♦ | Is the singular cardinal already given as singular? Or is it going to become singular later on? | |
| Sep 8, 2018 at 3:27 | answer | added | Mohammad Golshani | timeline score: 4 | |
| Sep 7, 2018 at 23:09 | comment | added | Noah Schweber | Why not first collapse the inaccessible to the successor of a regular $\lambda$, and then kill the regularity of $\lambda$? (Or did you want the cardinal to be singular in $V$?) | |
| Sep 7, 2018 at 21:19 | history | asked | Otto | CC BY-SA 4.0 |