Timeline for Natural $\Pi^1_2$ (or worse) classes of structures?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 28, 2013 at 19:09 | comment | added | Noah Schweber | Very nice example! | |
| Oct 28, 2013 at 17:45 | history | answered | Henry Towsner | CC BY-SA 3.0 |