Timeline for How special is first-order $\mathsf{PA}$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 5, 2021 at 22:20 | comment | added | Ali Enayat | @NoahSchweber Thanks, your answer on MSE nicely summarizes the situation. | |
| Mar 5, 2021 at 19:30 | comment | added | Noah Schweber | Incidentally, since you're not on MSE I've posted a brief mention of this at the MSE version of this question. I've made it CW, and I'll delete it if you'd like to post an answer of your own there. | |
| Mar 4, 2021 at 15:28 | history | edited | Ali Enayat | CC BY-SA 4.0 |
added 6 characters in body
|
| Mar 3, 2021 at 22:33 | comment | added | Noah Schweber | Lovely, thanks! | |
| Mar 3, 2021 at 22:27 | history | answered | Ali Enayat | CC BY-SA 4.0 |