Timeline for What ccc forcings add a Suslin tree?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2016 at 11:16 | comment | added | Asaf Karagila♦ | That's a good step forward. I wonder, now, if the answer is straightout provable modulo "There exists a Suslin tree". My regards to Lyubomyr! | |
| Oct 13, 2016 at 11:10 | comment | added | Stefan Hoffelner | Have not thought about it at all. But Lyubomyr Zdomskyy just mentioned to me that in models of $\mathsf{PFA}(S)$, where $S$ is a Suslin tree, after forcing with $S$ the $PID$ holds, hence there are no Suslin trees anymore, so the opposite is consistent as well. | |
| Oct 13, 2016 at 10:57 | comment | added | Asaf Karagila♦ | Great! This was anticipated, however, which is why I already included the follow-up question, what if we assume that there are no Suslin trees in the universe? | |
| Oct 13, 2016 at 10:33 | history | answered | Stefan Hoffelner | CC BY-SA 3.0 |