Timeline for What is the consistency strength of iterated sharps?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2022 at 9:34 | comment | added | Asaf Karagila♦ | Mildly related: mathoverflow.net/q/351913/7206 | |
| May 18, 2022 at 17:02 | comment | added | Binary198 | Okay, I think I understand. Could you go into any more detail? | |
| May 18, 2022 at 16:57 | comment | added | Wojowu | This statement is weaker than "for all reals $x$, $x^\sharp$ exists", which itself is weaker than existence of $\omega_1$-Erdos cardinal. | |
| May 18, 2022 at 16:49 | history | asked | Binary198 | CC BY-SA 4.0 |