Timeline for A question on recursion in Kripke-Platek set theory with infinity and $\Sigma_{3}$-separation and $\Sigma_3$-collection
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2014 at 2:43 | vote | accept | Frode Alfson Bjørdal | ||
| Nov 27, 2014 at 16:47 | answer | added | François G. Dorais | timeline score: 4 | |
| Nov 27, 2014 at 12:52 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |