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
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 2, 2014 at 2:43 | vote | accept | Frode Alfson Bjørdal | ||
S Nov 28, 2014 at 20:01 | history | suggested | Frode Alfson Bjørdal | CC BY-SA 3.0 |
I repaired two typos, I think, and added something to have my corrections qualify as an edit.
|
Nov 28, 2014 at 19:43 | review | Suggested edits | |||
S Nov 28, 2014 at 20:01 | |||||
Nov 27, 2014 at 20:45 | history | edited | François G. Dorais | CC BY-SA 3.0 |
typos
|
Nov 27, 2014 at 16:47 | history | answered | François G. Dorais | CC BY-SA 3.0 |