Timeline for Ordinal Exponentiation in Genzen's Sequent Calculus
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Aug 2, 2013 at 13:36 | history | suggested | Benedict Eastaugh | CC BY-SA 3.0 |
Fixed TeX.
|
| Aug 2, 2013 at 12:51 | review | Suggested edits | |||
| S Aug 2, 2013 at 13:36 | |||||
| Aug 2, 2013 at 7:19 | comment | added | Noah Schweber | I have deleted both my previous comments, since their useful content is contained in my answer below, and one of them was (accidentally) rude. | |
| Aug 2, 2013 at 3:49 | answer | added | Noah Schweber | timeline score: 9 | |
| Aug 2, 2013 at 1:10 | history | edited | vertigo | CC BY-SA 3.0 |
added 17 characters in body
|
| Aug 1, 2013 at 22:28 | history | reopened | François G. Dorais | ||
| Aug 1, 2013 at 22:19 | review | Reopen votes | |||
| Aug 1, 2013 at 22:29 | |||||
| Aug 1, 2013 at 22:00 | history | edited | vertigo | CC BY-SA 3.0 |
clarified the meaning of the question
|
| Jul 30, 2013 at 5:47 | history | closed | François G. Dorais | Needs details or clarity | |
| Jul 30, 2013 at 1:57 | review | First posts | |||
| Jul 30, 2013 at 5:18 | |||||
| Jul 30, 2013 at 1:41 | history | asked | vertigo | CC BY-SA 3.0 |