Timeline for What are some good lower bounds on the consistency of the failure of the PCF conjecture?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2019 at 10:30 | comment | added | Asaf Karagila♦ | Well, this is very nice. I'm surprised that we don't have the machinery to prove something like $\mathsf{AD}^{L(\Bbb R)}$ from these hypotheses, seeing how we do get $\sf PD$. | |
| Feb 14, 2019 at 4:02 | comment | added | Mohammad Golshani | Yes. In fact in the paper, Theorem 3.24 they show that there is a sharp for a model with a strong cardinal. | |
| Feb 13, 2019 at 12:29 | comment | added | Asaf Karagila♦ | What do overlapping extenders give us? If my memory serves me right, certain level of strongness? | |
| Feb 13, 2019 at 4:07 | history | answered | Mohammad Golshani | CC BY-SA 4.0 |