Timeline for Does the Feferman-Schutte analysis give a precise characterization of Predicative Second-Order Arithmetic?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 1, 2015 at 6:49 | history | edited | Ben Standeven | CC BY-SA 3.0 |
No, on second thought that I don't think that's right.
|
| Feb 1, 2015 at 5:36 | review | Late answers | |||
| Feb 1, 2015 at 7:28 | |||||
| Feb 1, 2015 at 5:19 | history | answered | Ben Standeven | CC BY-SA 3.0 |