Timeline for Precise interpretability strength of $\mathcal P_{DF}(\omega)$ and $L_{\omega_1^{CK}}$
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 27, 2015 at 10:08 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
added 2 characters in body
|
Aug 27, 2015 at 8:32 | history | answered | Noah Schweber | CC BY-SA 3.0 |