Timeline for Z_2 versus second-order PA
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18, 2017 at 6:44 | vote | accept | David Roberts♦ | ||
| May 16, 2012 at 3:11 | comment | added | David Roberts♦ | Actually I think that I care about $PA_2^s$, since this seems to be the version that corresponds to a NNO - thanks for clarifying. It's interesting that $PA_2^i$ is as weak as (or weaker) than $RCA_0$... | |
| May 16, 2012 at 3:05 | comment | added | Carl Mummert | @David Roberts: I realized I might have misunderstood the question, so I expanded my answer just now. | |
| May 16, 2012 at 3:05 | history | edited | Carl Mummert | CC BY-SA 3.0 |
added 1005 characters in body
|
| May 16, 2012 at 2:51 | comment | added | David Roberts♦ | Thanks, Carl! I really didn't expect $PA_2$ and $Z_2$ to be equiconsistent, once I starting thinking about the question. | |
| May 16, 2012 at 2:44 | history | answered | Carl Mummert | CC BY-SA 3.0 |