Timeline for Cone avoidance and $\Pi^0_1$-classes
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 11 at 17:07 | history | edited | Noah Schweber | CC BY-SA 4.0 |
edited tags; edited title
|
| S Nov 11 at 17:04 | review | First questions | |||
| Nov 11 at 17:12 | |||||
| S Nov 11 at 17:04 | history | asked | Hello World | CC BY-SA 4.0 |