Timeline for Weakest subsystems of second order arithmetic for mathematical logic
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 9, 2010 at 10:29 | vote | accept | Marc Alcobé García | ||
| Jul 8, 2010 at 9:12 | answer | added | Charles Stewart | timeline score: 7 | |
| Jul 8, 2010 at 7:27 | vote | accept | Marc Alcobé García | ||
| S Jul 9, 2010 at 10:29 | |||||
| Jul 7, 2010 at 15:43 | history | edited | François G. Dorais |
edited tags
|
|
| Jul 7, 2010 at 15:37 | answer | added | Carl Mummert | timeline score: 6 | |
| Jul 7, 2010 at 15:29 | history | asked | Marc Alcobé García | CC BY-SA 2.5 |