Timeline for Iterated forcing with distributive forcing notions
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 13, 2018 at 4:34 | comment | added | Mohammad Golshani | @YairHayut Thanks a lot for the answer. I did not mention it, but I am mostly interested when there are no very large cardinals, say those incompatible with $V=L.$ In fact I am thinking on a question of Woodin, and the above question, was just a very start step that I asked myself. | |
| Nov 12, 2018 at 13:27 | comment | added | Yair Hayut | It collapses it, probably to be of size less or equal to the continuum. | |
| Nov 12, 2018 at 12:09 | comment | added | Asaf Karagila♦ | I know that $\Bbb P_\omega$ adds many $\omega$-sequences of ordinals, but what is it doing to the PCF of the measurable cardinals? | |
| Nov 12, 2018 at 10:57 | history | answered | Yair Hayut | CC BY-SA 4.0 |