Timeline for Proof theoretic ordinal
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 26, 2022 at 12:43 | history | edited | Denis Serre | CC BY-SA 4.0 |
deleted 6 characters in body
|
| S Oct 26, 2022 at 8:11 | history | suggested | C7X |
Relevant tag
|
|
| Oct 26, 2022 at 3:37 | review | Suggested edits | |||
| S Oct 26, 2022 at 8:11 | |||||
| Jan 23, 2011 at 7:41 | answer | added | Andrés E. Caicedo | timeline score: 18 | |
| Jan 23, 2011 at 7:02 | history | asked | SNd | CC BY-SA 2.5 |