Timeline for Is there nontrivial structure to forcing axioms?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27, 2017 at 16:27 | comment | added | Asaf Karagila♦ | Thanks! That certainly looks like this is the direction I was thinking about. I will look at it more carefully tomorrow. I was hoping for a richer separation structure, but I am aware that separating more than two levels of cardinal invariants is usually hard. | |
| Feb 27, 2017 at 16:10 | history | answered | Will Brian | CC BY-SA 3.0 |