Timeline for Weakest subsystems of second order arithmetic for mathematical logic
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9, 2010 at 10:29 | vote | accept | Marc Alcobé García | ||
| Jul 8, 2010 at 12:16 | history | edited | Charles Stewart | CC BY-SA 2.5 |
make clearer
|
| Jul 8, 2010 at 11:33 | comment | added | Carl Mummert | For those who aren't familiar with these systems, RCA0 is exactly ERCA0 plus induction for Sigma^0_1 formulas, and WKL0 is exactly EWKL0 plus induction for Sigma^0_1 formulas. | |
| Jul 8, 2010 at 9:12 | history | answered | Charles Stewart | CC BY-SA 2.5 |