Timeline for About the well ordering of finite sequences of numbers
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 14, 2013 at 1:09 | vote | accept | Wei Wang | ||
| Jan 13, 2013 at 3:16 | comment | added | Wei Wang | Thanks for pointing out this reference. But I can not download the paper. However, now I have a construction of a second order model $M$ of $(1) + \neg B\Sigma_2$. As space is limited in a comment, I put it as another answer. | |
| Jan 12, 2013 at 13:31 | history | answered | alexod | CC BY-SA 3.0 |