Timeline for An extension of Woodin's star axiom
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2022 at 10:56 | comment | added | Binary198 | I believe it was called $(^*)_+$ axiom, where the + is in the subscript. | |
| Jul 21, 2022 at 17:00 | vote | accept | Binary198 | ||
| Jul 20, 2022 at 22:04 | comment | added | Asaf Karagila♦ | If my memory serves me right, there is a $(*)^+$ axiom, and it is, surprisingly, equivalent to the standard $(*)$ axiom. | |
| Jul 20, 2022 at 21:45 | answer | added | Noah Schweber | timeline score: 3 | |
| Jul 20, 2022 at 20:04 | history | asked | Binary198 | CC BY-SA 4.0 |