Timeline for What can be achieved by liberalizing induction for $RCA_0$?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2015 at 17:30 | comment | added | Noah Schweber | This is a great point, and highlights the need to be precise when one talks about "adding sets." | |
| Oct 8, 2015 at 11:30 | history | answered | Carl Mummert | CC BY-SA 3.0 |