Timeline for Ramsey Theorem for the class ORD
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 11, 2016 at 4:01 | history | edited | Ali Enayat | CC BY-SA 3.0 |
Changed Cartesian products to unordered pairs.
|
| Sep 30, 2016 at 23:30 | answer | added | Joel David Hamkins | timeline score: 12 | |
| Sep 30, 2016 at 20:35 | comment | added | Andreas Blass | You presumably meant not $ORD^2$ and $H\times H$ but the classes of unordered pairs from $ORD$ and $H$. I suspect you also intended to ask about provability rather than truth. I can give you an easy answer about truth: Yes, it's true (i.e., $ORD$ really is weakly compact). Unfortunately, that's just my opinion, and provability is another matter. It's surely not provable in the usual theories of sets and classes like NBG or MK. | |
| Sep 30, 2016 at 19:18 | review | First posts | |||
| Sep 30, 2016 at 19:21 | |||||
| Sep 30, 2016 at 19:02 | history | asked | Sam Dworetzky | CC BY-SA 3.0 |