Timeline for Higher computability : Constructive ordinal and $\Delta^1_1$ predicates
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2012 at 21:14 | vote | accept | Archimondain | ||
| Mar 25, 2012 at 21:14 | answer | added | Archimondain | timeline score: 2 | |
| Mar 22, 2012 at 18:49 | history | asked | Archimondain | CC BY-SA 3.0 |